Escreva as sentenças a seguir utilizando a linguagem da Lógica Proposicional. Utilize símbolos proposicionais para representar sentenças atômicas.
Se Pedro fica de ressaca, então ele fica triste e vai para casa.

Passo 1

O enunciado pede para traduzir a frase “Se Pedro fica de ressaca, então ele fica triste e vai para casa” para a linguagem da Lógica Proposicional. Vamos usar a teoria de conectivos lógicos, em especial a implicação e a conjunção.

Passo 2

Definimos três proposições atômicas: p: “Pedro fica de ressaca” q: “Pedro fica triste” r: “Pedro vai para casa”

Passo 3

A frase começa com um “se…, então…”, o que corresponde a uma implicação. A parte “ele fica triste e vai para casa” é uma conjunção de q e r. Logo, a tradução é
p \to (q \wedge r).

Resposta

p \to (q \wedge r)

Exercícios relacionados