结构规则

✍ dations ◷ 2025-10-08 16:20:51 #结构规则

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

相关

退伍军人菌嗜肺军团菌是一种有鞭毛，革兰氏阴性，军团菌属多形态性的短小球杆菌。嗜肺军团菌是一种原发的人类病原体，会引发军团病。嗜肺军团菌不抗酸，无孢子，无荚膜，类似于杆菌。不能分解明胶
胰岛素疗法碳水化合物计数法（Carbohydrate counting，或carb counting）是糖尿病患者制订饮食计划的一种简便、有效的方法，是一种计算一日正餐和点心中的碳水化合物克数或食物份数大小的方法
辐射电离辐射（英语：ionizing radiation）是指波长短、频率高、能量高的射线（粒子或波的双重形式）。辐射可分为电离辐射和非电离辐射，电离辐射可以从原子或分子里面电离过程（Ionization）中
结节性硬化症结节性硬化症（英语：tuberous sclerosis complex，缩写作 TSC）是一种罕见的多系统先天性疾病，会在脑部、心脏、肾脏、皮肤及其他器官出现良性肿瘤，因此病患可能出现癫痫、发育迟缓或
类固醇激素甾体激素（英语：Steroid hormone、又称甾体激素），是一类四环脂肪烃化合物，具有环戊烷多氢菲母核。类固醇激素是作为激素的类固醇。这些包括性腺的性激素和肾上腺皮质的皮质类固醇
库迈库迈（Cumae） (義大利文: Cuma, 希臘文: Κύμη 或 Κύμαι) 为一古希腊屯垦区，位于那不勒斯西北。库迈是希腊在意大利本土的第一个殖民地。据信此屯垦区是由来自于希腊埃
挪亚七律挪亚七律（希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova","Taamey
雷茵霍尔德·尼布尔卡尔·保罗·雷茵霍尔德·尼布尔（英语：Karl Paul Reinhold Niebuhr，1892年6月21日－1971年6月1日），是一位美国神学家。他最出名的工作是试图将基督信仰和现代政治外交联系起来。他
头重脚轻头重脚轻（Lightheadedness）也称为头昏目眩，是头晕时常见，令人不悦的感觉，常伴随着可能会昏倒的感觉。头重脚轻的感觉可能是短期或长期的，偶尔也可能是慢性病。当时也可能会出现所
六书陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书（大篆 ‧ 小篆）隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画 ‧