Escreva as sentenças a seguir utilizando a linguagem da Lógica Proposicional. Utilize símbolos proposicionais para representar sentenças atômicas.
Se Maria é bonita, inteligente e sensível e se Rodrigo ama Maria, então ele é feliz.
Se Maria é bonita, inteligente e sensível e se Rodrigo ama Maria, então ele é feliz.
Passo 1
O enunciado pede para traduzir a frase “Se Maria é bonita, inteligente e sensível e se Rodrigo ama Maria, então ele é feliz” para a lógica proposicional.
Passo 2
Precisamos escolher símbolos para cada sentença atômica. Por exemplo: p: “Maria é bonita”; q: “Maria é inteligente”; r: “Maria é sensível”; s: “Rodrigo ama Maria”; t: “Rodrigo é feliz”.
Passo 3
Em seguida, juntamos as condições “Maria é bonita, inteligente e sensível” e “Rodrigo ama Maria” usando conjunção. A parte antecedente fica
.
Passo 4
Por fim, montamos a implicação ligando o antecedente ao consequente “Rodrigo é feliz”, resultando em
.