大家好,小东方来为大家解答以上的问题。归结起来就是开辟了中国特色社会主，归结这个很多人还不知道,现在让我们一起来看看吧！
1、归结原理是将普通形式逻辑中充分条件的假言联锁推理形式符号化，并向一阶谓词逻辑推广的一种推理法则，又称归结法则、分解法则、消解法则。
2、2、在命题逻辑归结原理的推理图式中，P、Q和R称为原子公式（简称原子），即不使用逻辑连接词的简单命题形式。
3、原子和原子的否定式统称句元。
4、子句就是将不同句元用析取词∨（或）连接而成的析取式。
5、应用归结法则进行推理时，所有判断都写成子句的形式，这不论对命题逻辑还是对一阶谓词逻辑都不例外。
6、3、在命题逻辑中，原子被看成一个内部结构不予分析的逻辑基元，代表简单的命题形式。
7、单凭普通形式逻辑中充分条件的假言联锁推理的符号化，只能直接演变为命题逻辑的归结原理。
8、4、应用方法：应用归结原理证明定理或求解问题时采用反证法，即先假设与结论相反的命题是成立的，然后根据前提和否定结论的假设（都以子句形式出现），求出一系列中间结论（以归结式的形式出现）。
本文到此分享完毕，希望对大家有所帮助。
