中学数学教学的逻辑价值

数学教学的逻辑价值是指逻辑在数学教学中的意义。正确理解和分析逻辑、数学及数学教学的本质及其关系认识和把握数学逻辑价值的基础，数学与逻辑均为“形式科学”和“工具科学”，其发展相互影响、相互推动。数学教学要“重视逻辑”，但“数学不等同逻辑”。逻辑影响和制约数学教学的整个过程，它在数学教学中具有众多的辅助作用。     

逻辑正弦－余弦函数在数字电子技术中的应用

将正弦－余弦三角函数和布尔逻辑代数相结合，交叉形成逻辑正弦－余弦函数，其自变量像普通三角函数的自变量一样可以连续取值，而函数值象布尔逻辑函数一样只取逻辑值“０”和“１”，遵从逻辑代数的运算规则．逻辑正弦－余弦函数既具有正弦－余弦三角函数的某些性质，又具有布尔逻辑函数的特性，为分析、设计数字逻辑电路实现的信号处理系统，提供了一种数学工具和信号形式     

逻辑正弦—余弦函数在数字电子技术中的应用

将正弦－余弦三角函数和布尔逻辑代数相结合，交叉形成逻辑正弦－余弦函数，其自变量像普通三角函数的自变量一样可以连续取值，而函数值象布尔逻辑函数一样只取逻辑值“０”和“１”，遵从逻辑代数和运算规则，逻辑正弦－余弦函数既具有正弦－余弦三角函数的某些性质，又具有布尔逻辑函数的特性，为分析，设计数字逻辑电路实现的信号处理系统，提供了一种数学工具和信号形式。     

形状形容词“直”的逻辑语义分析

“直”是高频的形状形容词，在传统词汇语义分析的基础上，运用逻辑语义学理论以“直”为个案考察形状形容词“直”在不同分布中的语义结构关系，旨在初步建立汉语形状形容词的逻辑语义模型及理解模式，可以为进一步形式化提供语义信息和知识，从而为中文信息处理的词义分析提供一种新的思路。     

从功能主义的四个范式看传统逻辑与现代逻辑的发展

功能主义的代表人物之一R·K默顿提出了一系列功能分析范式：“潜功能与显功能”、“正功能与反功能”、“功能的接受者”、“功能替代”等等作为分析问题的工具。在这里，我们不妨把人类与其所创设的形式逻辑看成是一个系统，从人类对形式逻辑中两大逻辑类型的不同需求与这两大类型所承担的不同功能的角度，运用上面列举的四种范式进行比较分析，以探讨传统逻辑和现代逻辑的发展。一、潜功能与星功能──—两种逻辑承担的不同使命潜功能与显功能，是用来描述“主观目标”与“客观后果”相符与否情况的概念。默顿将各种可观察到的功能后果…     

布鲁尔的艰难抉择

在极化政治裂痕加剧的氛围下,作为“茶党”青睐的女性政治人物,布鲁尔竟然力挺一项事实上“拯救”奥巴马医改的法案．其中的逻辑耐人寻味。 6月17日,亚利桑那州州长简妮丝·布鲁尔签署一项法案,标志着这个“大峡谷州”成为全美第24个接受奥巴马全民医改法案、扩大医改补助计划的联邦州。而布鲁尔本人因此成为第七位支持该法案的共和党籍州长。在极化政治裂痕加剧的氛围下,作为“茶党”青睐的女性政治人物,布鲁尔竟然力挺一项事实上“拯救”奥巴马医改的法案,其中的逻辑耐人寻味。     

如何对待传统逻辑与现代逻辑——兼谈逻辑学教学体系的构建

传统逻辑并非完全过时，“取代论”者之所以主张用数理逻辑代替传统逻辑，是由于他们将“传统”与“落后”相等同，“现代”与“先进”相混淆，从而将传统逻辑看作是“落后的”、“过时的”逻辑，现代逻辑被视为“先进的逻辑”。尽管传统逻辑与现代逻辑在其研究的对象、内容、方法以及适用范围等方面有许多不同，但它们之间并非是完全对立的两极。传统逻辑与现代逻辑的某些内容是可以相容的。传统逻辑现代化的前提是保留传统逻辑，而不是取代传统逻辑。构建逻辑学教学体系要正确处理好传统与现代之间的关系，要相互吸收、借鉴、兼容，反对机械拼凑和生搬硬套，反对一刀切。要根据学科自身发展的规律和教学改革的需要，构建适合不同专业、不同知识背景、不同教学及授课方式的教学体系。     

对MYCIN不精确推理模型的修正及应用

针对ＭＹＣＩＮ可信度计算方法的不足，本文提出了“模糊逻辑”和“非纯逻辑”两种修正方法，而且“非纯逻辑”还可表示“模糊逻辑”和传统的“纯逻辑”，因而更灵活、实用。但二者也存在推理效率降低的缺陷，所以本文最后还提出了改善推理效率的几个措施。     

逻辑函数的“复合门”实现

在《数字逻辑》课程中，用“与”、“或”、“非”三种基本运算可以描述命题逻辑中任何复杂的问题。换句话说：不管逻辑电路多么复杂总可以看成是由“与”“或”、“非’等简单门电路组成的。但是，逻辑函数实现时不是用“与”、“或”、“非’门作基本的逻辑单元，而是大量使用“与非”。“或非”、“与或非’门，它们是数字逻辑集成电路系列（74LS00，74LS02，74LS10，74LS20…）的复合门电路。这是因为：“与非”、“或非”“与或非”门中的任何一种，都可以实现“与”、“或”、“非”三种基本操作：一、用“与非’们实现“与”、“…     

如何正确把握肯定命题谓项的周延性

项的周延性是性质命题形式中对主项、谓项外延数量的断定情况。本从肯定命题的逻辑形式、肯定联项“是”的逻辑涵义和借助恩图解等方面论述了如何正确把握肯定命题谓项的周延性。     

形式布尔算子的命题逻辑

在定量的意义下使模糊命题演算完全包容经典命题逻辑是不可能的。布尔算子命题逻辑用算子和算子的演算定性地描述和处理模糊命题的不确定性，将经典命题逻辑作为其特例。在布尔算子命题逻辑中给出了其公理系统和求公式恒真水平的机械推导算法。     

基于BL系统的演绎系统集代数的剩余格属性

在命题逻辑系统BL中提出了演绎系统的概念, 并且给出了由F(S)的子集生成演绎系统的方法, 证明了命题逻辑系统BL中演绎系统和结论之集的同一性; 其次, 在命题逻辑系统BL中证明了在包含偏序关系下所有演绎系统构成的集族D(F )中上, 下确界的存在性; 最后, 在D(F )中定义了二元运算∧,∨,*,→, 证明了集代数(D(F ),∧,∨,*,→,0,1)是满足可除性的完备剩余格。     

命题公式真值表的生成与公式类型的机械判定

在文[1]的基础上,给出了命题逻辑中任一命题公式的真值表的生成算法与命题公式类型的判定算法,实现了利用计算机对有限多个命题公式的真值表的直接计算和输出,以及对一个命题公式是重言式、矛盾式或可满足式的机械判定.     

量子力学中的守恒量

文章论述了量子力学中的守恒量与对称性的关系,具体讨论了空间平移不变性与动量守恒、空间转动不变性与角动量守恒、时间平移不变性与能量守恒的关系.     

命题逻辑判定系统中基本真值矩阵的生成算法

给出了求含任意n个命题变元的命题公式F的基本真值矩阵的四个算法，从而为利用计算机处理命题逻辑的判定问题莫定了核心基础。     

真值表方法的用途及相关规则

真值表方法是命题逻辑中的一种重要方法。在命题逻辑中运用真值表方法,可以在有限的步骤内直观地显示任意一个真值形式的真值情况,判定任意一个真值形式的一些重要性质,因此,真值表方法是一种有力的逻辑工具。学习和掌握真值表方法,特别是掌握用真值表方法进行相关操作的规则,对逻辑学学习者和逻辑学研究工作者来说,是一项必须掌握的逻辑技...     

真值表等数理逻辑方法的判定功能

真值表，归谬赋值，真值树，演绎证明和范式等方法是数理逻辑命题演算中重言式的判定（或证明）方法，但不是传统命题逻辑推理式的判定方法。     

关于命题演算公理系统独立性证明的注记

对数理逻辑中命题逻辑公理系统独立性证明做了探讨，给出了算术解释的一种规律，并应用这种规则证明了３个命题演算公理系统的独立性。     

四值非全序R0命题逻辑上的随机伪度量

 通过引入随机化映射和真度权函数等概念,在四值非全序R₀命题逻辑系统中提出了公式的可变随机真度,得到可变随机真度的一些基本性质,提出了2公式间的随机相似度和随机伪度量,建立了四值非全序R₀命题逻辑系统上的随机逻辑伪度量空间,为在四值非全序命题逻辑系统上进行近似推理提供了一种可能的框架.     

命题模糊逻辑系统G(o)d中公式的理论可证度

基于命题模糊逻辑系统中公式的理论可证度的概念,探讨了命题模糊逻辑系统God中公式的理论可证度的计算公式,并研究了它的一系列性质。