Escreva as sentenças a seguir utilizando a linguagem da Lógica Proposicional. Utilize símbolos proposicionais para representar sentenças atômicas.
Vai chover ou nevar, mas não ambos.
Vai chover ou nevar, mas não ambos.
Passo 1
O enunciado pede para traduzir a sentença “Vai chover ou nevar, mas não ambos” para a linguagem da Lógica Proposicional. Vamos usar o conceito de disjunção exclusiva (XOR).
Passo 2
Definimos as sentenças atômicas: seja
a proposição “vai chover” e
a proposição “vai nevar”.
Passo 3
Sabendo que “ou, mas não ambos” é equivalente à disjunção exclusiva, usamos a fórmula
para expressar exatamente “p ou q, e não (p e q)”.