Breve revisão da lógica clássica (2)

25 Setembro 2017, 16:00 • Ricardo Santos

Exercícios de formalização na Lógica Proposicional clássica. A semântica para a lógica proposicional: noções de interpretação, de verdade numa interpretação, de consequência lógica e de verdade lógica (ou tautologia). Exercícios de raciocínio semântico.