决策表程序的推理规则

？本文给出了证明决策表程序正确性的推理规则,其中特别使用了决策表程序的层次结构和不可能规则。本文最后以证明冒泡分类算法例示了本文方法的使用情况。