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

3 Fevereiro 2020, 16:00 • Ricardo Santos

Exercícios de formalização na Lógica Proposicional clássica. O caso difícil da conectiva “a menos que” (ou “a não ser que”). 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.