Ementa coberta com este curso:
1 Estruturas lógicas
2 Lógica de argumentação: analogias, inferências, deduções e conclusões
3 Lógica sentencial (ou proposicional)
3.1 Proposições simples e compostas
3.2 Tabelas verdade
3.3 Equivalências
3.4 Leis de De Morgan
3.5 Diagramas lógicos
4 Lógica de primeira ordem