TTN/1998 (ESAF) Se é verdade que “Alguns A são R” e que “Nenhum G é R”, então é necessariamente

Se é verdade que “Alguns A são R” e que “Nenhum G é R”, então é necessariamente verdadeiro
que:
a) algum A não é G b) algum A é G c) nenhum A é G
d) algum G é A e) nenhum G é A
Solução:
Uma forma de se resolver rapidamente este tipo de questão é fazendo o seguinte:
Nas proposições categóricas do tipo:
• Todo A é B (proposição universal afirmativa);
• Nenhum A é B (proposição universal negativa);
• Algum A é B (proposição particular afirmativa);
• Algum A não é B (proposição particular negativa).
Proceda do seguinte modo:
• Elimine os atributos comuns às duas proposições;
• Conclua do seguinte modo:
⇒ “Todo” com “Nenhum” resulta “Nenhum”, associando os atributos restantes;
⇒ “Todo” com “Algum” resulta “Algum” associando os atributos restantes;
⇒ “Nenhum” com “Algum” resulta “Algum... não é...” associando os atributos restantes.
Neste questão temos que:
• Alguns A são R
• Nenhum G é R
O atributo comum aqui é o “R”. Eliminando-o, ficaremos com Algum A não é G
Resposta: letra a.