“混而不错”是根本被引量：1

导出

摘要文[1]从谓词逻辑公理系统（Q—PM系统）的角度解析了p（x）→q（x）的否定，其理论根据无须考证，几乎有关数理逻辑学的著作都采用联结词完备集{┐ ,V}来定义∧，→，←→．但这种机械套用大学数理逻辑的有关知识来评析中学逻辑的做法，可能会引起教学上的混乱．

作者缪选民

机构地区江苏省泰州市海陵区教育局教研室

出处《数学通讯（教师阅读）》 2009年第10期24-25,共2页 Bulletin of Mathematics

关键词谓词逻辑 PM系统公理系统理论根据数理逻辑完备集联结词逻辑学

参考文献1

1缪选民,顾晓莉.评析[J].数学通讯（教师阅读）,2008(9):31-32.
2肖汉.工程项目管理系统应用实施方案探讨[J].中国建设信息,2008(16):32-33.
3许满武,潘光睿,周荣国,宋晓梁,刘东升.一阶反合一研究[J].软件学报,1999,10(7):766-771.
4邓少波.粒及粒命题逻辑[J].科技广场,2011(3):10-13.
5Ganes.,L,黄桂兰.描述微纹理的一种新统计方法[J].武测译文,1996(2):14-18.
6周巧姝.对逻辑演绎推理在数学解题中的理解[J].长春师范学院学报（自然科学版）,2003,22(1):9-11. 被引量：1
7沈华,何炎祥,张明武.基于服务组合模型结构特征的性能瓶颈定位方案[J].计算机科学,2015,42(9):107-117. 被引量：1
8在CentOS上升级OpenLDAP[J].Windows IT Pro Magazine（国际中文版）,2008(7):42-42.
9Kunlaya Pattanagul,Wachara Chantatub,Wasu Chaopanon.A Framework for Identifying and Managing Information Quality Metrics of Corporate Performance Management System[J].Journal of Modern Accounting and Auditing,2012,8(2):185-194.
10黄石磊,陈书立,刘驰,袁道任,娄亚飞,张姗姗,逯鹏.基于视觉感知的运动目标跟踪算法[J].计算机应用研究,2013,30(7):2199-2201. 被引量：6

数学通讯（教师阅读）

2009年第10期

内容加载中请稍等...