Flashcard FC614308
Qual é a negação de uma sentença universal da forma ∀x (P(x) → Q(x))?
Conjuntos
FUNDATEC · 2025
Qual é a negação de uma sentença universal da forma ∀x (P(x) → Q(x))?
Mostrar resposta e comentário
Resposta
A negação é ∃x (P(x) ∧ ¬Q(x)).• Equivalência lógica: ¬∀x(P(x)→Q(x)) ≡ ∃x¬(P(x)→Q(x)) ≡ ∃x(P(x)∧¬Q(x)).
• Interpretação: existe pelo menos um elemento que satisfaz P e não satisfaz Q.
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/610869
Conteúdo do catálogo FC Concursos · Atualizado em