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.

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 p a proposição “vai chover” e q a proposição “vai nevar”.

Passo 3

Sabendo que “ou, mas não ambos” é equivalente à disjunção exclusiva, usamos a fórmula (p lor q) land neg(p land q) para expressar exatamente “p ou q, e não (p e q)”.

Resposta

(p lor q) land neg(p land q)

Exercícios relacionados