Interpretações em Lógica Proposicional

Na lógica proposicional, uma interpretação de uma fórmula é uma atribuição de valores de verdade ou falsidade às várias proposições que nela ocorrem.

• Exemplo: a fórmula A ^ B tem quatro interpretações possíveis.

Satisfatibilidade

Uma interpretação satisfaz uma fórmula sse a fórmula toma o valor ‘verdadeiro’ para essa interpretação.

Modelo de uma fórmula

Uma interpretação que satisfaz essa fórmula.

Tautologia

Uma fórmula cujo valor é ‘verdadeiro’ em qualquer interpretação.