Lógica: conceitos básicos, tabelas verdade, argumento, lógica sentencial, técnicas dedutivas. Conjuntos: conceitos básicos, relações de pertinência e igualdade, subconjuntos, operações com conjuntos, conjunto das partes de um conjunto, conjuntos enumeráveis, produto cartesiano, relações binárias, relação sobre um conjunto, inversa de uma relação; relações de equivalência e de ordem, conjuntos parcialmente e totalmente ordenados