欢迎来到天天文库
浏览记录
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
此文档下载收益归作者所有
