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.

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 p land q land r land s.

Passo 4

Por fim, montamos a implicação ligando o antecedente ao consequente “Rodrigo é feliz”, resultando em (p land q land r land s) to t.

Resposta

(p land q land r land s) to t

Exercícios relacionados