组词典 词语

分解方法

【分解方法】基础信息( 英文,繁体)

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

【分解方法】是什么意思

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

浏览历史