归结原理

归结原理，归结原理,guijie yuanli，归结原理,guijie,yuanli，[拼音]：guijie yuanli[外文]：resolution principle将普通形式逻辑中充分条件的假言联锁推理形式符号化，并向一阶谓词逻辑推广的一种推理法则，又称归结法则、分解法则、消解法则。基本思想从应用的角度出发，可以从充分条件的假言联...