LMA0002

História da lógica. Lógica clássica proposicional. Proposições atômicas e conectivos lógicos. Fórmulas tautológicas, contraditórias e contingentes. Satisfazibilidade de fórmulas. Consequência e equivalência na lógica proposicional. Métodos de prova. Lógica de Predicados. Quantificadores e fórmulas da Lógica de Predicados. Consequência e equivalência para Lógica de Predicados. Introdução a provas em Lógica de Predicados. Experimentação e prática de extensão em jogos e desafios de raciocínio lógico. Atividades de extensão.