1) As proposições categóricas são divididas em quatro classes:
Afirmação universal (enunciados do tipo Todo xé y)
Negação Universal (enunciados do tipo Nenhum xéy)
Afirmação particular (enunciados do tipo Algum xé y)
Negação particular (enunciados do tipo Algum x não é y)
Nas expressões acima, x indica o sujeito e yo predicado.
A partir da informação de que uma das proposições categóricas seja verdadeira ou falsa, podemos deduzir a
das outras proposições.
Por exemplo, se a proposição do tipo "Nenhum xé y" for falsa, então proposições do tipo "Existe x que é y" são
Nada podemos afirmar com respeito às proposições "Todo xéy" e "Existe x que não éy".
Considerando a proposição "Todos os atletas são famosos" verdadeira, então é correto concluir que:
Alternativas:
a) "Existe atleta que não é famoso" é falsa.
b) "Nenhum atleta é famoso" é verdadeira.
C) "Existe atleta que é famoso" é falsa.
d) "Existe atleta que não é famoso" é verdadeira.
e) Nada podemos afirmar sobre a proposição "Existe atleta que é famoso".
Respostas
A letra A) é a alternativa correta.
Seja a afirmação
1- "todos os atletas são famosos".
Esta é uma afirmação universal. Podemos reescrever esta proposição como "Para todo x tal que x é atleta, então x é famoso".
A partir desta afirmação podemos deduzir escrever as seguintes proposições nas outras três classes restantes.
(Observação) Farei uso da equivalência "x é não y" equivale a "(não x) é y"
2- "Nenhum atleta é famoso" (ou "Todo atleta é não famoso" )
3- "Algum atleta e famoso" (ou "existe pelo menos 1 atleta famoso")
4-"Algum atleta não é famoso"(ou "existe pelo menos 1 atleta que não é famoso")
Podemos ver então que as afirmativas 2 e 4 contradizem a afirmativa 1.
Mas a afirmativa 3 não contradiz a afirmativa 1
Resposta:
adg2= 1c,2e,3d,4c
Explicação passo-a-passo: