结构规则

✍ dations ◷ 2025-08-28 14:55:42 #结构规则

在证明论中，结构规则是不提及任何逻辑连结词的推理规则，它直接操作于判断或相继式。结构规则通常模仿逻辑的元理论性质。拒绝一个或多个结构规则的逻辑被归类为亚结构逻辑。没有任何上述结构规则的逻辑将把相继式解释为纯粹的序列；带有交换规则它们就是多重集；带有紧缩和交换规则二者它们就是集合。最著名的结构规则叫做切。证明论理论家花了相当的努力来证实切规则在各种逻辑中是多余的。更严格的说，证实了切只是(某种意义上)简化证明的工具，不能增加可以证明的定理。成功消除了切规则叫做切消定理，直接有关于规范化计算(参见lambda 演算)的哲学；它经常对给定逻辑的判定的复杂性给出好的指示。

相关

病原菌病原细菌（英语：Pathogenic bacteria）是指能导致传染病的细菌病原体。本条目主要针对会造成人类传染病的病原细菌。大部分的细菌是无害，甚至是有益的，不过有些细菌是病原体。像结
毒性毒性（英语：Toxicity）是毒物的化学分子或化合物到达生物敏感部位引起机体损害的能力。毒物的联合作用有以下四种：协同作用、相加作用、独立作用和拮抗作用。
斯蒂尔顿芝士斯蒂尔顿 (英文: Stilton cheese) 是原产于英国的乳酪。最著名的种类是以青霉菌发酵而成的蓝干酪，虽然也有不使用青霉菌的白干酪。目前斯蒂尔顿乳酪是受欧盟产品地理标志保护
位图位图（Bitmap），又称栅格图（英语：Raster graphics）或点阵图，是使用像素阵列(Pixel-array/Dot-matrix点阵)来表示的图像。位图（Bitmap）也可指：位图的像素都分配有特定的位置和颜色值。每
萨利纳岛萨利纳岛（Salina）是意大利南部西西里岛北侧伊奥利亚群岛中的一个岛屿，也是该群岛中的第二大岛。目前岛上大约有4,000居民。坐标：38°33′55″N 14°50′00″E / 38.56528°N 14.
国王君主是指从一个家庭或家族中挑选成员来任职的国家元首或政权领袖。其职位之传承以直系血亲世袭为主，也可采选举或禅让方式产生；其中实行世袭制度者若无直系血亲之继承人，一般多
大便失禁大便失禁（英语：Fecal incontinence），指无法控制排便，造成直肠中的粪便、未完全形成的粪便和液体不受控制地排出。大便失禁有时伴有腹泻或便秘。可能的原因有几个，如妊娠、肛门和直
日本国会政治主题国会（日语：国会／こっかい kokkai ?）为日本的最高权力机构与立法机构，现今依《日本国宪法》而设置，采两院制，由众议院与参议院构成。今众议院议员设465席、参议院议员设24
巴布亚诸语言巴布亚诸语言（英语：Papuan languages）是指在巴布亚新几内亚及邻近地区流通，但不属于南岛语系的多种语言的集合。由于这个语系内有多达6000多种不同的语言，而语言间的差异又很大，有
策梅洛恩斯特·策梅洛（德语：Ernst Friedrich Ferdinand Zermelo，1871年7月27日－1953年5月21日），生于柏林，是德国数学家，其工作主要为数学基础，因而对哲学有重要影响。1889年，他毕业于柏林Lui