Quadrado lógico - Regras da inferência por oposição

Imagem retirada de pt.wikipedia.org/wiki/Quadrado_das_oposi%C3%A...

• 
  
  1º Caso - Proposições Contraditórias (A, O), (E, I) - Duas proposições contraditórias não podem ser verdadeiras nem falsas ao mesmo tempo. Assim, se uma proposição é verdadeira infiro que a sua contraditória é falsa; se for falsa infiro que a sua contraditória será verdadeira.


• 
  
  2º Caso - Proposições Contrárias (A, E) - Duas proposições contrárias não podem ser verdadeiras ao mesmo tempo (não podem ser ambas verdadeiras), mas podem ser ambas falsas. Assim, se uma proposição é verdadeira infiro que a outra é falsa, porque não podem ser ambas verdadeiras. Mas também podem ser ambas falsas.


• 
  
  3º Caso - Proposições subcontrárias - (I, O) - Duas proposições subcontrárias não podem ser ambas falsas. Assim, se uma proposição particular for falsa, infiro que a subcontrária é verdadeira. Podem ser ambas verdadeiras.

• 4º Caso - Proposições subalternas - (A,I), (E,O) - Duas proposições subalternas serão ambas verdadeiras se a proposição universal for verdadeira e ambas falsas se a proposição particular for falsa - mas nada se pode concluir da proposição universal falsa ou da particular verdadeira.