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.
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).