结构规则

✍ dations ◷ 2024-11-05 14:53:58 #结构规则

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

相关

神经病学人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学神经内科（neurology）是医学的一个分支，专
气单胞菌目气单胞菌科 Aeromonadaceae 琥珀酸弧菌科 Succinivibrionaceae气单胞菌目（Aeromonadales）为变形菌门的一目，有2科10属。该目内的物种均为厌氧、杆状。部分物种可透过单个鞭毛移
螺内酯螺内酯（英语：spironolactone），商品名有安体舒通、Aldactone等，是一种常用于治疗心衰、肝硬化、胃病等引发的积液的利尿药。此药也用于治疗高血压、补充后仍无改善的低血钾，以及女
LDsub50/sub半数致死量（英语：Median Lethal Dose），简称LD50（即Lethal Dose, 50%），在毒理学中是描述有毒物质或辐射的毒性的常用指标。按照医学主题词表（MeSH）的定义，LD50是指“能杀死一半试验总体
Y4d1 5s22, 8, 18, 9, 2蒸气压第一：600 kJ·mol−1 第二：1180 kJ·mol−1 第三：1980 kJ·mol主条目：钇的同位素钇（英语：Yttrium）是化学元素，符号为Y，原子序为39，是银白色过渡金属，化
圣罗伦斯河圣劳伦斯河（英语：Saint Lawrence River，法语：Fleuve Saint-Laurent）是北美洲的河流。位于加拿大和美国境内。起源于安大略湖，流经蒙特利尔（加拿大境内）、魁北克市，在加斯佩地区注入大
卤米松卤米松是一种皮质类固醇，可用于治疗银屑病以及非感染性急性湿疹皮炎类皮肤病。
萨利纳岛萨利纳岛（Salina）是意大利南部西西里岛北侧伊奥利亚群岛中的一个岛屿，也是该群岛中的第二大岛。目前岛上大约有4,000居民。坐标：38°33′55″N 14°50′00″E / 38.56528°N 14.
囊虫病囊虫病（Cysticercosis）是由猪肉绦虫（Taenia solium）的幼体（囊尾幼虫）引起的组织感染。病者可能会许多年都没有症状或只有很少的症状。在部分的病例，尤其亚洲的病例会在皮肤下1到2
极度有害物质名单《美国应急规划与社区知情权法》中第302节规定了极度危险物质列表（42 U.S.C. 11002）。这个列表可以在40 C.F.R 355的附录中找到。截止至2006年的更新可以在2006年8月16日的《