Lógica Computacional by Natalia Izaias https://padlet.com/natypf/qg8ck9383ufrh1s4 Falando Sobre a Lógica en-us 2021-08-23 16:54:44 UTC 2021-08-23 17:48:04 UTC hello@padlet.com https://padlet-uploads.storage.googleapis.com/1306818654/f86e04ce1296defc4e76b2e5a764ba3e/outline_trending_flat_black_24dp.png Alguns termos importantes e muitos utilizados na lógica: natypf https://padlet.com/natypf/qg8ck9383ufrh1s4/wish/1691570917 Proposição: consiste em um enunciado, uma frase declarativa.
Premissas: consistem em proposições que são utilizadas como base para um raciocínio. Pode-se dizer que
são as proposições do silogismo.
Argumento: conjunto de enunciados que se relacionam uns com os outros.
Silogismo: consiste em um raciocínio dedutivo (premissas) e possibilita a dedução de uma conclusão a partir
das premissas.
Falácia: consiste em argumentos que logicamente estão incorretos.]]> 2021-08-23 17:19:17 UTC https://padlet.com/natypf/qg8ck9383ufrh1s4/wish/1691570917 No final do século XIX matemáticos desenvolveram a Lógica Formal, também chamadade Lógica Simbólica, na qual símbolos computáveis substituem palavras e proposições. natypf https://padlet.com/natypf/qg8ck9383ufrh1s4/wish/1691581731 2021-08-23 17:24:36 UTC https://padlet.com/natypf/qg8ck9383ufrh1s4/wish/1691581731 Álgebra de Conjuntos natypf https://padlet.com/natypf/qg8ck9383ufrh1s4/wish/1691591610 A Álgebra de conjuntos é um importante ramo da Matemática e com aplicações em diferentes áreas de
conhecimento, entre elas a Computação. A linguagem de conjuntos se caracteriza por ser uma linguagem clara,
concisa, rigorosa e que não dá margens a interpretações equivocadas. Por apresentar essas características, ela é
utilizada na organização de informações e resolução de problemas ligados a várias áreas, como a computação.]]> 2021-08-23 17:27:44 UTC https://padlet.com/natypf/qg8ck9383ufrh1s4/wish/1691591610 Conjuntos natypf https://padlet.com/natypf/qg8ck9383ufrh1s4/wish/1691603205 Conjuntos podem ser definidos como coleções não ordenadas de objetos que podem ser, de alguma forma,
relacionados (FERREIRA, 2001). Em geral, objetos de um mesmo conjunto gozam de uma propriedade em comum.
Costuma-se utilizar letras maiúsculas do nosso alfabeto para representar os conjuntos.]]> 2021-08-23 17:28:40 UTC https://padlet.com/natypf/qg8ck9383ufrh1s4/wish/1691603205 Diagrama de Venn natypf https://padlet.com/natypf/qg8ck9383ufrh1s4/wish/1691691620 John Venn (1834-1923) foi um matemático inglês, tendo-se licenciado na Universidade de Cambridge onde, depois,
ensinou Lógica e Teoria das Probabilidades. Venn introduziu os diagramas em seus trabalhos baseado nos círculos
eulerianos, por isso, alguns autores referem-se aos diagramas de Venn como diagramas de Euler-Venn]]> 2021-08-23 17:34:16 UTC https://padlet.com/natypf/qg8ck9383ufrh1s4/wish/1691691620 Tabela Verdade natypf https://padlet.com/natypf/qg8ck9383ufrh1s4/wish/1691703937 2021-08-23 17:39:49 UTC https://padlet.com/natypf/qg8ck9383ufrh1s4/wish/1691703937 Conectivos Lógicos, Operador Lógico. natypf https://padlet.com/natypf/qg8ck9383ufrh1s4/wish/1691723170 E em inglês And : As duas preposições tem que ser verdadeiras. 
Ou em inglês Or: Uma preposição verdadeira e a outra pode ser tanto verdadeira como falsa, assim o resultado é verdadeiro . Sera falso só se as duas preposições forem falsas.
Não em inglês not  : O operador logico nao troca o valor da preposição, ex se a preposição for verdadira o Não inverte pra falso.


]]> 2021-08-23 17:48:04 UTC https://padlet.com/natypf/qg8ck9383ufrh1s4/wish/1691723170