结构规则

✍ dations ◷ 2024-07-03 01:20:45 #结构规则

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

相关

生命征象生命体征（英语：Vital signs），或称生命迹象，医学术语，是一组4到6个最重要的人体基本生理功能(维持生命)的表征。这些测量结果被用于评估个体的身体健康，提供潜在疾病的线索，并显示出
即发性过敏反应即发性过敏反应（英语：Immediate Hypersensitivity），又称Ⅰ型超敏反应（英语：Type I hypersensitivity），是IgE介导的免疫反应，乃最常见的超敏反应类型。主要可分为两种：过敏原第一次接触
反转录酶结构 / ECOD（RNA-dependent DNA polymerase，RDDP）逆转录酶是一类存在于部分RNA病毒中具有逆转录活性、能以单链RNA为模板合成DNA的酶。由逆转录酶催化逆转录合成的DNA称为互补D
X光片X射线（英语：X-ray），又被称为爱克斯射线、艾克斯射线、伦琴射线或X光，是一种波长范围在0.01纳米到10纳米之间（对应频率范围30 PHz到30EHz）的电磁辐射形式。X射线最初用于医学成像诊
桥本氏桥本氏甲状腺炎也称慢性淋巴细胞性甲状腺炎（chronic lymphocytic thyroiditis）、桥本氏症（Hashimoto's disease）是一种由甲状腺被一系列细胞或抗体介导免疫过程攻击所导致的自体
地球大气层地球大气层，又称大气圈，因重力关系而围绕着地球的一层混合气体，是地球最外部的气体圈层，包围着海洋和陆地，大气圈没有确切的上界，在离地表2000-16000公里高空仍有稀薄的气体和基本
国防情报局国防情报局（英语：Defense Intelligence Agency，缩写：DIA）为美国国防部辖下主要对外军事情报组织。是美国情报体系的机构之一。
细胞色素细胞色素（英文：cytochrome）一般是指一类膜结合的血红素蛋白，以血基质为辅基，参与电子传递。它可以以单体的形式（如细胞色素c）或作为复合物酶中的一个亚基来发挥氧化还原作用。细胞
CiNiiCiNii（/ˈsaɪniː/ ）是一个面向日本学术图书资料的书目数据库（英语：Bibliographic database）服务，尤其是日本出版的日语和英语著作。该数据库成立于2005年4月，由日本国立信息学研
斜体斜体是在正常字体样式基础上，通过倾斜字体实现的一种字体样式；可指意大利体或伪斜体。西文中有两种形状倾斜的字体：oblique type和 Italic type，倾斜后字形也发生的变化的是“意