结构规则

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

相关

  • 磺胺醋酰磺胺醋酰(Sulfacetamide),是一种磺胺类人工合成抗菌药,主要通过局部用药治疗局部感染,也可以口服用于治疗泌尿道感染。磺胺醋酰室温下呈白色,水溶性强。磺胺醋酰的药物活性在磺胺
  • 脑神经脑神经(Cranial nerves)属于周围神经系统,区别于由脊髓发出的脊神经。它们是直接由脑发出的。在人类中,传统上认为一共有12对脑神经,其中有10对分布于头面部。除第1及第2对外,其余
  • 烟灰缸烟灰缸,是一个盛载烟灰、烟头的器皿,形状似一个开口碗、有盖的盒、邮箱,或者垃圾桶等。烟灰缸用料为耐燃物料,包括石、瓦、金属等。礼品公司不少利用烟灰缸表面作广告宣传。在禁
  • 核形虫目核形虫是一类原生生物,具有丝状伪足,生活在土壤和淡水里。它们与同样具有丝状伪足的vampyrellid形态上非常相似,但可以通过线粒体的盘状嵴来鉴别。核形虫与动物、真菌以及其它
  • 克罗地亚克罗地亚共和国(克罗地亚语:Republika Hrvatska),通称克罗地亚(克罗地亚语:Hrvatska),是一个位于中欧、地中海和巴尔干半岛交会处的单一议会共和制国家,首都与最大城市为萨格勒布。克
  • 地表径流地表径流是指雨水或是冰雪融化后的水流经地表产生的水流。表面径流可能是因为土壤已经吸饱水,无法再吸收水分,或者是一些不透水的表面(例如屋顶或是路面(英语:Road surface))使水流
  • 第二代抗组织胺药抗组胺药(法语:Antihistaminique,英语:Antihistamine,德语:Antihistaminikum),通常指H1-受体拮抗剂,是一种,透过对体内H1-受体(组胺受体之一种)的作用,减少组胺对这些受体产生效应,从而减
  • 美国食品和药物管理局美国食品药品监督管理局(英语:U.S. Food and Drug Administration,缩写为FDA)为美国卫生与公众服务部直辖的联邦政府机构,其主要职能为负责对美国国内生产及进口的食品、膳食补充
  • 脸颊脸颊(拉丁语:buccae)是指眼睛下部,鼻子周围到左右耳的表面部分。具体是指人类和哺乳动物面部皮肤直到下巴的部分,并且在眼睛和颧骨的下部内形成了口腔侧壁。在脊椎动物亚门中,脸颊
  • 及物动词在语法学上,及物动词(又叫他动词、外动词)是需要支配一个直接主词和一个或一个以上宾语的动词。此与不搭配宾语的不及物动词相对。一个搭配间接宾语和直接宾语的动词又称“双及