Escreva as sentenças a seguir utilizando a linguagem da Lógica Proposicional. Utilize símbolos proposicionais para representar sentenças atômicas.
Se minha namorada vier, irei ao teatro somente se for uma peça de comédia.

Passo 1

A questão pede para traduzir para a linguagem da Lógica Proposicional a frase “Se minha namorada vier, irei ao teatro somente se for uma peça de comédia.” O conteúdo aqui é tradução de sentenças naturais usando conectivos lógicos.

Passo 2

Vamos definir proposições atômicas bem intuitivas: p: “minha namorada vem”; q: “eu irei ao teatro”; r: “é uma peça de comédia”.

Passo 3

Na Lógica Proposicional, “A somente se B” equivale à implicação “A → B”. Isso porque “A somente se B” significa que sempre que A ocorre, B tem de ocorrer.

Passo 4

Montamos a sentença composta: primeiro “Se p então (…)” e, dentro, “q somente se r” vira “q → r”. Assim a tradução fica p → (q → r).

Resposta

p to (q to r)

Exercícios relacionados