命题逻辑的归结法与谓词逻辑的归结法的不同之处是什么?
出自:计算机科学