Quadrado da Oposição.
Na lógica tradicional, o quadrado da oposição apresenta as relações lógicas que ocorrem entre as quatro formas de proposições da forma sujeito-predicado, conhecidas por A, E, I, O, respectivamente: todo A é B; nenhum A é B; algum A é B; algum A não é B.
As afirmativas a seguir estão de acordo com o diagrama, exceto uma. Assinale-a.
São contraditórias as proposições que não podem ser ambas verdadeiras, nem ambas falsas.
Uma proposição é subalterna de outra quando é implicada por ela, mas não a implica.
São contrárias as que não podem ser ambas verdadeiras, mas que podem ser ambas falsas
A proposição subalterna pode ser verdadeira ou falsa se a superalterna é verdadeira.
As subcontrárias podem ser ambas verdadeiras, mas não podem ser ambas falsas.