Flashcard FC303020
Qual é a negação lógica de uma sentença universal do tipo "Todas as S são P ou Q"?
Lógica de Proposições
FGV · 2015
Qual é a negação lógica de uma sentença universal do tipo "Todas as S são P ou Q"?
Mostrar resposta e comentário
Resposta
Existe pelo menos um S que não é P e não é Q.Explicação:
Negar uma sentença universal transforma o quantificador: não (Todas S) ⇔ Existe pelo menos um S tal que não...
A negação do predicado (P ou Q) usa a Lei de De Morgan: não (P ou Q) ⇔ (não P) e (não Q).
Portanto: não [Todas S (P ou Q)] ⇔ Existe S tal que (não P) e (não Q).
Exemplo:
Sentença: “Todas as roupas são camisa ou calça”.
Negação: “Existe pelo menos uma roupa que não é camisa e não é calça”.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/300110
Conteúdo do catálogo FC Concursos · Atualizado em