谢费尔竖线

✍ dations ◷ 2025-04-25 01:29:43 #布尔代数,数理逻辑,逻辑联结词

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

相关

  • 转化生长因子-β乙型转化生长因子(Transforming Growth Factor Beta, TGF-β)是存在于每个人体内的免疫调节因子,帮助改善过敏体质、调节免疫系统正常发展。TGF-β有三种异构物,其中‘TGF-β2’
  • 男科学男科学(英语:andrology,来自古希腊语:ἀνήρ、anēr,属格ἀνδρός、andros“男人”和-λογία:“学”)是处理男性健康的医学专业人士,特别是与男性特有的男性生殖系统和泌
  • 甲基戊烯二酰辅酶A水合酶甲基戊烯二酰辅酶A水合酶(英语:Methylglutaconyl-CoA hydratase)是一种将水加成到3-甲基戊烯二酸(英语:3-Methylglutaconic acid)的双键上的酶,使其转化为羟甲基戊二酸单酰辅酶A。E
  • 私酒私酒是指非法生产(通常在自家酿造)的高酒精度的蒸馏酒。在美国主要是由玉米糊作为主要生产原料。为避免被发现所以蒸馏通常在夜间进行,所以美国也用“月光”(英语:Moonshine)一词
  • 脱羧脱羧反应是有机化合物中的羧基(-COOH)转变为氢(-H),同时放出二氧化碳(CO2)的反应。常见氨基酸脱羧生成胺的生化合成反应:柠檬酸循环中的脱羧反应:催化脱羧反应的酶称为脱羧酶,EC编号4.
  • 白色人种白人(英语:White people),或称白色人种,指狭义的高加索人种(一般亦作西洋人、西方人或西人、洋人),是以人类肤色命名的人种名称,一般指拥有淡色皮肤的种族或群体;或是一类拥有淡色皮肤
  • 厨子瓮橱子(冲绳语:ジーシガーミ)是琉球群岛丧葬时使用的一种金斗瓮(粤文:金塔)(拾骨葬盛载遗骨的容器),分为橱子瓮、板橱子、石橱子等多种形式。日语及琉球语中“橱子”的意思是椟。同东南
  • 五溴化磷五溴化磷是一种活泼的黄色固体,化学式为PBr5,固态时它是离子晶体PBr4+Br−,但在气态时完全分解成PBr3和Br2。这时将它快速冷却到15K可以产生离子化合物+-。在有机化学中,可以用
  • 弹性模量弹性模量是指当有力施加于物体或物质时,其弹性变形(非永久变形)趋势的数学描述。物体的弹性模量定义为弹性变形区的应力-应变曲线的斜率:其中λ是弹性模量,stress(应力)是引起受力区
  • 咳血咳血又称为咯血,是一种症状,指肺或气管中的出血,经由咳嗽而吐出。多半是因为所吐出的痰中带有血丝而被发现。最常见的原因就是支气管炎、肺炎、肺肿瘤、肺结核等疾病。或是使用