必
然
性
推
理
bì rán xìng tuī lǐ
基本释义
“或然性推理”的对称。从真前提能够必然地推出真结论的推理。包括：
各种直接推理，三段论，关系推理，假言推理，选言推理，完全归纳推理，科学归纳推理。
英文翻译
Certainty reasoning