也叫演绎法、演绎。通常指从一般的、普遍性的前提推出个别的、特殊性的结论的推理。前提与结论之间的联系是必然性的，只要前提真，推理形式正确，就一定得到真的结论。