必然性推理 基本解释
解释 “或然性推理”的对称。从真前提能够必然地推出真结论的推理。包括：各种直接推理，三段论，关系推理，假言推理，选言推理，完全归纳推理，科学归纳推理。
必然性推理 其它解释
必然性推理是前提与结论间具有蕴涵关系的推理。即从真前提能必然地推出真结论的推理。在必然性推理中，前提真而结论假是不可能的，即把对前提的肯定与对结论的否定结合起来就会产生矛盾。传统逻辑中通过直言命题变形的直接推理（换质法、换位法推理等）、通过命题间对当关系所进行的直接推理、三段论推理、各种假言推理、选育推理以及完全归纳推理等等，都属于必然性推理。
