Justificativa
O quadrado das oposições criado no sistema da lógica Aristotélico, representa quatro proposições, que podem justificar esse comportamento:
Proposições contrárias (A ↔ E) - São proposições comuns que delongam só pelo atributo (negação ou afirmação), como por exemplo: Todas as famílias são tradicionais (A) e Nenhuma das famílias são tradicionais (E);
Proposições subcontrárias (I ↔ O) - São proposições reservadas que delongam só pelo atributo, como por exemplo: Algumas famílias são tradicionais (I) e algumas famílias não são tradicionais (O);
Proposições subalternas (A → I e E → O) - São proposições que só delongam pela abundância (sujeitos que estão sendo conexos), como por exemplo: Todas as famílias são tradicionais (A) e Nenhuma das famílias são tradicionais (I) e Algumas famílias são tradicionais (E) e algumas famílias não são tradicionais (O);
Proposições contraditórias (A ↔ O e E ↔ I): São proposições que delegam quanto à abundancia e atributo, como por exemplo: Todas as famílias são tradicionais (A) e algumas famílias não são tradicionais (I) e Algumas famílias são tradicionais (E) e Nenhuma das famílias são tradicionais (O);
Entretanto duas proposições adversas não podem ser ambas verdadeiras na mesma ocasião e nem duas proposições colidentes não podem ser nem verdadeiras nem falsas na mesma ocasião, sendo assim, nessa mesma lógica duas proposições subcontrárias não podem ser ambas falsas na mesma ocasião. Esta análise nos ajudam a compreender melhor o perfil