【尼科德命题演算公理系统﹡名词解释如下】
尼科德命题演算公理系统名词解释：
一种命题演算公理系统.该系统的显著特征是只含谢佛竖“｜”一个联结词和一条公理名词解释：
推演规则为名词解释：
从A和A|(C|B)可得B.如果用通常的联结词符号表示,此规则为该系统是由尼科德(Nicod,J.)于1916年建立的.它具有一定的理论研究价值,但它的直觉解释较难理解,证明定理的方法较复杂,不易掌握,因此在实际中很少有人采用.
免责声明：本文内容源于网友提供或网络搜集，仅供个人研究、交流学习使用，转载出于传递更多信息和学习之目的。如果您发现有涉嫌版权内容，请通知本站客服更改或删除。
相关阅读：
聊城大学外语教学网廖青
薛有志
哈师大地理科学学院
2011工程大学
调查研究法
李肖霖律师
湖北大学地址邮编
概率论答案
