Escreva as sentenças a seguir utilizando a linguagem da Lógica Proposicional. Utilize símbolos proposicionais para representar sentenças atômicas.
A novela será exibida, a menos que seja exibido o programa político.

Passo 1

Definimos as sentenças atômicas: N: “A novela será exibida.” P: “O programa político será exibido.”

Passo 2

A expressão “ N a menos que P” significa “se não for exibido o programa político, então será exibida a novela”. Em Lógica Proposicional isso corresponde a \neg P \to N
Observe que essa fórmula é equivalente a P \lor N

Resposta

\neg P \to N (equivalentemente P \lor N)

Exercícios relacionados