Tipurile fundamentale de rationamente (inferente) imediate(cu o premise si o
concluzie) cu propozitii categorice,printre care se regasesc si raporturile dintre propozitiile categorice,se bazeaza pe doua operatii logice distincte:conversiunea si obversiunea. Conditia fundamentala a validitatii rationamentelor imediate o reprezinta faptul ca un termen este distribuit in concluzie doar daca este distribuit si in premisa. 1.Conversiunea: este operatia logica prin care dintr-o propozitie categorica se obtine o alta propozitie categorica(o concluzie,numita aici conversa) in care se inverseaza ordinea subiectului si a predicatului logic(S-P->P-S). Astfel,sunt valide urmatoarele conversiuni: SeP Pes SiP PiS Prin conversiunea conversei se ajunge la propozitia initiala. De retinut este faptul ca universala afirmativa nu se converteste decat prin accident,pentru ca altfel ar fi incalcata legea distribuirii termenilor: SaP->PiS. De asemenea,SeP se poate converti si prin accident in PoS,iar SoP nu se converteste. Astfel,din propozitia „Nici-un mar nu este patrat”,prin conversiune obtinem propozitia „Nici-un patrat nu este mar”,iar din propozitia „Toti oamenii sunt muritori” obtinem prin conversiune propozitia „Unii muritori sunt oameni”. 2.Obversiunea: este operatia logica prin care dintr-o propozitie categorica se obtine o alta propozitie categorica(o concluzie,numita aici obversa),de calitate opusa,al carei predicat este contradictoriul predicatului din prima propozitie.Astfel, SaP Se SeP Sa SiP So SoP Si Asadar,din propozitia „Toti oamenii sunt bipezi” obtinem prin obversiune propozitia „Nici-un om nu este non-biped”.