谢费尔竖线

✍ dations ◷ 2025-04-26 17:17:49 #布尔代数,数理逻辑,逻辑联结词

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

相关

  • 经典逻辑经典逻辑(英语:Classical logic),又称古典逻辑,标识已经被最深入的研究和最广泛的使用的一类形式逻辑,也被称为标准逻辑(standard logic)。经典逻辑被特征化为一些性质,非经典逻辑缺
  • 沃尔顿·李拉海克拉伦斯·沃尔顿·“沃尔特”·李拉海(英语:Clarence Walton "Walt" Lillehei,1918年10月23日-1999年7月5日),美国外科医生,心内直视手术的先驱开创者之一,被称作“心内直视手术之
  • 费拉芦荟费拉芦荟(学名:Aloe vera)是芦荟属下的一种多肉植物。又名翠叶芦荟、洋芦荟、吉拉索芦荟、库拉索芦荟或美国芦荟,芦荟属广泛分布于全世界的热带及亚热带,包含高海拔、海岸、沙漠
  • T-Series超级卡带工业私人有限公司(暂定名称),(英语:Super Cassettes Industries Private Limited),又名T-Series是一家印度的音乐音乐录像带和电影公司,1983年由高尔杉·库玛尔(英语:Gulshan
  • 普鲁士亲王海因里希阿尔贝特·威廉·海因里希(Albert Wilhelm Heinrich;1862年8月14日-1929年4月20日),经常称为海因里希亲王(Prinz Heinrich),德意志帝国皇子及海军元帅,是德国皇帝腓特烈三世的第三个
  • 2001火星奥德赛号2001火星奥德赛号(英语:2001 Mars Odyssey)是美国国家航空航天局的火星探测卫星,由洛克希德·马丁制造卫星,花费约2.97亿美金。主要任务是寻找水与火山活动的迹象,同时也是火星探
  • 韩国电力公社韩国电力公社(韩语:한국전력공사)简称韩国电力、韩电、KEPCO,总部位于全罗南道罗州市,是韩国最大的电力公司,财富世界500强企业中排名271。韩国93%的电力都由韩国电力公社供应。原
  • 警察乐队警察乐队(英语:The Police),1977年在英国伦敦成立的三人摇滚乐队,由主唱史汀、鼓手科普兰和吉他手萨默斯组成,曾六次获格莱美奖。专辑:
  • 洛杉矶火花洛杉矶火花(英语:Los Angeles Sparks)是一支位于美国加州洛杉矶的WNBA(国家女子篮球联盟)篮球队。它成立于1997年,是WNBA原有的8队之一,也是WNBA首季联赛参赛队之一。它和NBA知名篮
  • 价格在经济学及营商的过程中,价格是一项以货币为表现形式,为商品、服务及资产所订立的价值数字。在微观经济学之中,资源在需求和供应者之间重新分配的过程中,价格是重要的变数之一。