分析表法

来自术语
跳转至: 导航搜索

    通过分解公式结构,证明在分解的每一条路上都走不通(产生使公式取值为假的节点)来进行自动推理(否证该公式)的一种方法。

英文名 analytic tableaux



链接

Wikipedia https://en.wikipedia.org/wiki/analytic_tableaux