Logica
Professor conteudista: Ricardo Holderegger
Sumário
Lógica
Unidade I
1 SISTEMAS DICOTÔMICOS ................................................................................................................................ 3
1.1 Proposições ................................................................................................................................................ 3
1.1.1 Proposições lógicas ...................................................................................................................................3
1.1.2 Símbolos da lógica matemática...........................................................................................................4
1.1.3 A negação .....................................................................................................................................................4
1.2 Interruptores ............................................................................................................................................. 5
2 OPERAÇÕES LÓGICAS SOBRE PROPOSIÇÃO............................................................................................ 6
3 CONSTRUÇÃO DA TABELA-VERDADE ......................................................................................................... 6
3.1 Exemplo de p ∧ q .................................................................................................................................... 8
3.2 Exemplo de p ∨ q .................................................................................................................................... 9
3.3 Exemplo de p → q .................................................................................................................................. 9
3.4 Exemplo de p ↔ q ............................................................................................................................... 10
3.5 Tautologia