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.
Uma interpretação satisfaz uma fórmula sse a fórmula toma o valor ‘verdadeiro’ para essa interpretação.
Uma interpretação que satisfaz essa fórmula.
Uma fórmula cujo valor é ‘verdadeiro’ em qualquer interpretação.
Last updated 3 years ago