SeP>Niciun S nu este P.~UNIVERSAL NEGATIVĂ
SiP> Unii S sunt P.~PARTCULAR AFIRMATIVĂ
SoP> Unii S nu sunt P. ~PARTICULAR POZITIV[
1. SiP
2. SaP
3. SeP
4. SaP
5. SoP
6. SiP
CONTRADICTORIA: SaP---SoP--- Unele balene nu sunt mamifere.
CONTRARA: SaP---SeP---Nicio balenă nu e mamifer.
SUBCONTRARA: IPOTETIC, ÎN PĂTRATUL LOGIC, NU APARE SUBCONTRARA LUI SaP
CONTRADICTORIA: SeP----SiP---Unele case sunt locuite.
CONTRARA: SeP----NU APARE ÎN PĂTR. LOGIC
SUBCONTRARA: SeP---SoP--- Unele case nu sunt locuite.