结构规则

✍ dations ◷ 2025-11-18 08:30:44 #结构规则

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

相关

胰脏胰脏也称胰腺（英语：Pancreas），旧称膵、脺，脊椎动物具有外、内分泌功能的腺体；外分泌由腺泡、连通肠腔的导管组成，腺泡分泌多种消化酶，导管上皮细胞分泌碳酸氢盐、钠、钾、氯等离子和
头孢烯头孢烯（英语：Cephem）是一类不饱和的β-内酰胺抗生素的统称，其核心结构包括有一个β-内酰胺四元环和含硫的不饱和六元环，结构上分为头孢菌素和头霉素两类，头霉素比头孢菌素多一个7
同物异名异名（英语：synonyms）或称同物异名，在生物分类学上，是表示用来指称同一分类单元（taxon）的不同命名，此用词在动物学与植物学上的用法不甚相同。在动物命名上，异名是指用来表示同一个分
活性炭活性炭（英语：Active charcoal），亦称活性碳（英语：Active carbon）、活化炭（英语：Activated charcoal；Activated char）或活化碳（英语：Activated carbon），是黑色粉末状或颗粒状的碳物质。活性炭
嬗变核嬗变是一种化学元素转化成另外一种元素，或一种化学元素的某种同位素转化为另一种同位素的过程。能够引发核嬗变的核反应包括一个或多个粒子（如质子、中子以及原子核）与原子核
锕系元素锕系元素是第89号元素锕到103号元素铹共15种放射性元素的统称。锕系元素也属于过渡元素，只是锕系元素的外层和次外层的电子构型基本相同，新增加的电子则大都填入了从外侧数第
Pm6s2 4f52, 8, 18, 23, 8, 2第一：540 kJ·mol−1 第二：1050 kJ·mol−1 第三：2150 kJ·mol主条目：钷的同位素钷是一种化学元素，符号为Pm，原子序61，属于镧系元素与稀土元素，它所有
首席执行官首席执行官（英语：Chief Executive Officer，缩写：CEO），是许多企业，尤其是美国企业的头衔，是公司三长之一（另二为董事长、财务长），是在一个企业集团、财阀或行政单位中的最高行政负责人。
22人类的22号染色体是23对染色体的其中之一，人体细胞在正常状况下拥有一对。此染色体是第二小的人类染色体，拥有大约4900万个碱基对，占细胞中DNA数量的1.5%到2%。22号染色体是在1
英文字母英语字母，即现代英语所使用的二十六个字母。亦即基本拉丁字母的二十六个字母。声拉丁字母的应用频率不一，因为a与the、er等十分常用的关系，a/e/t使用频率都非常高。以下显示在