A notação matemática. Sentenças, sentenças abertas e quantificadores. O cálculo
proposicional. Tabelas-verdade. Sentenças equivalentes na Lógica Formal. Argumentos, sentenças
condicionais e sentenças implicativas. Definição, modelo axiomático e convenção. Teoremas e
demonstrações. Conjecturas. Técnicas de demonstração.
- Professor: Valdinei Cezar Cardoso