尼科德命題演算公理系統(Nicod axiomatic system of propositional calculus)一種命題演算公理系統.該系統的顯著特徵是只含謝佛豎“{”一個聯結詞和一條公理:推演規則為:從}A和川(C}B)可得}B.如果用通常的聯結詞符號表示，此規則為該系統是由尼科德(Nicod , J.)於1916年建立的.它具有一定的理論研究價值，但它的直覺解釋較難理解，證明定理的方法較複雜，不易掌握，因此在實際中很少有人採用.
