Lógica computacional by Marcos Vinicius https://padlet.com/marcos1vinicius2/my6ugh3zcvqds455 en-us 2021-08-11 16:45:10 UTC 2025-09-30 11:51:07 UTC hello@padlet.com https://padlet.net/icons/png/1f538.png Lógica Computacional marcos1vinicius2 https://padlet.com/marcos1vinicius2/my6ugh3zcvqds455/wish/1675736396 2021-08-11 16:57:26 UTC https://padlet.com/marcos1vinicius2/my6ugh3zcvqds455/wish/1675736396 O que é a lógica? marcos1vinicius2 https://padlet.com/marcos1vinicius2/my6ugh3zcvqds455/wish/1675775017 Segundo Aristóteles todo conhecimento que pretenda ser um conhecimento verdadeiro e universal deveria respeitar alguns princípios, os princípios lógicos. 

A lógica passou a ser compreendida como um instrumento do correto pensar e a definição de elementos lógicos que fundamentam o conhecimento verdadeiro.]]> 2021-08-11 17:29:14 UTC https://padlet.com/marcos1vinicius2/my6ugh3zcvqds455/wish/1675775017 Aristóteles desenvolveu três princípios básicos que orientam a lógica clássica: marcos1vinicius2 https://padlet.com/marcos1vinicius2/my6ugh3zcvqds455/wish/1675776171 2021-08-11 17:30:14 UTC https://padlet.com/marcos1vinicius2/my6ugh3zcvqds455/wish/1675776171 Princípio da identidade: marcos1vinicius2 https://padlet.com/marcos1vinicius2/my6ugh3zcvqds455/wish/1675779053 Tudo é igual a si mesmo]]> 2021-08-11 17:32:52 UTC https://padlet.com/marcos1vinicius2/my6ugh3zcvqds455/wish/1675779053 Princípio da não-contradição: marcos1vinicius2 https://padlet.com/marcos1vinicius2/my6ugh3zcvqds455/wish/1675780774 É impossível ser e não ser ao mesmo tempo, ou um mesmo ente ser também o seu oposto.]]> 2021-08-11 17:34:25 UTC https://padlet.com/marcos1vinicius2/my6ugh3zcvqds455/wish/1675780774 Princípio do terceiro excluído: marcos1vinicius2 https://padlet.com/marcos1vinicius2/my6ugh3zcvqds455/wish/1675782283 Só existem duas opções, ou é afirmativa ou negativa]]> 2021-08-11 17:35:54 UTC https://padlet.com/marcos1vinicius2/my6ugh3zcvqds455/wish/1675782283 O que é a lógica computacional? marcos1vinicius2 https://padlet.com/marcos1vinicius2/my6ugh3zcvqds455/wish/1675788664 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.]]> 2021-08-11 17:41:38 UTC https://padlet.com/marcos1vinicius2/my6ugh3zcvqds455/wish/1675788664