UNIVERSIDADE DO ESTADO DE SANTA CATARINA - UDESC

LÓGICA MATEMÁTICA (LMA0002)

Ementa:

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.