Quanto às proposições categoriais, segundo Aristóteles, sabemos que proposições universais afirmativas e particulares negativas são contraditórias, e o mesmo se pode afirmar de universais negativas em relação a particulares afirmativas. Isso pode ser deduzido do que conhecemos como “quadrado aristotélico das oposições”.
Assinale a alternativa que apresenta um exemplo desta relação de contradição.
“Algum cavalo não é branco” e “Nenhum cavalo é branco” são proposições contraditórias
“Algum cavalo é branco” e “Algum cavalo não é branco” são proposições contraditórias
“Todos os cavalos são brancos” e “Nenhum cavalo é branco” são proposições contraditórias
“Algum cavalo é branco” e “Nenhum cavalo é branco” são proposições contraditórias