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.
A novela será exibida, a menos que seja exibido o programa político.
Passo 1
Definimos as sentenças atômicas:
: “A novela será exibida.”
: “O programa político será exibido.”
Passo 2
A expressão “
a menos que
” significa “se não for exibido o programa político, então será exibida a novela”. Em Lógica Proposicional isso corresponde a
Observe que essa fórmula é equivalente a
Observe que essa fórmula é equivalente a