Flashcard FC684027
Qual é a negação lógica de ∀x (A(x) → B(x))?
Lógica de Proposições
QUADRIX · 2025
Qual é a negação lógica de ∀x (A(x) → B(x))?
Mostrar resposta e comentário
Resposta
A negação é ∃x (A(x) ∧ ¬B(x)).
• Negação do universal: A negação de ∀x (A(x)→B(x)) é ∃x ¬(A(x)→B(x)).
• Negação do condicional: ¬(A→B) é equivalente a A ∧ ¬B, portanto ∃x (A(x) ∧ ¬B(x)).
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/670509
Conteúdo do catálogo FC Concursos · Atualizado em