结构规则

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

相关

  • 睡眠相位后移障碍睡眠相位后移综合征(Delayed sleep-phase syndrome(Disorder),简称DSPS或DSPD)是一种慢性睡眠紊乱,患者一般都会晚睡晚起,生活节奏受严重影响。在临床诊断中,部分患者要到等至天亮
  • 立百病毒亨尼巴病毒属(学名:Henipavirus),包括尼帕病毒(又译尼巴病毒、立百病毒)(Nipah virus)和亨德拉病毒(Hendra Virus,HeV)。1999年于东南亚被发现的会引发立百脑炎的新型病毒,也会造成人类
  • 热中子中子温度,亦称中子能量,指的是自由中子的动能,单位通常是电子伏特。由于中子经过不同温度的减速剂会有不同的速度分布,一般可以使用温度来衡量中子的动能。中子的能量分布基本上
  • 东洋界东洋界,又名极东区:60或印度马来亚区(Indomalayan realm),是涵盖南亚与东南亚的生物地理分区。 东洋界以前大都由森林覆盖,主要是热带和亚热带湿润阔叶林。东洋界的热带雨林的树
  • 各省区预期寿命本表列出中华人民共和国各省级行政区(包括省、直辖市、自治区、特别行政区)在2013~2016年的预期寿命。
  • 天鹅天鹅属(学名:Cygnus)是雁形目鸭科的一个属。这一属的鸟类是游禽中体形最大的种类,又名鹄或白鹄,被俗称为“天鹅”。天鹅属在除非洲以外的各大洲都有野生种或亚种分布。白色的四个
  • 河豚毒素河鲀毒素(英文:Tetrodotoxin,缩写:TTX)是一种强力的神经毒素,目前并没有有效的解毒剂,它会和神经细胞的细胞膜上的快速钠离子通道结合,令神经中的动作电位受阻截。它的名字来自鲀形
  • 后置词后置词(postposition)在文法里是一种介词或助词,其作用为建立受词(多半是一个名词词组)与句子中其他部分的关系,通常用来表示位置、时间、作用对象或行为主体等。与前置词相反,后
  • 元音长度元音长度(英语:vowel length)是元音发音持续时间的长度。持续时间较普通元音发音时长的称为长元音;持续时间较短的元音称为短元音。国际音标对于长元音的标记方式,是在元音之后加
  • 旧字体陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书(大篆 ‧  小篆)隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧  书法 ‧ 飞白书笔画 ‧