欢迎来到天天文库
浏览记录
ID:34816750
大小:104.00 KB
页数:3页
时间:2019-03-11
《离散数学附标准答案四》由会员上传分享,免费在线阅读,更多相关内容在行业资料-天天文库。
1、离散数学试卷(四)参考答案一、填空10%(每小题2分)1、P真值为1,Q的真值为0;2、;3、;4、约束变元;5、,y为D的某些元素.二、选择25%(每小题2.5分)题目12345678910答案A,CA,DC,DA,DB,CA,B,C,D,ECAB(4)三、逻辑判断30%1、(1)等值演算法(2)真值表法PQA1111111100100101100010011111所以A为重言式.2、(1)不成立.若取但A与B不一定等价,可为任意不等价的公式.(2)成立.证明:即:所以故.29离散数学试卷(四)参考答案3、解:设P:厂方拒绝增加工资;Q:罢
2、工停止;R罢工超壶过一年;R:撤换厂长前提:结论:①P②P③T①②I④P⑤T④I⑥T⑤E⑦T③⑥I罢工不会停止是有效结论.四、计算10%1、解:2、它无成真赋值,所以为矛盾式.五、谓词逻辑推理15%解:证明:⑴P⑵ES⑴⑶T⑵I⑷T⑵I29离散数学试卷(四)参考答案⑸P⑹US⑸⑺T⑶⑹I⑻T⑺E⑼US⑷⑽US⑻⑾T⑼⑽I⑿UG⑾一、证明10%29
此文档下载收益归作者所有