必然性推理

必然性推理是前提與結論間具有蘊涵關係的推理。即從真前提能必然地推出真結論的推理。在必然性推理中，前提真而結論假是不可能的，即把對前提的肯定與對結論的否定結合起來就會產生矛盾。傳統邏輯中通過直言命題變形的直接推理（換質法、換位法推理等）、通過命題間對當關係所進行的直接推理、三段論推理、各種假言推理、選育推理以及完全歸納推理等等，都屬於必然性推理。

基本介紹

• 中文名：必然性推理
• 拼音：bì rán xìng tuī
• 定義：“或然性推理”的對稱
• 包括：各種直接推理，三段論

bì rán xìng tuī l

“或然性推理”的對稱。