Traduza os argumentos na forma de argumento correspondente, e determine sua validade. Use a notação sugerida para traduzir as sentenças a) Nenhuma ...

O argumento pode ser traduzido para a forma padrão do silogismo: - Nenhum A é B. - Todos os C são B. - Portanto, nenhum A é C. A validade do argumento pode ser demonstrada usando a regra da figura 1 do silogismo: - Premissa maior: Nenhum A é B. (Nenhuma arara é vermelha.) - Premissa menor: Todos os C são B. (Todos os papagaios são vermelhos.) - Conclusão: Portanto, nenhum A é C. (Nenhuma arara é um papagaio.) Como as premissas são verdadeiras e a conclusão segue logicamente das premissas, o argumento é válido.