离散数学数理逻辑教学中值得关注的几个问题

本文就离散数学的数理逻辑教学中值得关注的几个问题谈一些看法。强调对数理逻辑理论体系的全面认识,对推理规则的深刻理解,以及对■-消除规则的正确领会。在此基础上,提出了一种"证明技术"的教学方案。

三角模族T_(q,p)-LGN与逻辑系统LGN

首先,给出一种新的带两个参数的左连续三角模族T(q,p)-LGN((q,p)∈[-1,1]×(-∞,0))及其伴随蕴涵算子族R(q,p)-LGN((q,p)∈[-1,1]×(-∞,0)),分别简称它们为左连续三角模族T(p,q)-LGN及伴随蕴涵算子族R(q,p)-LGN;然后,定义了LGN三角模族的概念(基于此族的模糊逻辑系统等价于系统L,G与L*(或NM)的所有定理的交LGN);最后,证明了左连续三角模族T(q,p)-LGN是LGN三角模族的一个子族。

变截面单元环状周期结构固有频率分裂规律研究

在实际工程应用中,环状周期结构往往存在变截面单元。针对因变截面单元周期特性而导致的固有频率分裂现象,基于力矩平衡关系,采用Hamilton原理建立一般性动力学模型。以贯穿孔为例,基于经典振动理论得到固有频率及其分裂规律。考虑分组模式拓扑构型,推导具体消除频率分裂的规则,深入分析贯穿孔的孔径、数量和位置等参数对频率及其分裂行为的影响。设计试件并搭建实验台验证理论模型的正确性和消除规则的有效性。研究结果表明:由于贯穿孔使局部质量和弯曲刚度同时减小,进而导致固有频率改变,增大孔径和数量使重频频率减小,使分裂频率的分裂程度增大;保持孔径的一致性和位置的对称性可有效消除分裂。该研究方法和结论可用于工程领域类似周期结构动力学问题的研究并指导结构的设计。

试析关联理论对话语理解规则的解释

本文介绍和讨论了关联理论对话语理解规则的解释 ,重点评述了消除规则和引导规则。Sperber和Wilson(1986 1995 2 0 0 1)认为 ,人类之所以有能力实施自发性论证推理 ,是因为在其大脑中有一套演绎规则 :可按假设的语义特性的表现形式对其语义特性进行解释的一套计算。一个逻辑形式就是一个完整的公式、一套有结构的构成成分以及要经过由其结构决定的形式逻辑运作。根据关联理论 ,用于自发性信息处理的唯一演绎规则就是那些构成人类一部分基本演绎装置的消除规则 ;引导规则在某些类型的自发性演绎中也有其作用 。