Specijalna forma posrednog zaključivanja, uglavnom dedukcije. Ponekad saopštava poznate činjenice.
Nijedan čovjek nije nepogrešiv. Papa je čovjek. Nijedan papa nije nepogrešiv.
Nijedan čovjek nije nepogrešiv. Papa je čovjek.
Nijedan papa nije nepogrešiv.