Escreva as sentenças a seguir utilizando a linguagem da Lógica Proposicional. Utilize símbolos proposicionais para representar sentenças atômicas.
Se Adriane é linda ou interessante, então Luciana é inteligente.

Passo 1

Definimos proposições atômicas para os fatos do enunciado: L: “Adriane é linda.” I: “Adriane é interessante.” N: “Luciana é inteligente.”

Passo 2

A frase “Se Adriane é linda ou interessante, então Luciana é inteligente” é uma implicação cujo antecedente é a disjunção de L e I, e cujo consequente é N. Logo, a tradução em Lógica Proposicional fica:
(L \lor I) \to N

Resposta

(L \lor I) \to N

Exercícios relacionados