Flashcard FC684036
Qual é a negação lógica de "Todo X é Y"?
Lógica de Proposições
QUADRIX · 2025
Qual é a negação lógica de "Todo X é Y"?
Mostrar resposta e comentário
Resposta
A negação é "Alguma X não é Y", equivalente a ∃x(X(x) ∧ ¬Y(x)).• Forma simbólica: ¬∀x(X(x)→Y(x)) ≡ ∃x(X(x)∧¬Y(x)).
• Distinção: "Nenhuma X é Y" corresponde a ∀x(X(x)→¬Y(x)), que é diferente e mais forte.
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/670518
Conteúdo do catálogo FC Concursos · Atualizado em