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

1 Fevereiro 2021, 18:30 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.