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.
Se Adriane é linda ou interessante, então Luciana é inteligente.
Passo 1
Definimos proposições atômicas para os fatos do enunciado:
“Adriane é linda.”
“Adriane é interessante.”
“Luciana é inteligente.”
Passo 2
A frase “Se Adriane é linda ou interessante, então Luciana é inteligente” é uma implicação cujo antecedente é a disjunção de
e
, e cujo consequente é
. Logo, a tradução em Lógica Proposicional fica: