Iar acum, vom lua pe rând fiecare timp de inferență imediată, și vom descoperi cum anume se derivă o concluzie dintr-o anumită premisă.

***Inferența prin opoziție: Se bazează pe pătratul logic al propozițiilor categorice (Boethius), pătrat care descrie relațiile și raporturile de opoziție:

-Raport de contradicție – cele două propoziții nu pot fi nici adevărate, nici false în același timp și sub același raport.
SaP → Sop                       Toți delfinii sunt mamifere.---1
                                          Unii delfini nu sunt mamifere.---0
 Sep → Sip        Niciun sportiv nu este sănătos.---1
                           Unii sportivi sunt sănătoși.---0
-Raport de contrarietate – cele două propoziții nu pot fi adevărate, dar pot fi false în același timp și sub același raport.
            SaP → SeP                               Toți oamenii sunt mamifere.---1
                                                              Niciun om nu este mamifer.---0
                  Toate furnicile sunt reptile.---0
                  Nicio furnică nu este reptilă.---1
                                                                        Toți elevii sunt sportivi de performanță.---0
                                                                        Niciun elev nu este sportiv de performanță.---0  
-Raport de subcontrarietate – cele două propoziții nu pot fi false, dar pot fi adevărate în același timp și sub același raport. 
          SiP → SoP                  Unii fluturii sunt reptile.---0
                                               Unii fluturi nu sunt reptile.---1
                                                                        Unii tigri sunt mamifere.---1
                                                                        Unii tigri nu sunt mamifere.---0
                        Unii studenți  sunt artiști.---1
                        Unii studeți nu sunt artiști.---1
-Raport de subalternare – dacă propoziția universală (supraalterna)  este adevărată, atunci și propoziția particulară (subalterna) este adevărată, dar dacă universala este falsă nu se știe nimic cu certitudine despre particulară.
                                           - dacă subalterna este falsă, atunci și supraalterna este falsă, dar dacă subalterna este adevărată, atunci nu se știe nimic cu certitudine despre supraalternă.
            SaP → SiP      Toți elevii sunt prezenți.---1
            SeP → SoP     Unii elevi sunt prezenți.---1
                                                             Toți prizonierii sunt nevinovați.---0
                                                             Unii prizonieri sunt  nevinovați.---inecrtitudine-poate fi 0/1
Unele pisici sunt insecte.---0
Toate pisicile sunt insecte.---0
                                     Unii fluturi sunt colorați.---1
                                     Toți fluturii sunt colorați.---incertitudine-poate fi 0/1

***Inferența prin conversiune = operația logică prin care, în trecerea de la premisă la concluzie, se inversează ordinea termenilor. Deci, plecând de la premise S-P se ajunge la concluzie P-S.
ATENȚIE!!!---legea distribuirii termenilor
     Sap  Pas ??? se verifică validitatea inferenței în funcție de distribuirea termenilor.
     ₊SaP₋  ₊PaS₋   Se poate observa extinderea nepermisă a predicatului. De aceea se face o conversiune prin accident, adică se inversează ordinea termenilor, dar se schimbă și cantitatea propoziției.
                        SaP PiS
                        SeP  PeS
                         SiP  PiS
SoP NU se convertește. Demonstrație…
₋SoP₊ ₋PoS₊ ---extinderea nepermisă a lui S.
₋SoP₊₊ PeS₊ ---extinderea nepermisă a lui S.

 

***Inferența prin obversiune = operația logică prin care, în trecerea de la premisă la concluzie, se schimbă calitatea propoziției, iar predicatul premisei este negat în concluzie. Deci, plecând de la S-P se ajunge la . La această operație nu se mai ține cont de legea distribuirii termenilor.
SaP  Se
             SeP  Sa
SiP  So
SoP  Si