必然性推理 ( bì rán xìng tuī lǐ )

词语解释

    1. “或然性推理”的对称。从真前提能够必然地推出真结论的推理。包括:各种直接推理,三段论,关系推理,假言推理,选言推理,完全归纳推理,科学归纳推理。