结构规则

✍ dations ◷ 2025-04-03 17:48:15 #结构规则

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

相关

蛔虫蛔虫（学名：Ascaris lumbricoides）中文全名为似蚓蛔线虫，是一种常见的肠道寄生虫，也作“蚘虫”，属于线虫动物门，最长可达35 cm。蛔虫会导蛔虫病，属于被轻忽的热带疾病（英语：neglected
酸碱平衡酸度系数（英语：Acid dissociation constant，又名酸解离常数，代号Ka、pKa、pKa值），在化学及生物化学中，是指一个特定的平衡常数，以代表一种酸解离氢离子的能力。该平衡状况是指由一种
创伤弧菌创伤弧菌（学名：Vibrio vulnificus、俗称：海洋弧菌），是一种栖息于海洋中的细菌。如果伤口暴露在含有这种细菌的海水中，创伤弧菌会在伤口上繁殖，可能引发溃烂，甚至导致组织坏死。若食
伞型束梗孢菌纲伞型束梗孢菌目（Agaricostilbales） Spiculostilbales伞型束梗孢菌纲（学名：Agaricostilbomycetes）是担子菌门柄锈菌亚门下的一个纲。该纲共包含2个目、3个科、10个属、47个种。.
运动损伤运动损伤又称运动创伤或运动伤害（英语：Sports injuries），指在体育运动或体能锻炼过程中发生的创伤。例如在美国，据估计有三千万青少年参与过某种形式的有组织运动，其中每年又有三
史前欧洲史前欧洲指的是欧洲的史前时期，通常指早期史前石器时代，但原则上也延伸到地质时期，从这里可以看到欧洲的地质历史。大约180万年之前，也就是早期旧石器时代，到8000-9000年之前，也
被忽视热带病被忽略的热带疾病 (Neglected Tropical Diseases，简称NTD) 是一类在发展中地区（如漠南非洲、东南亚及拉丁美洲）的低收入人群中，常见的由许多种不同疾病组成的热带感染疾病。这些
双相情感障碍躁郁症（英语：bipolar disorder，亦称双相情感障碍、情绪两极症，早期称为躁狂抑郁疾病、manic depression），是一种精神病经历情绪的亢奋期和抑郁期。情绪亢奋期（躁期）可分为“狂躁”或
窦窦（英文：Sinus）指的是器官或组织的囊或腔室。窦可以是天生的也可以是后天由于组织受损而偶然生成的。例如鼻窦就是窦的一种。鼻窦位于人的头颅，在头骨之间、鼻腔周围的颅骨与脸
主题标目权威控制或规范控制，是图书馆信息学中一个整理图书馆目录（英语：Library catalog）和目录信息的方式，使同一主题使用相同、唯一的标题。这些标题贯彻整个目录库并且能与其他交叉引