分析表法

（计算机科学技术）

分析表法（analytic tableaux），计算机科学技术名词，通过分解公式结构，证明在分解的每一条路上都走不通（产生使公式取值为假的节点）来进行自动推理（否证该公式）的一种方法。