两道离散数学问题,求大神解答1. 用推理规则证明:如果前提“所有的斑马都有条纹”,“马克是一匹斑马”是真的,那么结论“马克有条纹”是真的.2. 证明“如果地球是平的,那你就能
来源:学生作业帮助网 编辑:作业帮 时间:2024/07/31 23:41:36
![两道离散数学问题,求大神解答1. 用推理规则证明:如果前提“所有的斑马都有条纹”,“马克是一匹斑马”是真的,那么结论“马克有条纹”是真的.2. 证明“如果地球是平的,那你就能](/uploads/image/z/8752824-0-4.jpg?t=%E4%B8%A4%E9%81%93%E7%A6%BB%E6%95%A3%E6%95%B0%E5%AD%A6%E9%97%AE%E9%A2%98%2C%E6%B1%82%E5%A4%A7%E7%A5%9E%E8%A7%A3%E7%AD%941.++++++%E7%94%A8%E6%8E%A8%E7%90%86%E8%A7%84%E5%88%99%E8%AF%81%E6%98%8E%EF%BC%9A%E5%A6%82%E6%9E%9C%E5%89%8D%E6%8F%90%E2%80%9C%E6%89%80%E6%9C%89%E7%9A%84%E6%96%91%E9%A9%AC%E9%83%BD%E6%9C%89%E6%9D%A1%E7%BA%B9%E2%80%9D%2C%E2%80%9C%E9%A9%AC%E5%85%8B%E6%98%AF%E4%B8%80%E5%8C%B9%E6%96%91%E9%A9%AC%E2%80%9D%E6%98%AF%E7%9C%9F%E7%9A%84%2C%E9%82%A3%E4%B9%88%E7%BB%93%E8%AE%BA%E2%80%9C%E9%A9%AC%E5%85%8B%E6%9C%89%E6%9D%A1%E7%BA%B9%E2%80%9D%E6%98%AF%E7%9C%9F%E7%9A%84.2.++++++%E8%AF%81%E6%98%8E%E2%80%9C%E5%A6%82%E6%9E%9C%E5%9C%B0%E7%90%83%E6%98%AF%E5%B9%B3%E7%9A%84%2C%E9%82%A3%E4%BD%A0%E5%B0%B1%E8%83%BD)
两道离散数学问题,求大神解答1. 用推理规则证明:如果前提“所有的斑马都有条纹”,“马克是一匹斑马”是真的,那么结论“马克有条纹”是真的.2. 证明“如果地球是平的,那你就能
两道离散数学问题,求大神解答
1. 用推理规则证明:如果前提“所有的斑马都有条纹”,“马克是一匹斑马”是真的,那么结论“马克有条纹”是真的.
2. 证明“如果地球是平的,那你就能行驶到地球边缘”;“你不能行驶到地球边缘”,因此,“地球不是平的”是有效论证.
两道离散数学问题,求大神解答1. 用推理规则证明:如果前提“所有的斑马都有条纹”,“马克是一匹斑马”是真的,那么结论“马克有条纹”是真的.2. 证明“如果地球是平的,那你就能
1. 首先将命题符号化,个体域为全总个体域.记
p(x):x 是斑马;q(x):x 有条纹;a:马克.
前提:Ax(p(x)→q(x));p(a);
结论:q(a)
证明:
① Ax(p(x)→q(x)) 前提引入
② p(a)→q(a) ① UI规则
③ p(a) 前提引入
④ q(a) ②③假言推理
故得证.
2. 首先将命题符号化,记
p:地球是平的;q:你就能行驶到地球边缘;
前提:p→q,┐q
结论:┐p;
证明:
① p→q 前提引入
② ┐p∨q ①置换
③ ┐q 前提引入
④ ┐p ② ③析取三段论
得证.
注:以上说法均来自屈婉玲的《离散数学》.