2011年10级离散数学-第一单元-b卷-答案

《2011年10级离散数学-第一单元-b卷-答案》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、浙江科技学院考试试卷浙江科技学院200-200学年第学期考试试卷卷考试科目考试方式开、闭完成时限拟题人审核人批准人年月日院年级专业参考答案及评分标准一、填空题。在题后内，填上正确答案。（本大题共5小题，每小题（空格）2分，共10分）1、P真值为1，Q的真值为0；2、；3、`；4、约束变元；5、，y为D的某些元素。二、选择题。在题括号（）内，填上正确答案。（本大题共10小题，每小题2.5分，共25分）题目12345678910答案A,CA,DC,DA,DB,CA,B,C,D,ECAB(4)三、逻辑判断题。（本大题共3小题，每小题10分，共30分

2、）1、用等值演算法和真值表法判断公式的类型。（10分）解：（1）等值演算法（2）真值表法PQA第页共页浙江科技学院考试试卷1111111100100101100010011111所以A为重言式。1、下列问题，若成立请证明，若不成立请举出反例：（10分）（1）已知，问成立吗？（1）已知，问成立吗？解：（1）不成立。若取但A与B不一定等价，可为任意不等价的公式。（2）成立。证明：即：所以故。2、如果厂方拒绝增加工资，那么罢工就不会停止，除非罢工超过一年并且工厂撤换了厂长。问：若厂方拒绝增加工资，面罢工刚开始，罢工是否能够停止。（10分）解：设P：

3、厂方拒绝增加工资；Q：罢工停止；R罢工超壶过一年；R：撤换厂长前提：结论：①P②P③T①②I第页共页浙江科技学院考试试卷④P⑤T④I⑥T⑤E⑦T③⑥I罢工不会停止是有效结论。四、计算题。（本大题共2小题，每小题5分，共10分）1、设命题A1，A2的真值为1，A3，A4真值为0，求命题的真值。（5分）解：2、利用主析取范式，求公式的类型。（5分）解：它无成真赋值，所矛盾`五、谓词逻辑推理题。（本大题共1小题，每小题15分，共15分）符号化语句：“有些人喜欢所有的花，但是人们不喜欢杂草，那么花不是杂草”。并推证其结论。解：第页共页浙江科技学院考试

4、试卷证明：⑴P⑵ES⑴⑶T⑵I⑷T⑵I⑸P⑹US⑸⑺T⑶⑹I⑻T⑺E⑼US⑷⑽US⑻⑾T⑼⑽I⑿UG⑾六、证明题。（本大题共1小题，每小题10分，共10分）设论域D={a,b,c}，求证：。证明：第页共页浙江科技学院考试试卷第页共页