《数理逻辑(计算机).doc》由会员分享，可在线阅读，更多相关《数理逻辑(计算机).doc（4页珍藏版）》请在金锄头文库上搜索。
南昌大学科技学院2006 05 补考 考试试卷 试卷编号： 卷课程名称： 数 理 逻 辑 适用班级： 0 2计算机 姓名： 学号： 班级： 专业： 学院： 系别： 考试日期： 题号一二三四五六七八九十总分累分人 签名题分 100得分一、 名词解释(每小题分，共分) 得分评阅人 命题 重言式 主析取范式二、 判断下列语句是否是命题(每题分，共分) 得分评阅人 结果对吗？上海人口比南昌人口多假如明天是星期日，那么学校放假得分评阅人三将下列命题符号化 （每题3分，共分） 设：他住203室，：他住室，则将他或者住室或者住103室符号化为。设：今天是星期三，则今天不是星期三。可符号化为：若：P：张三是表兄弟， Q：李四是表兄弟。则“张三与李四是表兄弟”符号化为若：他个子高：他很胖则他个子高而且很胖符号化为四 证明 （10分）得分评阅人 （）（）（）五 用真值表法将化成主析取范式 （7分）化成主析取范式 （7分）得分评阅人 六 使用推理规则的推理演算（分）证明：是，的逻辑推论七 用归结法证明（） （分）八 用王浩算法证明（）成立（分）九证明：前提（x）(P(x)（x）)，（x）（x）（x） 结论（x）(P(x)R(x) （分）1第 1 页 共4 页
