【MOOC】《离散结构》(武汉理工大学)章节作业慕课答案.docx

【答案】《离散结构》(武汉理工大学)章节作业慕课答案

有些题目顺序不一致，下载后按键盘ctrl+F进行搜索

命题逻辑

命题逻辑课后作业

1.符号化下列命题，并证明其有效性。我今天或上街，或访友。如果我看书，则我不上街；如果我不看书，则我去看电影；今天我不去看电影，因此我去访友。

2.试用命题演算解决下面的问题：某天，三位任课教师各需给某班辅导，其中英语老师希望排在第一节或第二节；力学老师希望排在第一节或第三节；而数学老师希望排在第二节或第三节，问能否同时满足老师们的要求？若能，试写出可行方案。

3.在自然推理系统P2中构造下面推理的证明：(1)前提：结论：(2)前提：结论：(3)前提