span class=Unicode/span

✍ dations ◷ 2025-04-03 12:11:29 #<span class="Unicode">|</span>
谢费尔竖线(英语: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:原子是合式公式(wff)。构造规则II:如果X和Y是wff,则(X|Y)是wff。闭包规则:不能使用前两个构造规则构造的任何公式都不是wff。字母U,V,X和Y是表示wff的元变量。确定一个公式是否是合式公式的一个判定过程如下:反向应用构造规则"解构"这个公式,把这个公式分解为更小的子公式。接着对每个子公式重复这个递归的解构过程。最终这个公式被简约到它的原子,如果某个子公式不能被简约,则这个公式不是wff。下列wff是公理模式,即在把所有元变量替代为wff后变为公理。THEN-1:(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 } VMP-2: U,(U|(V|X)) ⊢ {displaystyle vdash } X注意。公式(U|(V|X))有释义U→V∧X。肯定前件是MP-1和MP-2在V和X同一的时候的特殊情况。因为这个逻辑的唯一连结词是"|",符号"|"可以一起都丢弃,只留下圆括号用来组合字母。一对圆括号必须总是包含一对wff。使用这种简单表示法的例子有明显类似于LISP的语法。表示法可以进一步简化,通过让对于任何U。这种简化导致了需要改变某些规则:(1)多于两个字母允许在圆括号内。(2)在圆括号内的字母或wff允许交换。(3)在同一组圆括号内的重复字母或wff可以除去。这个结果是Peirce的存在图的相应版本。

相关

  • 白内障白内障(拉丁语:cataract)是因为眼睛水晶体混浊而造成视力缺损的疾病,可能侵犯单眼或双眼。症状包含彩度降低、视线模糊、光源产生光晕、无法适应亮光,以及黑暗环境下视觉障碍。白
  • 志贺氏菌志贺氏菌属(学名:Shigella)通称志贺菌或者痢疾杆菌,为肠杆菌目肠杆菌科的一属,是一类革兰氏阴性、不活动、不产生孢子的杆状细菌,可引起人和其他哺乳类动物的细菌性痢疾。1897年,由
  • 头孢菌素类抗生素头孢菌素(法语:Cephalosporine、英语:Cephalosporin),又名先锋霉素,是一系列属于β内酰胺类的抗生素。与头霉素一并细分为头孢烯。头孢菌素化合物最初是于1948年,由意大利科学家Giu
  • 低聚异麦芽糖低聚异麦芽糖 (IMO)是具有拥有α-(1-6)-糖苷键的异麦芽糖的寡糖形式,不能被人消化。包括异麦芽糖、异麦芽三糖、异麦芽四糖、异麦芽五糖和潘糖、黑曲霉糖(英语:nigerose)、曲二
  • 鞘内注射鞘内(intrathecal、<intra- + theca、IT、"within a sheath">、脊髓内、鞘内注射、脊髓腔内注射)指某些东西"发生在"或"引入到"鞘内部(一般而言指脑或脊髓蛛网膜(arachnoid
  • 肠道外营养肠道外营养(parenteral nutrition)是将营养送入静脉中,而非一般地食入后消化。注入的营养品是由专业的制药公司制造,其营养品富有高度养分,包含了葡萄糖、盐、氨基酸还有脂肪等等
  • 肝素肝素(Heparin),也称为普通肝素,是一种天然糖胺聚糖抗凝血剂,可用来治疗及预防深静脉血栓、肺栓塞、动脉栓塞,也可用于治疗心肌梗塞以及不稳定型心绞痛。通常以静脉注射方式给药,也
  • 格林定律格林定律是首个被发现的系统性音变,使得历史音位学诞生成为一门独立学科。1806年,施勒格尔首先注意到拉丁语的p对应日耳曼语的f。1818年,Rasmus Rask把这个对应推广到其他印欧
  • 前置词前置词(preposition)在文法里是一种介词或助词,其作用为建立受词(多半是一个名词词组)与句子中其他部分的关系,通常用来表示位置或时间。
  • 书写书写是人类有意识地使用文字来记录资讯、表达意向。纪录资讯的工具和方法数之不尽,一般会用笔在纸上书写,但过去也有人在石版、竹简、龟壳、墙壁等材质上写作。随着科技发展,使