结构规则

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

相关

  • 3d10 4s22, 8, 18, 2蒸气压第一:906.4 kJ·mol−1 第二:1733.3 kJ·mol−1 第三:3833 kJ·mol−1 (主条目:锌的同位素锌(英语:zinc)是化学元素,化学符号是Zn,原子序数是30,相对原子
  • 先天性障碍先天性障碍,又称先天性疾病、先天畸形、先天缺陷,是指发育中的胎儿因为遗传性疾病或发育环境等因素导致某个部位特征结构畸形,导致在婴儿出生时即有的病症,包括了身体(英语:Physic
  • LL00-L08 皮肤和皮下组织的感染L10-L14 大疱性疾患L20-L30 皮炎和湿疹L40-L45 丘疹鳞屑性疾患L50-L54 荨麻疹和红斑L55-L59 与辐射有关的皮肤和皮下组织疾患L60-L75 皮肤附件
  • 膨压膨压(英语:turgor pressure)是细胞内推动细胞膜对细胞壁的力。它也被称为静水压(hydrostatic pressure、静液压、流体静力压),和更复杂地定义为流体测量的压力,在平衡时在其自身内
  • 西印度群岛西印度群岛(英文:West Indies;法文:Indes occidentales)泛指南北美洲之间海域中的一个一连串的岛群。北起美国佛罗里达半岛南端;西起墨西哥尤卡坦半岛东端。总岛屿数达7000个左右
  • 编辑编辑,是一种工作及职业,指为各种媒体(以出版物为主)在出版前进行的后期制作,包括文字、图像、录音、录像、多媒体生成处理,和制作审核、校对的一项工序。此工作从业人员的中文职称
  • 肩难产肩难产(英语:Shoulder dystocia),系指产妇分娩时,婴儿头部已伸出来,但肩前却卡在产妇的耻骨弓之情形,婴儿的头部缩回阴道,就像乌龟一样,称之为“乌龟征”(turtle sign)。肩难产的并发症
  • 海军海军或水军是一国军队当中的主要构成部分之一,为在海洋、河流、湖泊等水体上作战的军种,一般来说以锚作为标志。海军使用的武器主要为各式水上的军舰、以及在海底航行的潜艇;操
  • 蒙古语族蒙古语族或蒙古语系是阿尔泰语系的语族之一。这是主张阿尔泰语系具有发生学性质的一派学者的意见。另一派学者认为蒙古语系是一个独立的语系,在类型上与突厥语族、满-通古斯
  • 意义所指(英语:signifié),在语言学上,指发出讯息者想要表示或传达给发现者或接收者的理念;亦或发现者或接收者由该语境所推断的结果。在大多数语言中,有些字往往会有多种不同涵义;因此