首页 >
span class=Unicode/span
✍ dations ◷ 2025-06-27 12:10:39 #<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的存在图的相应版本。
相关
- 血栓血栓是在血管中形成的血块,于循环系统中会妨碍或阻断血流。当血管受损,血液中的血小板和纤维蛋白会聚集而形成血块修补之,以避免失血或因血流冲击造成血管进一步伤害。若血块脱
- Centers for Disease Control and Prevention美国疾病控制与预防中心(英语:Centers for Disease Control and Prevention,缩写为CDC)是美国卫生与公众服务部所属的一个机构,总部设在乔治亚州亚特兰大。作为美国联邦政府行政
- 第十一版国际疾病分类人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学国际疾病分类第十一版(简称ICD-11),或称
- 壶菌门壶菌(英语:Chytridiomycota)是一类具有动孢子(英语:zoospore)的真菌。其名称来源于希腊文χυτρίδιον(chytridion),意思是“小壶”,因其产生动孢子的结构动孢子囊而得名。壶菌
- IUPAC国际纯化学和应用化学联合会(英语:International Union of Pure and Applied Chemistry,简称IUPAC,/ˈaɪjuːpæk, ˈjuː-/),又译为国际纯粹与应用化学联合会、国际纯化学与应用
- 丛林肉丛林肉(英语:Bushmeat),是指各种从栖身于非洲和亚洲地区的野生动物身上所获取的食用肉,即中国人所指的野味。现今,丛林肉更多地指从栖身于非洲大陆中、西部或更广阔地区的动物身上
- 舒马曲坦舒马曲坦 (英语:Sumatriptan,或译为舒马普坦)是一种曲坦类药物,用于治疗偏头痛。在结构上,舒马曲坦和蟾毒色胺、5-甲氧基二甲基色胺一样是一种生物碱——二甲基色胺(DMT)的衍生物,其
- 认知发展论认知发展论(Cognitive-developmental theory 或 Theory of Cognitive Development)是著名发展心理学家让·皮亚杰所提出,被公认为20世纪发展心理学上最权威的理论。所谓“认知
- 婴儿期反射原始反射(英语:Primitive reflexes),是指一类婴儿(而非神经完整的成年人)能够表现出来的、由中枢神经系统产生的正常生理反射行为,其反应类型能够响应特定的刺激。这些反射会随着儿
- 甘氨酸甘氨酸(英语:Glycine,简写为Gly或G),即胺基乙酸,是20个蛋白氨基酸中分子量最小的一个。它是白色或浅黄色晶体,易溶于水,有甜味。甘氨酸的侧键是一个氢原子。甘氨酸的α碳连接两个氢