灵鹊做题网求帮助,离散数学证明题
来源：学生作业帮 编辑：灵鹊做题网作业帮 分类：综合作业 时间：2024/04/30 01:01:07
求帮助,离散数学证明题
1. 用推理规则证明：如果前提“所有的斑马都有条纹”,“马克是一匹斑马”是真的,那么结论“马克有条纹”是真的.
2. 证明“如果地球是平的,那你就能行驶到地球边缘”；“你不能行驶到地球边缘”,因此,“地球不是平的”是有效论证.
1. 用推理规则证明：如果前提“所有的斑马都有条纹”,“马克是一匹斑马”是真的,那么结论“马克有条纹”是真的.
2. 证明“如果地球是平的,那你就能行驶到地球边缘”；“你不能行驶到地球边缘”,因此,“地球不是平的”是有效论证.
第一个是命题"p--q "and "p"为真,刚q为真.这是假言推理,即永真式[p^(p--q)]--q.
第二个命题用逆否,第一句等价于,如果你不能行驶到地球边缘,刚地球不是平的,后面又说了,"你不能行驶到地球边缘",然后按照假言推理,得出地球不是平的.
第二个命题用逆否,第一句等价于,如果你不能行驶到地球边缘,刚地球不是平的,后面又说了,"你不能行驶到地球边缘",然后按照假言推理,得出地球不是平的.