《离散数学附标准答案四》由会员分享，可在线阅读，更多相关《离散数学附标准答案四（3页珍藏版）》请在金锄头文库上搜索。
离散数学试卷（四）参考答案一、 填空 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）真值表法P QA1 1111111 0010010 1100010 011111所以A为重言式.2、（1）不成立.若取但A与B不一定等价，可为任意不等价的公式.（2）成立. 证明：即：所以 故 .3、解：设P：厂方拒绝增加工资；Q：罢工停止；R罢工超壶过一年；R：撤换厂长前提： 结论：PPTIPTITETI罢工不会停止是有效结论.四、计算 10%1、 解：2、它无成真赋值，所以为矛盾式.五、谓词逻辑推理 15%解：证明：PESTITIPUSTITEUSUSTIUG四、 证明10%29
