| Ementa/Descrição: |
Proposições: definição, tipos (simples e compostas), conectivos, operações lógicas, tabelasverdade, tautologias, contradições, contingências, implicação e equivalência. Método dedutivo: álgebra das proposições, redução do número de conectivos, formas normais (conjuntiva e disjuntiva) e princípio da dualidade. Argumentos: definição, argumentos válidos, regras de inferência e técnicas de validação (tabela-verdade, regras de inferência, equivalência e inconsistência). Demonstração condicional e indireta. Sentenças abertas: definição, operações lógicas, quantificadores e quantificação de sentenças abertas com mais de uma variável. |
