辞海

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