谢费尔竖线

✍ dations ◷ 2025-06-28 22:18:37 #布尔代数,数理逻辑,逻辑联结词

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

相关

  • 遗传工程基因工程(英语:genetic engineering,又称为遗传工程、转基因、基因修饰)是一种使用生物技术直接操纵有机体基因组、用于改变细胞的遗传物质的技术。包括了同一物种和跨物种的基
  • 贾比尔阿布·穆萨·贾比尔·伊本·哈扬(阿拉伯语:جابر بن حيان‎,721年-815年),波斯炼金术士、药剂师、哲学家、天文学家、占星家、物理学家、地理学家、医生和工程师,被称为“
  • 法兰西第一帝国法兰西帝国(法语:Empire français),史称法兰西第一帝国(法语:Premier Empire),是法国在1804年5月18日建立的帝国政权。时间分为两段:第一阶段从《共和十二年宪法》(《1804年宪法》)宣
  • 米兰科维奇循环米兰科维奇循环(Milankovitch cycles)是塞尔维亚的地球物理学家兼天文学家米卢廷·米兰科维奇的气候变化理论。米兰科维奇计算了过去数百万年地球的离心率、转轴倾角和轨道的
  • 詹姆斯·帕金森詹姆斯·帕金森(英语:James Parkinson,1755年4月11日-1824年12月21日)是一位英国医生,地质学家,古生物学家,社会活动家。1755年出生于伦敦肖迪奇,1784年被伦敦市法团任命为外科医师。
  • 753年王叔文:中国唐代中期政治人物。
  • 胁空鸟龙胁空鸟龙属(学名:Rahonavis)又名拉鸿鸟,是种和鸟类非常相近的兽脚亚目恐龙,生存于晚白垩纪马斯特里赫特阶的马达加斯加西北部,约7000万年前到6500万年前。胁空鸟龙的正模标本是一
  • 景美福兴宫景美福兴宫,又名十五分福兴宫,位于台湾台北市文山区福兴路口,为主祀福德正神、配祀三太子之庙宇,始建于1859年,是十五分地区最早的宫庙,也是景美地区的土地公信仰中心。景美福兴宫
  • 杨承志杨承志(1953年-),女,汉族,江苏如皋人,中华人民共和国政治人物,中国文学艺术界联合会原党组成员、副主席、书记处书记。
  • C. briggsae双桅隐杆线虫(学名:Caenorhabditis briggsae)是一种小型线虫,与常用的模式生物秀丽隐杆线虫同属于隐杆线虫属。两种线虫之间的差别很小,主要区别有雄虫尾部的形态不同,雌雄同体的