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