Ed
ano passado
Para a proposição categórica "Nenhum A é B", estamos lidando com uma negação universal. Isso significa que não existe nenhum elemento que pertença ao conjunto A que também pertença ao conjunto B. Analisando as alternativas: A) ∀x(Ax → Bx) - Isso significa "para todo x, se x é A, então x é B", o que é o oposto do que queremos. B) ∀x(Ax → ~Bx) - Isso significa "para todo x, se x é A, então x não é B", que é exatamente o que queremos. C) ∃x(Ax ^ Bx) - Isso significa "existe um x que é A e B", o que contradiz a proposição. D) ∃x(Ax ^ ~Bx) - Isso significa "existe um x que é A e não é B", mas não cobre a totalidade da proposição. E) ∃x(~Ax ^ Bx) - Isso significa "existe um x que não é A e é B", o que não se relaciona com a proposição. Portanto, a alternativa correta é: B) ∀x(Ax → ~Bx).
Já tem uma conta?
Ao continuar, você aceita os Termos de Uso e Política de Privacidade
Mais perguntas desse material