谢费尔竖线

✍ dations ◷ 2025-07-30 15:00:40 #布尔代数,数理逻辑,逻辑联结词

谢费尔竖线(英语:Sheffer stroke),得名于Henry M. Sheffer(英语:Henry M. Sheffer),写为“| ”(见竖线)或“↑”,指示等价于合取运算的否定的逻辑运算。普通语言表达为“不全是即真”(Not AND,因此也常缩写为NAND),也就是说,A | B假,当且仅当A与B都真时才成立。它是可用来表达与命题逻辑有关的所有布尔函数的自足算子之一。在布尔代数和数字电子中有叫做“NAND”的等价运算。

Sheffer竖线“|”等价于逻辑与的否定:

下列真值表在语义上定义了“|”:

其他逻辑算子可以依据"|"来定义,比如:

Henry M. Sheffer证明了命题逻辑的所有常用算子(非、与、或、蕴涵等等)都可以用它来表达(Sheffer 1913)。查尔斯·皮尔士在30多年前(1880年)就发现了这个事实。皮尔士还发现所有布尔算子都可以用NOR算子来表达。

下面是完全基于Sheffer竖线的形式系统的一个例子,它有着命题逻辑的表达能力。

A B C D E F G '
( | )

Sheffer竖线符合交换律不符合结合律。所以包括Sheffer竖线的所有形式系统必须也包含某种表示组合的方式。我们将为此采用'('和')'。

字母A,B,C,D,E,F和G是原子。

任何字母加角分符号(Prime, ′ )一次或多次还是一个原子(比如A', B'', C''', D''''都是原子)。

构造规则I:原子是合式公式()。

构造规则II:如果X和Y是wff,则(X|Y)是wff。

闭包规则:不能使用前两个构造规则构造的任何公式都不是wff。

字母U,V,X和Y是表示wff的元变量。

确定一个公式是否是合式公式的一个判定过程如下:反向应用构造规则"解构"这个公式,把这个公式分解为更小的子公式。接着对每个子公式重复这个递归的解构过程。最终这个公式被简约到它的原子,如果某个子公式不能被简约,则这个公式不是wff。

下列是公理模式,即在把所有元变量替代为后变为公理。

(U|(U|(V|(U|U))))

等价代换。设wff X包含子公式U的一个或多个实例。如果U=V,则把X中U的一个或多个实例替换为V不改变X的真值。特别是,如果X=Y是个定理,则在V对U的任何代换之后仍是这种情况。

交换律:(X|Y) =(Y|X)

对偶律:如果形如X和(X|X)的字符串都出现在一个定理中,则如果对换这两个字符串在这个定理中的所有出现,则结果也是个定理。

双重否定律: ((X|X)|(X|X)) = X

模仿律:(U|(X|X)) =(U|(U|X))

THEN-3:(U|(U|(V|(V|X)))) =(V|(V|(U|(U|X))))

MP-1: U,(U|(V|X)) {\displaystyle \vdash } 。使用这种简单表示法的例子有

明显类似于LISP的语法。

表示法可以进一步简化,通过让

对于任何U。这种简化导致了需要改变某些规则:(1)多于两个字母允许在圆括号内。(2)在圆括号内的字母或wff允许交换。(3)在同一组圆括号内的重复字母或wff可以除去。这个结果是Peirce的存在图的相应版本。

相关

  • 红酒葡萄酒是古希腊人日常生活中最常饮用的饮料之一。古希腊时代已经出现了啤酒,但当时人认为这是下等人才喝的。最早关于葡萄酒的记载出现于《荷马史诗》中,当攻陷特洛伊的英雄奥
  • 2013年中国高温2013年中国高温是指2013年7月上旬至8月下旬在中国南方破历史纪录的持续高温,受影响地区包含江淮、江南、重庆等地,其中多个地区连续高温日数和日最高气温突破历史极值并造成贵
  • 纳米布沙漠纳米布沙漠(Namib是纳马语(英语:Khoekhoe language))是纳米比亚西部的一个沙漠,位于非洲最大的国家公园——纳米布—诺克陆夫国家公园内。沙漠面积50,000平方公里,位于纳米比亚长1,
  • 再会啦!车站再会啦!车站是办桌二人组和李炳辉于公元2002年为因高雄铁路地下化而需暂时迁移的帝冠式建筑高雄车站(旧站)所唱的欢送曲。根据工程规划,旧站将于新车站完工的时候再迁回原址,与之
  • 生命周期评估生命周期评估(英文:Life Cycle Assessment,LCA;德文:Ökobilanzierung)系指分析评估一项产品从生产、使用到废弃或回收再利用等不同阶段所造成的环境冲击。这里所谓的环境冲击,包
  • 芒果冰芒果冰台湾的一种冰品,有别于传统的刨冰加入粉圆、芋圆、仙草等,它加入的是新鲜的芒果、炼乳以及芒果冰淇淋覆盖在挫冰或绵绵冰上面,有着清凉解暑的功用。许多地方的传统冰店都
  • 牧歌牧歌是民歌的一种,描绘一个理想化的牧人生活的方式,流行放牧民族。牧歌有时描述的是一种田园风光。在欧州的古典文学中,牧歌呈现了牧羊人的生活形式,可能是在树荫下反复辩难,或倾
  • 办公厅中国人民解放军军徽中央军委装备发展部办公厅,位于北京市,是中央军事委员会装备发展部下属厅,负责该部的综合业务。1998年4月3日,中央军委作出决定,组建中国人民解放军总装备部。
  • 酷音乐亚洲盛典酷音乐亚洲盛典 (英语:Ku Music Asian Music Awards)是是腾讯子公司酷狗音乐和酷我音乐自2015年开始举办的年度音乐奖项。第一届颁奖盛典于2015年4月23日在北京万事达中心举
  • 美国内战的转捩点对于美国内战的转捩点,各家观点极不一致。美国内战中最常被引用为决定性事件者或为葛底斯堡战役,但另有其他同具价值的选择。转捩点观念为,经此事件后,大多数的观察家会认为其后