分解方法

【分解方法】基础信息（ 英文,繁体）

词语 分解方法
英文 resolution method
繁体 分解方法

【分解方法】是什么意思

J. A. Robinson 于1965年提出，用于定理证明的一种方法。在此方式下，只要将需证明的定理写成合适的一阶述词演算公式，再证明公式恒真，即相当于证明定理成立。

【分解方法】相关的组词

【分】组词

【解】组词

【方】组词

【法】组词

热门词语