Introdução à sintaxe e semântica do cálculo proposicional clássico e do cálculo dos predicados clássico. Interpretação, satisfatibilidade, consequência lógica e validade. Tableaux e Dedução Natural.
Nenhum pre-requisito encontrado para FIL1310
Nenhum co-requisito encontrado para FIL1310