Principalele forme de inferențe imediate sunt următoarele: obversiunea și conversiunea.
Obversiunea
Obversiunea constă în obținerea dintr-o judecată dată a unei alte judecăți echivalente, dar opusă calitativ, adică dintr-o judecată afirmativă obținem una negativă și invers dintr-una negativă obținem una afirmativă.
Exemplu:
Simbolic și general: „S este P” → «S nu este non-P».
Natural și concret : „Omul este spiritual” implică „Omul nu este nespiritual”.
Conversiunea
Conversiunea este obținerea unei judecăți noi, al cărei subiect logic este predicatul logic al judecății inițiale și al cărei predicat logic este subiectul judecății inițiale.
Exemplu:
Simbolic și general: „Toți S sunt P” → „Unii P, și numai unii P sunt S”.
Natural și concret: „Toți consecvenții sunt oameni” implică „Unii oameni și numai unii oameni sunt consecvenți”.