分析表法-一流百科

分析表法

分析表法在证明理论中，是句法和相关逻辑的决策程序，也是一阶逻辑公式的证明程序。一个分析表是为一个逻辑公式计算的树状结构，在每个节点上都有一个要证明...