尼科德命题演算公理系统(Nicod axiomatic system of propositional calculus)一种命题演算公理系统.该系统的显著特征是只含谢佛竖"{"一个联结词和一条公理: 推演规则为:从}A和川(C}B)可得}B.如果用通常的联结词符号表示,此规则为 该系统是由尼科德(Nicod , J.)于1916年建立的.它具有一定的理论研究价值,但它的直觉解释较难理解,证明定理的方法较复杂,不易掌握,因此在实际中很少有人采用. [1] 参考资料 1. 数学辞海第4卷