LMA0001

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. Metodos 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. 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.