Escreva as sentenças a seguir utilizando a linguagem da Lógica Proposicional. Utilize símbolos proposicionais para representar sentenças atômicas.
Irei ao teatro somente se for uma peça de comédia.
Irei ao teatro somente se for uma peça de comédia.
Passo 1
Estamos traduzindo para Lógica Proposicional a sentença “Irei ao teatro somente se for uma peça de comédia”. O conteúdo é o conectivo condicional e o operador “somente se”. Vamos precisar definir proposições atômicas e usar a relação entre “somente se” e o condicional.
Passo 2
Definimos as proposições: p = “Irei ao teatro” e q = “É uma peça de comédia” — assim temos cada parte da frase mapeada para um símbolo proposicional.
Passo 3
Em Lógica Proposicional, a expressão “P somente se Q” equivale à condicional
. Portanto a tradução da frase é:
.