必然性推理(apodeictive inference; inevitable reasoning)
基于4999个网页-相关网页
必然性推理
Necessity reasoning
以上为机器翻译结果，长、整句建议使用 人工翻译 。
必然性推理是前提与结论间具有蕴涵关系的推理。即从真前提能必然地推出真结论的推理。在必然性推理中，前提真而结论假是不可能的，即把对前提的肯定与对结论的否定结合起来就会产生矛盾。传统逻辑中通过直言命题变形的直接推理（换质法、换位法推理等）、通过命题间对当关系所进行的直接推理、三段论推理、各种假言推理、选言推理以及完全归纳推理等等，都属于必然性推理。
详细内容
应用推荐
模块上移
模块下移
不移动