归结[guī jié] 归结 归结原理是1965年美国人Robinson提出的一种证明一阶谓词演算中定理的方法。使用这种方法时,对任一要证明的永真公式取非后,证明它不可满足,为此先转化成一种标准型,然后对这个标准型不断使用单一的推理规则,即实行归结,直到导出矛盾。
151、 公司业绩有所下滑,这主要归结于下游香烟消费市场滞涨,其次,铝箱包装即将迎来“量价齐升”的加速成长期。
152、 于是莫知鸿便把那归结于,能力对血毒症的治疗比较缓慢。
153、 日产将原因归结于骐达、阳光等小型车、紧凑车在华销量走软。
154、 天气本是个难以预测、变幻无常的物事,有人把它归结于众神的心情,但实际上这只是人们的心情而已,至少天上没有哪个神有闲心管这个事情。