História da lógica. Cálculo proposicional. Fórmulas tautológicas, contra-válidas e consistentes. Transformação entre conectivos lógicos. Equivalencias. Argumentos válidos. Teorema lógico. Axiomatização. Métodos de prova. Lógica de 1a. Ordem (LPO). Quantificadores. Fórmulas. Argumentos. Axiomatização. Noções sobre teorias lógicas (completude e corretude). Notação clausal. Introdução à Provas de LPO. Uso de uma linguagem baseada em lógica, como instância da LPO.