Lógica Computacional by Joao Telles https://padlet.com/tellesjho/gnf8sqmy60dvuurg Lógica Computacional en-us 2021-08-11 02:32:07 UTC 2021-08-11 02:47:55 UTC hello@padlet.com A lógica computacional pode ser entendida como a relação entre a lógica formal, mais tradicional, e a computação. Trata-se de um modo de pensar e estruturar ideias para escrever um software ou um algoritmo. tellesjho https://padlet.com/tellesjho/gnf8sqmy60dvuurg/wish/1674873460 2021-08-11 02:35:46 UTC https://padlet.com/tellesjho/gnf8sqmy60dvuurg/wish/1674873460 A Lógica Clássica, é regida, basicamente, por três princípios: o da identidade, o da não contradição e o do terceiro excluído tellesjho https://padlet.com/tellesjho/gnf8sqmy60dvuurg/wish/1674874694 2021-08-11 02:36:55 UTC https://padlet.com/tellesjho/gnf8sqmy60dvuurg/wish/1674874694 Tipos de lógica existentes (formal) Lógica Formal Começa nos estudos de Aristóteles, na Grécia Antiga. A lógica é dita formal quando analisa e representa a forma de qualquer argumento para que possa ser considerado válido para alguma conclusão. tellesjho https://padlet.com/tellesjho/gnf8sqmy60dvuurg/wish/1674876885 2021-08-11 02:38:48 UTC https://padlet.com/tellesjho/gnf8sqmy60dvuurg/wish/1674876885 2 º A Lógica Transcendental é a doutrina que estuda a origem dos conceitos e se ocupa especificamente dos conceitos a priori que se referem aos objetos que, nesse caso, não são mais meramente dados e sim pensados. ... O fenômeno dado na intuição, aliado às categorias do intelecto, torna a coisa objeto para mim. tellesjho https://padlet.com/tellesjho/gnf8sqmy60dvuurg/wish/1674877432 2021-08-11 02:39:21 UTC https://padlet.com/tellesjho/gnf8sqmy60dvuurg/wish/1674877432 Operadores Lógicos (1) ~ Negação (não) (2) Λ Conjunção (e) (3) V Disjunção (ou) (4) V Disjunção exclusiva (5) → Condicional (Se... então) (6) ↔ Bicondicional (Se, e somente se...) tellesjho https://padlet.com/tellesjho/gnf8sqmy60dvuurg/wish/1674881768 2021-08-11 02:43:14 UTC https://padlet.com/tellesjho/gnf8sqmy60dvuurg/wish/1674881768 Na Álgebra Booleana a adição é associada ao conectivo ou. Assim,a proposição “O Michelangelo é um grande pintor ou Pablo Picasso é um grande jogador de futebol” pode ser representada como: (A) + (B) = 1 + 0 = 1. (Verdadeira). tellesjho https://padlet.com/tellesjho/gnf8sqmy60dvuurg/wish/1674886782 2021-08-11 02:47:52 UTC https://padlet.com/tellesjho/gnf8sqmy60dvuurg/wish/1674886782