数理逻辑考试题及答案(共5页).doc

精选优质文档-倾情为你奉上“离散数学”数理逻辑部分考核试题答案一、命题逻辑基本知识（5分）1、将下列命题符号化（总共4题，完成的题号为学号尾数取4的余，完成1题。共2分）（0）小刘既不怕吃苦，又爱钻研。解：pq，其中，P：小刘怕吃苦；q：小刘爱钻研。（1）只有不怕敌人，才能战胜敌人。解：qp，其中，P：怕敌人；q：战胜敌人。（2）只要别人有困难，老张就帮助别人，除非困难已经解决了。解：r(pp)，其中，P：别人有困难；q：老张帮助别人；r：困难解决了。（3）小王与小张是亲戚。解：p，其中，P：小王与小张是亲戚。2、判断下列公式的类型（总共5题，完成的题号为学号尾数取5的余，完成1题。共1分）（0）A：(pq)(pq) (pq) r（1）B：(p(qp) (rq)（2）C：(pr) (qr)（3）E：p(pqr)（4）F：(qr) r解：用真值表判断，A