https://padlet.com/leoebert19/logica Apontamentos sobre lógica computacional en-us 2021-08-27 23:03:24 UTC 2024-05-21 01:39:01 UTC hello@padlet.com https://padlet.net/icons/png/1f4bb.png leoebert19 https://padlet.com/leoebert19/logica/wish/1701538427 2021-08-27 23:08:00 UTC https://padlet.com/leoebert19/logica/wish/1701538427 leoebert19 https://padlet.com/leoebert19/logica/wish/1701544336 Lógica computacional é o uso da lógica para executar ou raciocinar sobre computação. Ela tem uma relação com a ciência da computação e a engenharia semelhante à relação da lógica matemática com a matemática, ou à da lógica filosófica com a filosofia. É sinônimo de "lógica na ciência da computação".]]> 2021-08-27 23:19:12 UTC https://padlet.com/leoebert19/logica/wish/1701544336 leoebert19 https://padlet.com/leoebert19/logica/wish/1701544674 Sequência finita de passo para se realizar algo]]> 2021-08-27 23:19:50 UTC https://padlet.com/leoebert19/logica/wish/1701544674 leoebert19 https://padlet.com/leoebert19/logica/wish/1701545793 Aristóteles desenvolveu três princípios básicos que orientam a lógica clássica.

1. Princípio de identidade
Um ser é sempre idêntico a si mesmo: A é A. Se substituirmos A por Maria, por exemplo, fica: Maria é Maria.

2. Princípio da não-contradição
É impossível ser e não ser ao mesmo tempo, ou um mesmo ente ser também o seu oposto. É impossível que A seja A e não-A, ao mesmo tempo. Ou, seguindo o exemplo anterior: é impossível que Maria seja Maria e não seja Maria.

3. Princípio do terceiro excluído, ou terceiro excluso
Nas proposições (sujeito e predicado), só existem duas opções, ou é afirmativa ou negativa: A é x ou A é não-x. Maria é professora ou Maria não é professora. Não existe uma terceira possibilidade.]]> 2021-08-27 23:21:58 UTC https://padlet.com/leoebert19/logica/wish/1701545793 leoebert19 https://padlet.com/leoebert19/logica/wish/1701546544 2021-08-27 23:23:12 UTC https://padlet.com/leoebert19/logica/wish/1701546544 leoebert19 https://padlet.com/leoebert19/logica/wish/1701547914 2021-08-27 23:25:45 UTC https://padlet.com/leoebert19/logica/wish/1701547914