结构规则

✍ dations ◷ 2025-09-17 20:32:58 #结构规则

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

相关

红斑性肢痛症红斑性肢痛病一种罕见的血管病。表现为手足血管阵发性地扩张收缩，伴有灼痛、皮肤温度升高并发红。可能是遗传性疾病，也可能是皮肤对热和张力过敏所致。
视网膜视网膜又称视衣，是脊椎动物和一些头足纲动物眼球后部的一层非常薄的细胞层。它是眼睛里面将光转化为神经信号的部分。视网膜含有可以感受光的视杆细胞和视锥细胞。这些细胞将
糙皮病糙皮病又称癞皮病，是一种维生素缺乏性疾病，主要诱因是缺乏维生素B3（烟酸）和蛋白质，特别是含必需氨基酸色氨酸的蛋白质。色氨酸能被转化为烟酸，大约60mg色氨酸能被转化成1mg烟酸，过
青霉烷青霉烷(Penam)是β-内酰胺类抗生素的下属分类，其主炼为一β-内酰胺环接上饱和的五元环，而该五元环内有一个硫。青霉素就是该分类的一员，该分类的称呼也是由此而来。羧基青霉素
地区法院议长：南希·裴洛西（民主党）多数党领袖（英语：Party leaders of the United States House of Representatives）：斯坦利·霍耶（民主党）少数党领袖（英语：Party leaders of the United Sta
新墨西哥州新墨西哥州（纳瓦霍语：Yootó Hahoodzo；英语：New Mexico；西班牙语：Nuevo México），简称新墨州，是美国西南方的一州，它曾是墨西哥的一省。该州有许多西班牙裔的居民，亦有不少的美国原住民
蔬菜蔬菜，是指可以做菜、烹饪成为食品的，除了谷物以外的其他植物（多属于草本）生活中所指的的蔬菜，常和“水果”分开讨论。不过也常和水果合称为“蔬果”。另外，和“野菜”不同的地方，在
生活质量指数经济学人信息社的最佳出生地指数（曾称生活质量指数）是一个使用独特方法来计算的指数，目的是得出各国能提供健康，安全，富裕生活的程度，得分因素包括主观的生活满意度调查和客观的生
CXCL71F9P, 1NAP, 1TVX· chemokine activity· extracellular space· blood coagulation · glucose transport · platelet activation · neutrophil chemotaxis · defe
肯迪肯迪（796年－873年），全名艾布·优素福·叶尔孤白·本·伊斯哈格·本·萨巴赫·肯迪（阿拉伯语：أبو يوسف يعقوب إبن إسحاق الكندي‎，拉丁化：Abū Yūsuf Ya