Dadas duas proposições simples e , considere as proposições abaixo e reescreva cada uma delas usando somente os conectivos indicados: (ou exclusivo), usando wedge, vee, e, neg
Passo 1
Beleza, vamos lá! O enunciado pede para reescrever a proposição p v q (que é o “ou exclusivo” entre p e q) usando apenas os conectivos e (E), vee (OU) e neg (NÃO). Isso está dentro do conteúdo de lógica proposicional, especificamente sobre equivalências lógicas. Vamos precisar entender bem o que cada conectivo faz para conseguir transformar o “ou exclusivo” nesses outros conectivos.
Passo 2
Primeiro, vamos lembrar o que significa o “ou exclusivo” (). Ele é verdadeiro somente quando apenas uma das proposições p ou q é verdadeira, mas não as duas ao mesmo tempo. Ou seja:
Se p é verdadeiro e q é falso, p v q é verdadeiro.
Se p é falso e q é verdadeiro, p v q é verdadeiro.
Se ambos p e q forem verdadeiros ou ambos forem falsos, p v q é falso.
Passo 3
Agora, vamos pensar em como expressar isso usando apenas e, vee e neg. Uma maneira de fazer isso é combinar o “ou” comum com “não” e “e” para capturar a ideia de que apenas uma das proposições deve ser verdadeira.
Passo 4
Uma forma de escrever o “ou exclusivo” é:
Vamos entender cada parte:
p ou q: Garante que pelo menos uma das proposições é verdadeira.
: Garante que não é o caso de as duas proposições serem verdadeiras ao mesmo tempo.
Assim, combinando os dois com o “E” (e), asseguramos que exatamente uma das proposições é verdadeira.