Exercícios de Lógica Moderna
1. Simbolização em cálculo proposicional |
1 .1. Negação1.2. Disjunção1.3. Implicação1.4. Equivalência1.5. Conjunção |
2. Simbolização em cálculo de predicados |
|
3. Tabelas de Verdade |
3.1. Cálculo Lógico3.2. Histórias |
4. Regras da Inferência |