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.
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:
: “Pedro fica de ressaca”
: “Pedro fica triste”
: “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
e
. Logo, a tradução é