证明算法

证明算法(algorithm of proof)一种算法.指可用于证明某些命题的成立与否的算法.有些命题的真假是可以通过一个算法来判断的.例如，命题演算中，命题的真假即可通过一个算法机械地判定.