- 1、本文档共46页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
计算机数理逻辑中命题演算演示系统的研究与开发—计算机毕业设计(论文)
本科生毕业论文
论文题目:计算机数理逻辑中命题演算演示系统的研究与开发
学 院 ××学院
专 业 ××××专业
学 号
学 生 姓 名
指导教师姓名 ×××
指导教师职称
指导教师单位
计算机数理逻辑中命题演算演示系统的研究与开发
摘 要
本论文研究了计算机数理逻辑中的命题演算部分内容。在逻辑语言的命题演算中,命题式的等价是一个基础性的问题,在判定命题式等价问题中,真值表示比较常用的一个方式。判定的依据是两个命题式如果其真值完全相同则命题式等价;一阶谓词逻辑是命题演算的重要组成部分,是命题演算的基础。而一阶谓词逻辑化为其前束范式是命题演算的重要步骤。对于一阶谓词化为其前束范式问题,一般可以通过三个步骤完成,首先去掉逻辑式中的连接词;其次将否定词深入到各原子公式中;最后利用永真等价式将量词逐个移到式子的前部。
本文在对数理逻辑领域的命题演算课题进行理论研究的基础上,对命题式的真值计算和一阶谓词命题式的前束范式化简进行了基于VC++平台的编程实现。程序演示了符合要求的命题式的真值求值过程以及前束范式的化简过程,具有较好的教学演示功能,对计算机辅助教学有一定的现实意义。
关键词:真值表;一阶谓词;前束范式; vc;
Research and Development of propositional logic system in Computer Logic
ABSTRACT
This paper works on propositional logic system in Computer Logic. In the field of propositional logic in computer logic, the Logic Equivalent of propositional is fundermental. True Value Table is a valuable methods to judge whether two propositionals are equivalent. If the true values of the two propositionals are completely the same, the two propositionals are equivalent. First order logic is a most important concept in the field of propositional logic. Prenex normal form of the first order logic propositional is the key to propositional logic. Generally, there are three steps to change get a prenex normal form: first of all get rid of the connection word; Secondly, make the negative word to the front of every atomic.
This paper introduced the some theories of propositional logic, and gave the Computer implementation of the propositional logic calculations based on VC++. The system showed the procedures of the propositional logic. It is valuable and useful for teaching propositional logic.
Key words: true value table; first order logic; prenex normal form; vc
目 录
1. 绪论 -----------------------------------------------------------------1
2. 命题逻辑 -----------------------------------------------
您可能关注的文档
- 西师大版一年级语文上册全教案(可编辑).doc
- 西师版2014年春季小学五年级数学下册单元测试题1-5单元.doc
- 西师版小学12年五年级数学下册一单元至四单元及期末测试题50726.doc
- 西师版小学12年五年级数学下册一单元至四单元及期末测.doc
- 西式低温肉制品加工要点 块肉类产品:盐水配制 原料肉的解冻 原料肉的 ....doc
- 西湖区小型建设工程施工招标文件 d. 施工导流、排水、临时渡讯工程; e. 施工场地平整; f.砼拌和系统; g. 修配加工企业; h. 临时生产管理及生活设施; i. 施工场地使用完的拆除; j. 其他临时设施。 1.2.2 发包人.doc
- 西石沟村生态种植采摘园建设项目可行性建议书(可编辑).doc
- 西部钻探工程有限公司钻井队钢丝绳吊索使用管理规定.doc.doc
- 西门塔尔肉牛养殖育肥基地建设项目可行性研究报告【最新】.doc
- 西门牛养殖育肥基地建设项目可行性研究报告.doc.doc
- 第12课 我们小点儿声 课件 二年级道德与法治上册(部编版).ppt
- 11.2我从哪里来(教学课件)二年级道德与法治下册(统编版).ppt
- 第10课 我们不乱扔 课件 二年级道德与法治上册(部编版).ppt
- 1.3过好我们的课余生活 课件五年级道德与法治上册(部编版).ppt
- 第四单元《法律保护我们健康成长》大单元整体学程设计道德与法治六年级上册统编版.pdf
- 第十一课:多姿多彩的民间艺术(分层练习)四年级道法下册 部编版.pdf
- 第八课:大家的“朋友”(分层练习)三年级道法下册 部编版.pdf
- 第5课 我爱我们班 课件 二年级道德与法治上册(部编版).ppt
- 第二单元 我们是公民 大单元整体学程设计道德与法治六年级上册统编版.pdf
- 人教部编版二年级语文下册第五单元单元教学课件.ppt
1亿VIP精品文档
相关文档
最近下载
- 部编版三年级语文下册《语文园地六》教学课件.pptx
- 雨污水溯源排查方案.docx VIP
- 计算机网络应用专业一体化课程方案.pdf
- MITSUBISHI三菱MELSEC iQ-F FX5-CCL-MS 硬件手册.pdf VIP
- MITSUBISHI三菱MELSEC iQ-F FX5-CCLGN-MS 硬件手册.pdf
- 《信息技术与高中数学教学整合研究》课题研究报告.doc
- 《发展经济学》课程思政教学案例.docx
- 护士资格《循环系统疾病病人的护理》心律失常病人的护理教学教案模板.doc
- 全球数字经济白皮书(2023年)-中国信通院-2024.1-.pdf
- -e长大后我就成了你声乐正谱钢琴伴奏五线谱.pdf
文档评论(0)