Dadas duas proposições simples p e q, considere as proposições abaixo e reescreva cada uma delas usando somente os conectivos indicados: p v q (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.

Resposta

Exercícios relacionados