归结到根本上四字成语 归结
综合精选
2023-12-30 05:56:00
导读 大家好，我是小典，我来为大家解答以上问题。归结到根本上四字成语，归结，很多人还不知道，现在让我们一起来看看吧！1、归结原理是将普通...
大家好，我是小典，我来为大家解答以上问题。归结到根本上四字成语，归结，很多人还不知道，现在让我们一起来看看吧！
1、归结原理是将普通形式逻辑中充分条件的假言联锁推理形式符号化，并向一阶谓词逻辑推广的一种推理法则，又称归结法则、分解法则、消解法则。
2、在命题逻辑归结原理的推理图式中，P、Q和R称为原子公式（简称原子），即不使用逻辑连接词的简单命题形式。原子和原子的否定式统称句元。子句就是将不同句元用析取词∨（或）连接而成的析取式。应用归结法则进行推理时，所有判断都写成子句的形式，这不论对命题逻辑还是对一阶谓词逻辑都不例外。
3、在命题逻辑中，原子被看成一个内部结构不予分析的逻辑基元，代表简单的命题形式。单凭普通形式逻辑中充分条件的假言联锁推理的符号化，只能直接演变为命题逻辑的归结原理。
4、应用方法：应用归结原理证明定理或求解问题时采用反证法，即先假设与结论相反的命题是成立的，然后根据前提和否定结论的假设（都以子句形式出现），求出一系列中间结论（以归结式的形式出现）。
本文到此讲解完毕了，希望对大家有帮助。
免责声明：本文由用户上传，如有侵权请联系删除！