Flashcard FC684031
Como se nega logicamente uma sentença universal?
Lógica de Proposições
QUADRIX · 2025
Como se nega logicamente uma sentença universal?
Mostrar resposta e comentário
Resposta
Nega-se trocando o quantificador universal por um existencial e negando o predicado.Equivalência formal: ¬(∀x (P(x) → Q(x))) ≡ ∃x (P(x) ∧ ¬Q(x)).
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/670513
Conteúdo do catálogo FC Concursos · Atualizado em