谢费尔竖线

✍ dations ◷ 2025-07-09 16:06:29 #布尔代数,数理逻辑,逻辑联结词

谢费尔竖线(英语: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的存在图的相应版本。

相关

  • 喷气推进实验室喷气推进实验室(英语:Jet Propulsion Laboratory,常缩写为JPL)位于美国加利福尼亚州帕萨迪那,是美国国家航空航天局的一个下属机构,行政上由加州理工学院管理,始建于1936年。喷气推
  • 电脑辅助制造计算机辅助制造(英文:Computer-aided manufacturing,缩写:CAM)是工程师大量使用产品生命周期管理计算机软件的产品组件制造过程。计算机辅助设计中生成的组件三维模型用于生成驱
  • 奥胡斯奥胡斯(丹麦语:Aarhus;1948年至2010年称为 Århus)位于日德兰半岛沿岸,是丹麦第二大城市和主要的港口。奥胡斯行政区人口为33.57万(2017),其中包括城区居民26.90万,是仅次于哥本哈根
  • ɸʼ双唇挤喉擦音(Bilabial ejective fricative)是一种辅音,出现于一些口语中。双唇挤喉擦音的国际音标(IPA)写作⟨ɸʼ⟩,其等价的X-SAMPA音标则记作p\_>双唇挤喉擦音的特征包括:当符
  • 终端激波终端激波(termination shock)是太阳风由于接触到星际介质而开始减速的区域,是受太阳影响的空间中最外围的边界。在终端激波处,太阳风内的粒子与星际介质发生相互作用,速度由每小
  • 十二月廿五腊月廿五,农历腊月第二十五天。大清宣统皇帝 爱新觉罗·溥仪于1912年2月12日(宣统三年十二月廿五)宣告退位。 溥仪是大清帝国最后一位皇帝,同时也是中国自秦始皇创立皇帝制度以
  • 潮阳话潮阳话是汉藏语系汉语族闽语支闽南语的一种方言,通行于广东省汕头市潮阳区一带。属闽南语潮汕片,为广义的潮州话之一。潮阳话是潮阳人的两大母语之一。除了南部的大南山、北部
  • 亚洲电影节亚太影展(英语:Asia Pacific Film Festival)是亚太电影制片人协会的年度活动,机构常设秘书处所在地是台湾。1968年和1981年曾因故停办影展。亚太影展因为资金问题,于2007、2008及
  • 欲望城市《欲望都市》(英语:Sex and the City)是美国HBO有线电视网播放的喜剧类剧集,于1998年6月6日首播,2004年2月22日结束,共六季94集。此影集获得许多艾美奖和金球奖的奖项。此影集描述
  • 意土战争意土战争,土耳其称为的黎波里战争(Trablusgarp Savaşı),是一场于1911年意大利王国与奥斯曼帝国的战争。战争爆发于1911年9月,至翌年10月结束。统一后的意大利王国渐渐涌现殖民