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.

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 P Q. Portanto a tradução da frase é: p q.

Resposta

p q

Exercícios relacionados