https://padlet.com/gabrielvalenca/PeriodoBooleano en-us 2021-08-12 17:23:08 UTC 2023-03-29 23:33:56 UTC hello@padlet.com https://padlet.net/icons/png/1f5a5.png gabrielvalenca https://padlet.com/gabrielvalenca/PeriodoBooleano/wish/1677397940 a lógica é o estudo da estrutura e dos princípios relativos à argumentação válida, sobretudo da inferência dedutiva e dos métodos de prova e demonstração. Podemos classificar o estudo da lógica em três grandes períodos: o Período Aristotélico, o Período Booleano e o Período Atual (JAPIASSÚ; MARCONDES, 2006). ]]> 2021-08-12 22:27:24 UTC https://padlet.com/gabrielvalenca/PeriodoBooleano/wish/1677397940 gabrielvalenca https://padlet.com/gabrielvalenca/PeriodoBooleano/wish/1677400733 (± 390 a.C. a ± 1840 d.C.) ]]> 2021-08-12 22:32:02 UTC https://padlet.com/gabrielvalenca/PeriodoBooleano/wish/1677400733 gabrielvalenca https://padlet.com/gabrielvalenca/PeriodoBooleano/wish/1677402102 (± 1840 a ± 1910)]]> 2021-08-12 22:32:34 UTC https://padlet.com/gabrielvalenca/PeriodoBooleano/wish/1677402102 gabrielvalenca https://padlet.com/gabrielvalenca/PeriodoBooleano/wish/1677402199 (1910- ........)]]> 2021-08-12 22:32:45 UTC https://padlet.com/gabrielvalenca/PeriodoBooleano/wish/1677402199 gabrielvalenca https://padlet.com/gabrielvalenca/PeriodoBooleano/wish/1677403257  Caracteriza-se pelo desenvolvimento de sistemas formais polivalentes, que trabalham não apenas com os valores lógicos verdadeiro e falso, mas também com imprecisões e contradições, assumindo outros possíveis valores lógicos para as proposições. ]]> 2021-08-12 22:34:32 UTC https://padlet.com/gabrielvalenca/PeriodoBooleano/wish/1677403257 gabrielvalenca https://padlet.com/gabrielvalenca/PeriodoBooleano/wish/1677403451  Caracteriza-se pelo desenvolvimento da Lógica Formal, também chamada de Lógica Simbólica, na qual símbolos computáveis substituem palavras e proposições. ]]> 2021-08-12 22:34:50 UTC https://padlet.com/gabrielvalenca/PeriodoBooleano/wish/1677403451 gabrielvalenca https://padlet.com/gabrielvalenca/PeriodoBooleano/wish/1677405818  Caracteriza-se como uma ciência cuja essência era a teoria do silogismo (certa forma de argumento válido). Corresponde à chamada Lógica Clássica, regida, basicamente, por três princípios: da Identidade, da Não contradição e do Terceiro excluído. ]]> 2021-08-12 22:38:16 UTC https://padlet.com/gabrielvalenca/PeriodoBooleano/wish/1677405818 gabrielvalenca https://padlet.com/gabrielvalenca/PeriodoBooleano/wish/1677422516  Os três maiores expoentes desse período foram George Boole (1815-1864), Georg Cantor (1845-1918) e Gottlob Frege (1848-1925) ]]> 2021-08-12 23:02:17 UTC https://padlet.com/gabrielvalenca/PeriodoBooleano/wish/1677422516 gabrielvalenca https://padlet.com/gabrielvalenca/PeriodoBooleano/wish/1677426903  George Boole foi o inventor da chamada Álgebra Booleana, que foi o primeiro sistema totalmente detalhado que lida com a lógica como cálculo. Colocando de uma maneira bem simples, podemos dizer que a Álgebra Booleana se caracteriza por utilizar apenas dois números (dígitos), 0 e 1, que significam, respectivamente, falso e verdadeiro, e que por meio de propriedades essenciais dos operadores lógicos e de conjuntos oferece uma estrutura para se lidar com proposições. ]]> 2021-08-12 23:09:16 UTC https://padlet.com/gabrielvalenca/PeriodoBooleano/wish/1677426903 gabrielvalenca https://padlet.com/gabrielvalenca/PeriodoBooleano/wish/1677428570  Georg Cantor foi o idealizador da Teoria de Conjuntos. A Álgebra dos Conjuntos, advinda da Teoria de Conjuntos, com operações particulares como União (∪) e Intersecção (∩) serviu não apenas como uma estrutura de linguagem para a lógica formal, mas também como alicerce de toda a Matemática Moderna ]]> 2021-08-12 23:10:37 UTC https://padlet.com/gabrielvalenca/PeriodoBooleano/wish/1677428570 gabrielvalenca https://padlet.com/gabrielvalenca/PeriodoBooleano/wish/1677429951  Gottlob Frege foi o criador da chamada Lógica Matemática. Inspirado nas ideias e notações de Leibniz, Frege reformulou toda a lógica tradicional, construindo um sistema para apresentá-la em linguagem matemática. É com base em suas obras que se desenvolveram o cálculo proposicional e o cálculo de predicados. Uma de suas maiores contribuições foi a invenção do quantificador e a utilização de variáveis para formalizar a generalidade da linguagem natural ]]> 2021-08-12 23:12:44 UTC https://padlet.com/gabrielvalenca/PeriodoBooleano/wish/1677429951 gabrielvalenca https://padlet.com/gabrielvalenca/PeriodoBooleano/wish/1677433413  Segundo Alencar Filho (2002), quando pensamos, efetuamos muitas vezes certas operações sobre proposições, chamadas operações lógicas. Estas operações obedecem a regras de um cálculo, denominado cálculo proposicional, semelhante ao da aritmética sobre números. Os conectivos sentenciais correspondem a várias palavras nas linguagens naturais que servem para conectar proposições declarativas. Os principais conectivos (operações lógicas fundamentais) são representados atualmente pelos seguintes símbolos: ]]> 2021-08-12 23:16:37 UTC https://padlet.com/gabrielvalenca/PeriodoBooleano/wish/1677433413 gabrielvalenca https://padlet.com/gabrielvalenca/PeriodoBooleano/wish/1677448169 2021-08-12 23:35:13 UTC https://padlet.com/gabrielvalenca/PeriodoBooleano/wish/1677448169 gabrielvalenca https://padlet.com/gabrielvalenca/PeriodoBooleano/wish/1677451632 2021-08-12 23:39:37 UTC https://padlet.com/gabrielvalenca/PeriodoBooleano/wish/1677451632