【证明算法】的繁体字： 證明算法
【证明算法】的读音为 zhèng míng suàn fǎ，无声调拼音为 zheng ming suan fa，简拼为 ZMSF
【证明算法】的笔画分别为7画、8画、14画、8画，部首分别为讠部、日部、竹部、氵部。
【分字繁体字】证的繁体字 明的繁体字 算的繁体字 法的繁体字
证明算法(algorithm of proof)一种算法.指可用于证明某些命题的成立与否的算法.有些命题的真假是可以通过一个算法来判断的.例如，命题演算中，命题的真假即可通过一个算法机械地判定.
