求帮助,离散数学证明题

问题描述:

求帮助,离散数学证明题
1. 用推理规则证明:如果前提“所有的斑马都有条纹”,“马克是一匹斑马”是真的,那么结论“马克有条纹”是真的.
2. 证明“如果地球是平的,那你就能行驶到地球边缘”;“你不能行驶到地球边缘”,因此,“地球不是平的”是有效论证.
1个回答 分类:综合 2014-12-01

问题解答:

我来补答
第一个是命题"p--q "and "p"为真,刚q为真.这是假言推理,即永真式[p^(p--q)]--q.
第二个命题用逆否,第一句等价于,如果你不能行驶到地球边缘,刚地球不是平的,后面又说了,"你不能行驶到地球边缘",然后按照假言推理,得出地球不是平的.
 
 
展开全文阅读
剩余:2000
上一页:函数急