数理逻辑(计算机).doc

《数理逻辑(计算机).doc》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、南昌大学科技学院200605补考考试试卷试卷编号：卷课程名称：数理逻辑适用班级：02　计　算　机姓名：学号：班级：专业：学院：系别：考试日期：题号一二三四五六七八九十总分累分人签名题分100得分一、名词解释(每小题４分，共１２分)得分评阅人１命题２重言式３主析取范式　二、判断下列语句是否是命题(每题４分，共１６分)得分评阅人１　结果对吗？２　１＋３＝６３　上海人口比南昌人口多４　假如明天是星期日，那么学校放假得分评阅人三　　将下列命题符号化（每题3分，共１２分）　　　１设Ｐ：他住203室，　Ｑ：他住

2、１０３室，则将＂他或者住２０３室或者住103室＂符号化为。　　　２　设Ｑ：今天是星期三，则＂今天不是星期三＂。可符号化为：　　　３　若：P：张三是表兄弟，Q：李四是表兄弟。则“张三与李四是表兄弟”符号化为＿＿　　　４　若Ｐ：他个子高　Ｑ：他很胖　则＂他个子高而且很胖＂符号化为＿＿　四．证明（10分）得分评阅人（￢Ｐ∧（￢Ｑ∧Ｒ））∨（Ｑ∧Ｒ）∨（Ｐ∧Ｒ）＝Ｒ　五①　用真值表法将Ｐ←→Ｑ化成主析取范式（7分）　②　　Ｐ→Ｑ化成主析取范式（7分）得分评阅人六使用推理规则的推理演算　　　　　　　　　　　　

3、　　　（９分）证明：　　Ｒ是Ｐ→Ｑ，Ｑ→Ｒ，Ｐ的逻辑推论七　用归结法证明（Ｐ→Ｑ）∧ＰＱ　　　　　　　　（９分）八用王浩算法　证明（￢Ｑ∧（Ｐ→Ｑ））→￢Ｐ成立　　（９分）九　证明：前提（x）(P(x)→Ｑ（x）)，（x）（Ｑ（x）→Ｒ（x））结论（x）(P(x)→R(x))　　　　　　　　　　（９分）