Üldiselt öeldakse, et järeldus on ühe asja lahutamine teisest.
Järeldus on puhtalt ja eranditult a meie mõistuse toode, sest see on a hindamine antud keele nende väljendite vahel, mis on kord omavahel intellektuaalsel viisil seotud, võimaldab jõuda loogilise ideeni. Sel viisil saame mõne väljendi tõest või valest lähtudes järeldada mõne teise tõe või vale.
Vahepeal kujuneb eelnimetatud protseduurist postulaat.
Traditsioonilises loogikas, tuntud kui Aristoteles, kuna selle sõnastas esmakordselt tuntud kreeka filosoof Aristoteles, järgnev järeldusvorm on süllogism. See on deduktiivse arutluskäigu tüüp, mis koosneb kahest propositsioonist kui eeldusest ja teisest kui järeldusest, millest viimane lähtub juba järeldusest, kahest teisest.
Me võime leida kolme tüüpi järeldusi; a mahaarvamine, on deduktiivne argument tüüp, mis näeb ette ruumide ja järelduse kooseksisteerimise, tagades, et viimane on ruumides esindatud, näiteks: kõik õhupallid selles kotis on punased, need õhupallid kuuluvad sellesse kotti, seega on need õhupallid punased; a induktsioon, induktiivne argument tunnistab ruumide ja järelduse tõenäolist kooseksisteerimist, garanteerides, et viimane tõenäoliselt kajastub ruumides, näiteks: õhupallid on sellest kotist, õhupallid on punased, seega on kõik selles kotis olevad õhupallid punased; ja röövimine, pakub abduktiivse tüübi argument ruumide ja järelduse võimalikku kooseksisteerimist, tagades, et viimane on potentsiaalselt esindatud eelnimetatud ruumides, näiteks: kõik õhupallid selles kotis on punased, need õhupallid on punased, nii et need õhupallid vastavad sellele kotile.
