Interpretações e contramodelos (continuação)

12 Outubro 2017, 18:00 • Ricardo Santos

Definição de interpretação: uma interpretação (da linguagem da lógica proposicional) é uma atribuição de valores, verdadeiro ou falso, às letras esquemáticas de frase. Verdade (ou falsidade) numa interpretação: a avaliação de fórmulas complexas relativamente a diferentes interpretações. Definição de contramodelo: um contramodelo de uma forma argumentativa é uma interpretação na qual as premissas são todas verdadeiras e a conclusão é falsa. Uma forma argumentativa é inválida se e só se tem um contramodelo. Resolução de exercícios.