关键词: 案例教学法  离散数学  命题逻辑  

2020年第05期 《科技风》

关键词: 命题逻辑  合取范式  析取范式  命题符号化  

2011年第04期 《湖北师范大学学报·哲学社会科学版》

关键词: 主析取范式  求法解析  真值表法  推演法  极小项  命题逻辑  

2004年第01期 《河北能源职业技术学院学报》

关键词: 解不等式  易错问题  不等式恒成立  三角函数  基本不等式  不等式问题  高中数学  命题逻辑  

2019年第19期 《高中数理化》

关键词: 数学试卷  三角函数  二项式定理  集合运算  复数运算  命题逻辑  程序框图  概率统计  

2014年第09期 《招生考试通讯·高考版》

关键词: 命题逻辑  归纳定义  完备性  与或树  可判定性  

2013年第24期 《信息技术与网络安全》

关键词: 命题逻辑  素养  地理试题  解构  测评  地理素材  地理学科  

2018年第15期 《中学地理教学参考》

关键词: 形式本体论  纯粹逻辑  逻辑研究  理论形式  逻辑学家  纯粹形式  命题逻辑  符号逻辑  逻辑演算  分析学  

2009年第01期 《中国现象学与哲学评论》

关键词: 命题逻辑  主析取范式  主合取范式  

2004年第02期 《德州学院学报》

关键词: 德奥弗拉斯特  逻辑关系  命题逻辑  数理逻辑  分析方法  变项  词项逻辑  西方逻辑学史  

2004年第03期 《山东师范大学学报·社会科学版》

关键词: 逻辑真理  蕴涵命题  本质直观  感性直观  命题逻辑  数理逻辑  

2005年第03期 《昆明学院学报》

关键词: 数理逻辑  可靠性  完备性  协调性  命题逻辑  一阶逻辑  极大协调集  

2004年第02期 《新疆师范大学学报·哲学社会科学版》

关键词: 命题逻辑  语法完全性  形式系统  公理模式  分离规则  代入规则  

2004年第01期 《浙江社会科学》

关键词: 命题逻辑  案例教学  软件建模  性质推理  

2019年第09期 《计算机教育》

关键词: 命题逻辑  可满足性  冗余文字  负文字  冗余子句  

2019年第08期 《计算机科学》

关键词: 二叉树  命题逻辑  联接词  舍取范式  析取范式  

2005年第02期 《信阳师范学院学报·自然科学版》

关键词: 可满足性问题  一阶逻辑  命题逻辑  

2005年第03期 《软件学报》

关键词: 命题逻辑  思维方式  谓词逻辑  词项逻辑  有效性  学科  王路  

2018年第10期 《教学月刊·小学版语文》

关键词: 一阶逻辑  蕴含模归结  子句消去方法  命题逻辑  

2019年第05期 《计算机工程与应用》

关键词: 命题逻辑  趋势强度  学习子句  子句评估  周期性删除  

2018年第12期 《计算机科学》