必然性推理

必然性推理（ bì rán xìng tuī lǐ）是前提与结论间具有蕴涵关系的推理。即从真前提能必然地推出真结论的推理。在必然性推理中，前提真而结论假是不可能的，即把对前提的肯定与对结论的否定结合起来就会产生矛盾。传统逻辑中通过直言命题变形的直接推理（换质法、换位法推理等）、通过命题间对当关系所进行的直接推理、三段论推理、各种假言推理、选言推理以及完全归纳推理等等，都属于必然性推理。