命题代数

作品数：6被引量：0H指数：0
导出分析报告
相关领域：理学更多>>
相关作者：孙丹丹陈彦鑫杨泽忠王士铁更多>>
相关机构：吉安师范学校山东师范大学厦门大学更多>>
相关期刊：《高中数学教与学》《鞍山师范学院学报》《厦门大学学报（自然科学版）》《井冈山大学学报（社会科学版）》更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
从数理逻辑的角度看中学逻辑内容的教学
《高中数学教与学》2017年第3X期19-21,共3页孙丹丹 杨泽忠 
数理逻辑从传统形式逻辑发展而来,是一门使用符号语言和数学方法来研究演绎推理和证明的科学.在近现代数学中,数理逻辑语言是数学表述的通用语言,不仅如此,它对哲学、物理学、计算机科学等领域也都产生了深远影响.数理逻辑的初步知识还...
关键词：数理逻辑 数学家 命题代数 中学数学 公理化思想 逻辑联结词 逻辑知识 符号语言 谓词逻辑 逻辑规律 
反证法与命题代数中的等价命题
《井冈山大学学报（社会科学版）》1998年第5期17-19,共3页陈彦鑫 
正确分析和使用反证法证题与命题代数中的等价命题。
关键词：逻辑代数 反证法 命题 
反证法与命题代数中的等价命题
《吉安师专学报》1998年第5期17-19,共3页陈彦鑫 
正确分析和使用反证法证题与命题代数中的等价命题。
关键词：逻辑代数 反证法 命题 等价命题 
在01集上的扩张类比
《厦门大学学报（自然科学版）》1997年第3期344-350,共7页王士铁 
在０１集上给出一类具有普遍意义的扩张类比，并利用此结果讨论命题代数和集合代数的扩张推理：增加条件Ｘ，使前提Ａ能演绎出结论Ｓ，即Ｘ∧ＡＳ；
关键词：扩张类比 扩张推理 命题代数 集合代数 
逻辑代数中两个极易混淆的概念
《南都学坛（南阳师专学报）》1991年第2期34-38,共5页温成友 
1 预备知识谁都知道汉语、英语等这些自然语言是人们交流思想的工具,它既可以表达精确而深刻的思想;又能表达模棱两可的糊涂观念.这对人类传递信息,交流思想是十分合适的.但对数学的严格推理是不利的.为此,人们试图建立一种人造语言,一...
关键词：逻辑代数 对象语言 联结词 命题代数 
命题代数与反证法
《鞍山师范学院学报》1986年第3期4-12,共9页陈之琢 
命题代数是抽象逻辑代数的一个模型,是研究思维形式的逻辑代数.而反证法是数学证明中常用方法之一.反证法所依据的恰是命题代数中一些逻辑原理.逻辑原理掌握如何?直接影响到使用反证法的效果和熟练程度.在教学中,发现有相当数量的学生,...
关键词：命题代数 逻辑原理 命题函数 数学命题 全称命题 真假值 复合命题 特称命题 运算律 全称肯定命题 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部