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

24 Setembro 2018, 12: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.