从键盘输入两个命题变元P和Q的真值-求它们的合取、析取、蕴含和等价的真值

上传人:枫** 文档编号:543437879 上传时间:2023-06-20 格式:DOC 页数:13 大小:181.50KB
返回 下载 相关 举报
从键盘输入两个命题变元P和Q的真值-求它们的合取、析取、蕴含和等价的真值_第1页
第1页 / 共13页
从键盘输入两个命题变元P和Q的真值-求它们的合取、析取、蕴含和等价的真值_第2页
第2页 / 共13页
从键盘输入两个命题变元P和Q的真值-求它们的合取、析取、蕴含和等价的真值_第3页
第3页 / 共13页
从键盘输入两个命题变元P和Q的真值-求它们的合取、析取、蕴含和等价的真值_第4页
第4页 / 共13页
从键盘输入两个命题变元P和Q的真值-求它们的合取、析取、蕴含和等价的真值_第5页
第5页 / 共13页
点击查看更多>>
资源描述

《从键盘输入两个命题变元P和Q的真值-求它们的合取、析取、蕴含和等价的真值》由会员分享,可在线阅读,更多相关《从键盘输入两个命题变元P和Q的真值-求它们的合取、析取、蕴含和等价的真值(13页珍藏版)》请在金锄头文库上搜索。

1、长治学院离散数学实验报告专 业: 计算机科学与技术 班 级: 计科120班 学 号: 12407237 姓 名: 武文超 组 别: 1 指引教师: 李艳玲 11301221目录一、实验目的二、算法思想三、流程图4四、实验成果(截图)5五、程序代码7六、总结0一、实验目的本实验课程是信息专业学生的一门专业基本课程,通过实验,协助学生更好地掌握计算机科学技术常用的离散数学中的概念、性质和运算;通过实验提高学生编写实验报告、总结实验成果的能力;使学生具有程序设计的思想,可以独立完毕简朴的算法设计和分析。熟悉掌握合取、析取、蕴涵和等价,进一步能用它们来解决实际问题。二、算法思想1.从键盘输入两个命题变

2、元P和Q的真值,求它们的合取、析取、蕴含和等价的真值。()合取:二元命题联结词。将两个命题P、Q联结起来,构成一种新的命题PQ, 读作、的合取, 也可读作P与Q。这个新命题的真值与构成它的命题、Q的真值间的关系为只有当两个命题变项P =T, Q =时方可PQ =,而P、Q只要有一为则PQ F。这样看来,Q可用来表达平常用语P与Q, 或并且。(2)析取:二元命题联结词。将两个命题P、Q联结起来,构成一种新的命题PQ,读作P、Q的析取, 也可读作P或。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P F, Q =F时方可PQ=F, 而、只要有一为T则P = T。这样看来,P

3、可用来表达平常用语P或者Q。(3)蕴含:二元命题联结词。将两个命题、Q联结起来,构成一种新的命题PQ, 读作P条件Q, 也可读作如果P,那么。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P T, = 时方可PQ =, 其他均为T。(4)等价:二元命题联结词。将两个命题P、Q联结起来,构成一种新的命题P, 读作P双条件于Q。这个新命题的真值与构成它的命题、Q的真值间的关系为当两个命题变项P T, Q =T时方可PQT, 其他均为F三、流程图:开始P为1或0输入P值NY输入Q值NP为1或0Y运算输出成果Y与否继续结束N求合取、析取、蕴含件和等价的真值流程图四、 实验成果(

4、截图)进入界面对的运算成果错误控制和输入对的后退出五、程序代码#ind Q=1); rinf(等价:); rnf( =1n); prin(等价:n); printf( Q0); if(a=1 &b=0) print(合取:n); pint( PQ0n); pritf(析取:n); rintf( PQ=1n); print(蕴含:n); prnf( P-Q=n);in(等价:); ritf( P-Q0); if(a= & b=1) pritf(合取:); printf( PQ=n);prtf(析取:n); printf( Q=n); rtf(蕴含:); prinf( -Q=1n); prinf(

5、等价:);pint( P); prnt(与否继续运算?(y/n)n); can(%,&c); i(=y) yunsuan(); ls reun;六、总结用连词把几种公式连接起来而构成的公式叫做合取,而此合取式的每个构成部分叫做合取项。某些合适公式所构成的任一合取也是一种合取公式。形式为“p并且q”的复合命题,其中p和都是命题并且叫做合取支。在命题演算中,合取式被符号化为“q”,“pq”或者“pq”。若把它当做真值函项,“并且q”为真当且仅当p和q中每一种都真;如果有一种合取支为假,或两个合取支都假,则该合取式为假。我们可以从前提p和前提q推出结论“p并且q”,这叫做“合取规则”或“合取引入”。

6、我们也可以从前提“p并且q”推出结论p或者推出结论q,这叫做“合取消除”。合取式还可以把多于两个的陈述组合在一起,如果可以断定所有这些陈述的话。用连词把几种公式连接起来所构成的公式叫做析取,而此析取式的每一构成部分叫做析取项。由某些合适公式所构成的任一析取也是一种合适公式。在逻辑中,蕴涵(iply)是用在更弱的定义下。说复合命题 = 为真可简朴地断言:若A为真,那么也为真。换句话说,A=B只是说不会同步有A真与B假,而不是说在一般意义下的A“引起”B。特别的,若A为假,那么对任何B,A=均为真。该命题容易使人误解,由于不存在任何途径使得命题也许对命题产生任何成果。对于两个命题A,B,如果且BA

7、,则称命题A,B等价.记作AB 若关系R在集合A中是自反、对称和传递的,则称R为A上的等价关系。所谓关系R 就是笛卡尔积 中的一种子集。通过这次实验,我学到了诸多知识,离散数学、数据构造等。通过一种学期的学习,我对离散数学这门课程有了很大的理解。这次的实验让我对自己的专业也有了更进一步的理解,也使我懂得了理论与实际相结合的重要性,只有理论知识是远远不够的。只有把所学的理论知识与实践相结合起来,从理论中得出结论,从实践中验证理论,从而提高自己的实际动手和独立思考的能力才是成功之道。指引教师评语: 指引教师签名: 年 月 日成绩评估项 目权重成绩1、设计过程中出勤、学习态度等方面0.12、设计技术水平0.4、编程风格0.24、设计报告书写及图纸规范限度0.3总 成 绩

展开阅读全文
相关资源
正为您匹配相似的精品文档
相关搜索

最新文档


当前位置:首页 > 办公文档 > 解决方案

电脑版 |金锄头文库版权所有
经营许可证:蜀ICP备13022795号 | 川公网安备 51140202000112号