结构规则

✍ dations ◷ 2025-08-08 05:16:15 #结构规则

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

相关

道尔顿原子质量单位（Atomic mass unit，amu），现称统一原子质量单位（Unified atomic mass unit，u）或道尔顿（dalton，Da），是用来衡量原子质量的单位，定义为静止未键结且处于基态碳12原子质量的1/12
根瘤菌See text.根瘤菌主要指与豆类作物根部共生形成根瘤并能固氮的细菌，一般指根瘤菌属和慢生根瘤菌属；两属都属于根瘤菌目。根瘤菌侵入寄主根内，刺激根部皮层和中柱鞘的某些细胞，引
幽闭恐惧症幽闭恐惧症是对密闭空间的一种焦虑症，患者在某些情况下，例如电梯、车厢、隧道或者机舱内，可能发生恐慌症状态，或者害怕会发生恐慌症状。反过来说，容易恐慌症发作的人，通常也会产生
旁泌性旁分泌（英语：paracrine）是指细胞分泌物不进入血液循环，而是通过扩散作用作用于邻近靶细胞，进行细胞间信号传递的分泌方式，这种信号传递方式可以控制靶细胞的生长和功能。例如，肿瘤
儿童照顾儿童照顾（Child care）也称为儿童看护、育儿或是托儿，是指照顾一名或多名儿童，儿童年龄一般在是六个月到十三岁之间。一般是指由日托中心、保姆或是其他人照顾儿童的行为或是技能
奈瑟菌属N. animalis N. bacilliformis N. canis N. cinerea N. dentiae N. elongata N. europea N. flava N. flavescens 淋病奈瑟菌(N. gonorrhoeae) N. iguanae N. lactamica N.
锦州市锦州市是中华人民共和国辽宁省下辖的地级市，是辽宁沿海的第二大城市。锦州是连接东北地区和华北地区的交通要冲，也是著名的松锦之战、辽沈战役主战场之一。锦州主城区位于小凌
卟啉病卟啉症（英语：Porphyria，又称噗瑳症、紫质症或吡咯卟啉症），是因卟啉堆积而引起的一系列疾病，会对皮肤及神经系统造成负面影响。影响神经系统的这一类卟啉症，症状发作十分迅速，持续时
音素在语言学中，语音（英语：phone）可以被认为是用来表示语言的声音符号（即语言的物质外壳），也可以被定义为是人的发音器官所发出来的具有一定意义的声音。在语音学与音韵学好中，语音一词
NASA美国国家航空航天局（英语： National Aeronautics and Space Administration ，缩写为NASA，/ˈnæsə/）是美国联邦政府的一个独立机构，负责制定、实施美国的民用太空计划、与开展航