尼科德命题演算公理系统名词解释：一种命题演算公理系统.该系统的显著特征是只含谢佛竖“｜”一个联结词和一条公理名词解释：推演规则为名词解释：从A和A|(C|B)可得B.如果用通常的联结词符号表示,此规则为该系统是由尼科德(Nicod,J.)于1916年建立的.它具有一定的理论研究价值,但它的直觉解释较难理解,证明定理的方法较复杂,不易掌握,因此在实际中很少有人采用.