命题演算

作品数：153被引量：511H指数：11
导出分析报告
相关领域：理学哲学宗教更多>>
相关作者：吴洪博王国俊肖奚安文秋梅陶景侃更多>>
相关机构：陕西师范大学唐山师范学院中国社会科学院哲学研究所南京大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划贵州省科学技术基金江苏省教育厅哲学社会科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Łukasiewicz命题演算形式系统公理独立性证明
《贵州工程应用技术学院学报》2023年第2期57-64,共8页宋伟 
在有关Łukasiewicz命题演算形式系统的公理独立性证明中,一种常见的做法是直接运用模型论的方法构造出若干三值模型来表明各公理的独立性。不过,这种做法既没有详细解释构造这些三值模型的原因和依据,也没有系统说明构造这些三值模型的...
关键词：命题演算 形式系统 公理 独立性 
一种构造集合成员表证明集合恒等式的方法被引量：2
《数字技术与应用》2021年第1期124-126,共3页段景辉 
利用命题演算排中律、矛盾律思想,结合命题公式真值表方法,提出了集合成员表的构造方法,并以该方法进行集合恒等式的证明。
关键词：命题演算排中律 集合成员表 集合恒等式证明 
数理逻辑
《语数外学习（高中版）（上）》2019年第5期55-56,共2页
逻辑是探索、阐述和确立有效推理原则的学科,最早是由古希腊学者亚里士多德创建的.用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑,也叫做符号逻辑.一、数理逻辑的产生利用计算的方法来代替人们思维中的逻辑推理过程,这种...
关键词：数学家 集合论 命题演算 逻辑元件 逻辑连接词 非欧几何 谓词演算 
C_m命题演算的定理机器证明系统
《辽宁大学学报（自然科学版）》2019年第1期31-37,共7页张伟 
辽宁省自然科学基金计划重点项目(20170540311);东北大学2017年本科教学质量工程项目(201755)
C_m系统是制约逻辑的命题演算系统,但是其推导定理的过程可否由图灵(计算机)算法完成尚未得到明确的结论.研究证明了C_m的公式集是递归可枚举集,并且给出了一个递归枚举算法,该算法能够对任一给定的实际可证的C_m式在有限的步骤内判定...
关键词：Cm系统 制约逻辑 可计算性 定理机器证明 
浅谈初中数学教学中学生创造性思维能力的培养被引量：2
《数学学习与研究》2015年第12期7-7,共1页叶波 
数学思维的创造性是科学思维的特征,是指一个由具体事物到抽象认识的过程,即从直观动作、表象符号到命题演算.数学的创造性思维是指在数学思维过程中表现出前所未有的思维成果,解决别人未能解决的问题,数学理论的形成就是数学创造性的产...
关键词：创造性思维 初中数学教学 思维成果 创造性过程 命题演算 表象符号 求同思维 最佳方案 发散思维 思维过程 
2^n值命题演算的语义及其在大数据中的应用
《湖南科技大学学报（社会科学版）》2015年第2期23-27,共5页洪龙 
国家自然科学基金项目(61170322);软件开发环境国家重点实验室开放课题(SKLSDE-2011KF-04)
本文的目标是建立2n值命题演算(2n-Valued Propositional Calculus,2nP)的语义,为大数据科学奠定逻辑基础。描述了2n值逻辑的真值形式、采用位结构刻画了联结词的功能,并建立了赋值映射;根据多值逻辑的特点,以数据冗余、key-value模型为...
关键词：命题演算 语义 大数据 降冗 key-value模型 
命题演算两个推理系统的等价性
《计算机工程与科学》2013年第9期104-109,共6页宋方敏 殷熙尧 
江苏省自然科学基金资助项目(2011560)
首先介绍命题演算的Gentzen型系统G,然后给出一个命题演算的永真推理系统H,最后证明一个命题在G中可证当且仅当它在H中可证,从而G与H是等价的。
关键词：符号逻辑 命题演算 推理系统 
计算机数理逻辑命题演算演示系统的研究被引量：1
《信息通信》2013年第9期114-115,共2页张君 
针对多个命题变项利用真值表法、等值演算法、主析取范式求解繁琐、运算量大的问题,制作了命题演算演示系统,并对该系统进行研究,主要研究计算机数理逻辑中命题演算部分,重点以5个命题变项如何通过一些逻辑联结词构成复合命题,以一个具...
关键词：命题逻辑 真值表 主析取范式 主合取范式 
数学创新试题如何应对
《高中数理化》2012年第5期24-25,共2页刘俊国 
随着高中新课改的普及,高考对考生创新能力的要求逐渐加强,创新型试题的命制更是常考常新,但总体上都是考查同学们能综合运用所学知识解决问题的能力.下面列举几例,供参考.1新定义型例1现定义命题演算的合式公式（wff）,
关键词：创新试题 解决问题的能力 数学 创新型试题 创新能力 综合运用 命题演算 定义 
论数理逻辑中的置换与代换被引量：1
《黑龙江科技信息》2011年第28期237-237,236,共2页王小花 郭萍 耿学华 
本文介绍了数理逻辑的发展史,论述了数理逻辑中的置换和代换的定义、置换定理和代换定理、二者区别及关系,说明了置换和代换在整个数理逻辑中的地位及重要作用。最后,简单谈了学习数理逻辑对思维和行为的指导作用。
关键词：数理逻辑 命题演算 谓词演算 置换 代换 
全选清除导出
共16页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部