首页 >
结构规则
✍ dations ◷ 2025-06-06 23:13:33 #结构规则
在证明论中,结构规则是不提及任何逻辑连结词的推理规则,它直接操作于判断或相继式。结构规则通常模仿逻辑的元理论性质。拒绝一个或多个结构规则的逻辑被归类为亚结构逻辑。没有任何上述结构规则的逻辑将把相继式解释为纯粹的序列;带有交换规则它们就是多重集;带有紧缩和交换规则二者它们就是集合。最著名的结构规则叫做切。证明论理论家花了相当的努力来证实切规则在各种逻辑中是多余的。更严格的说,证实了切只是(某种意义上)简化证明的工具,不能增加可以证明的定理。成功消除了切规则叫做切消定理,直接有关于规范化计算(参见lambda 演算)的哲学;它经常对给定逻辑的判定的复杂性给出好的指示。
相关
- 字位字位(字形、字素,英语:grapheme)这个术语,是由语音学里的“音位”(音素)类推到文字学的。在拼音文字系统当中,“字位”是最小且数量最少的区别性单位。“字位”是一个抽象单位。例如
- 神经系统神经系统是由神经元这种特化细胞的网络所构成的。其身体的不同部位间传递讯号。动物体藉神经系统和内分泌系统的作用来应付环境的变化。动物的神经系统控制着肌肉的活动,协调
- 树坚果树坚果过敏(英语:Tree nut allergy)是最常见的食物过敏之一。大约每20个美国人中就有一个对树坚果过敏。树坚果过敏与花生过敏不同,因为花生为豆科植物,而不是真正的坚果。然而,研
- 伪真菌总门伪真菌总门(Pseudofungi)是一个不等鞭毛类的子类群,又被称为丝壶菌总门(Heterokontimycotina) ,由卵菌纲和丝壶菌纲组成。虽然它们的生长形式(菌丝)和营养模式类似于真菌,但大量的生
- 2016年联合国安全理事会选举2016年联合国安全理事会选举在2015年6月28日,第70届联合国大会期间举行,旨在选出由2017年1月1日起任期两年的五个联合国安理会非常任理事国席位。根据安理会的轮换规则,联合国
- 塑化剂塑化剂(英语:Plasticizer),或称增塑剂、可塑剂,是一种增加材料的柔软性或使材料液化的添加剂。其添加对象包含了塑胶(塑胶添加剂)、混凝土、干壁材料、水泥、胶粘剂与石膏等等。同
- 中部非洲中非(英语:Central Africa)即中部非洲地区,从撒哈拉沙漠与非洲大陆西部突起部分合围,不包括非洲大峡谷西部。有时中非单指中非共和国。区内用水全赖刚果河及其支流,流域面积仅次于
- 尼加拉瓜面积以下资讯是以2018年估计家用电源国家领袖国内生产总值(购买力平价) 以下资讯是以2016年估计国内生产总值(国际汇率) 以下资讯是以2017年估计人类发展指数 以下资讯是以2018
- 西莫尼德斯西莫尼德斯(英语:Simonides of Ceos),(前556年-前468年)。古希腊科奥斯的抒情诗人之一,他是诗人巴库利德斯的叔父。作为诗人,他的创作遍及希腊:他曾在雅典希帕尔库斯的宫廷,在色萨利(公
- 语言转移语言转移也称为语言交替、语言变化、语言转换、语言迁移、语言替代(Languages shift、Language transfer、Language replacement、Assimilation),是指某语言的使用群体改用另一