结构规则

✍ dations ◷ 2025-07-18 08:02:00 #结构规则

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

相关

基因体基因组（genome）在生物学中，是指一个生物体所包含的DNA（部分病毒是RNA）里的全部遗传信息，又称基因体。基因组包括基因和非编码DNA。1920年，德国汉堡大学植物学教授汉斯·温克勒（Hans
负链RNA病毒核糖核酸病毒（英语：RNA virus），又称RNA病毒，其遗传物质为RNA，这些核糖核酸通常是单链RNA（ssRNA），但是也可能是双链RNA（dsRNA）。由RNA病毒感染造成的著名人类疾病包括艾滋病(AIDS)、埃博
CXCL9n/an/an/an/an/an/an/an/an/an/aCXCL9（英语：Chemokine (C-X-C motif) ligand 9）是一小分子的细胞因子属于CXC趋化因子家族，又被称作“干扰素伽玛诱导的单核细胞因子”（Monokine i
DIBP邻苯二甲酸二异丁酯（Diisobutyl phthalate，DIBP）可由异丁醇和邻苯二甲酸酐进行酯化反应来制备。结构式为C6H4(COOCH2CH(CH3)2)2。折射率为1.488－1.492（20 ℃，D）。DIBP是无味增塑剂，
全球化与疾病大航海时代（一般是指15世纪到17世纪这段时期），在这期间，由于造船和航海技术的先进，很多国家更加容易探索国界以外的世界。全除了货物贸易，很多国家开始进行奴隶贸易。奴隶贸易是另
中国大陆儿童免疫接种时间表中华人民共和国预防接种，亦称中华人民共和国计划免疫或中华人民共和国国家免疫规划是中华人民共和国国务院卫生行政部门和其下属的各省、自治区、直辖市政府的卫生行政部门根
廖内省廖内省（印尼语：Riau）是印度尼西亚的一个省，位于苏门答腊东部，与马来西亚隔马六甲海峡相望。原属本省廖内群岛2004年分出，设廖内群岛省。面积83,232平方公里。首府北干巴鲁（省内另一
拉蒙·柳利拉蒙·柳利（加泰罗尼亚语：Ramon Llull，加泰罗尼亚语：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Co
波爱修斯亚尼修·玛理乌斯·塞味利诺·波爱修斯（拉丁语：Anicius Manlius Severinus Boëthius；Boëthius 读作/boʊˈiːθi.əs/，也译作波伊提乌，480年－524或525年），六世纪早期哲学家。也是
安那托利亚语族安那托利亚语族是印欧语系下的一族语言（在有些分类中，此族不属于印欧语系，但极为接近）。此语族语言曾在小亚细亚使用，目前已消亡，包括赫梯语、卢维语（“赫梯象形文字”使用的语言）和