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