Questão FC300072
Se não é verdade que “Todo soteronito é soteronoso”, então é correto afirmar que
Lógica de Proposições
FGV · 2019
Se não é verdade que “Todo soteronito é soteronoso”, então é correto afirmar que
- “Nenhum soteronito é soteronoso”.
- “Todo soteronoso é soteronito”.
- “Algum soteronito não é soteronoso”.
- “Algum soteronoso não é soteronito”.
- “Algum soteronito é soteronoso”.
Mostrar resposta e comentário
Gabarito
Certo
Comentário do professor
A afirmação "Todo soteronito é soteronoso" corresponde ao quantificador universal: \( \forall x\,(S(x)\rightarrow O(x)) \), onde \(S\) = soteronito e \(O\) = soteronoso.
A negação de uma sentença universal exige que exista ao menos um contraexemplo. Formalmente, a negação é \( \neg\forall x\,(S(x)\rightarrow O(x)) \equiv \exists x\,(S(x)\wedge \neg O(x))\).
Em linguagem comum, isso significa: "Algum soteronito não é soteronoso", ou seja, existe pelo menos uma pessoa que é soteronito e não é soteronoso.
Geométricamente (diagrama de Venn), negar "Todo A está em B" corresponde a colocar um elemento na região A fora de B — prova visual de que a alternativa C é correta.
Conteúdo do catálogo FC Concursos · Atualizado em