结构规则

✍ dations ◷ 2024-12-22 15:59:28 #结构规则

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

相关

低通气低通气（英文：Hypopnea）是一种浅呼吸或呼吸速率（英语：respiratory rate）特别低的情形。有些研究者认为低通气没有呼吸中止来的严重，然而也有些研究者发现低通气对健康所造成的负面影
音叉音叉由弹性金属（多为钢）制成，末有一柄，两端分叉，型如拉丁字母‘U’。音叉拥有一固定的共振频率，受到敲击时则震动，在等待初始时的泛音列过去后，音叉发出的音响就具有固定的音高。一
生物防治剂生物防治（Biological control）或生物害虫防治（Biological pest control）是病虫害防治的一种方法，使用生物（英语：bioeffector）缓解昆虫、螨虫、野草和病态植物对人类农作物、环境等造
黄曲毒素黄曲毒素（aflatoxin），也称作黄曲霉素，黄曲霉毒素，是一种有强烈生物毒性的化合物，常由黄曲霉及寄生曲霉等另外几种霉菌在霉变的谷物中产生，如大米、豆类、花生等，是目前为止最强的致
文汇报文汇报可指：
颅骨颅骨或者头骨、骷髅头是指人类或者许多脊椎动物的头部骨性结构。头骨之功能为支撑脸部，并保护脑部。头骨分为两部分：颅骨和下颌骨。一般所称之‘头颅’通常仅指颅骨，并未包含下
新发传染病新兴传染病一般定义是近二十年以来，新出现在人类身上的传染病，而该疾病的发生率除了有快速增加的趋势，且在地理分布上有扩张的情况，甚至发展出新的抗药性机制等，都可以算是新兴
计算机模拟计算机模拟，又称为计算机仿真，是指用来模拟特定系统之抽象模型的计算机程序。计算机模拟的发展与电脑本身的迅速发展是分不开的。它的首次大规模开发是著名的曼哈顿计划中的一
手腕腕（拉丁语：Articulatio radiocarpea；德语：Handgelenk；英语：Wrist）即是指手腕，为手掌与手臂连接的地方，在做运动前最好先运动手腕，因为手腕是最容易受伤的部位手腕经常被用来戴手表、手
伊本·鲁世德阿布·瓦利德·穆罕默德·伊本·阿马德·伊本·鲁世德（阿拉伯语：أبو الوليد محمد ابن احمد ابن رشد‎，1126年－1198年12月10日），又译为阿威罗伊、亚维侯