得到
  • 汉语词
  • 汉语典
当前位置 :
两道离散数学问题,求大神解答1.用推理规则证明:如果前提“所有的斑马都有条纹”,“马克是一匹斑马”是真的,那么结论“马克有条纹”是真的.2.证明“如果地球是平的,那你就能
1人问答
问题描述:

两道离散数学问题,求大神解答

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②③析取三段论   得证.   注:以上说法均来自屈婉玲的《离散数学》.
数学推荐
数学推荐
最新更新
优秀数学推荐
热门数学
PC端 | 移动端 | mip端
百百课(baibeike.com)汇总了汉语字典,新华字典,成语字典,组词,词语,在线查字典,中文字典,英汉字典,在线字典,康熙字典等等,是学生查询学习资料的好帮手,是老师教学的好助手。
声明:本网站尊重并保护知识产权,根据《信息网络传播权保护条例》,如果我们转载的作品侵犯了您的权利,请在一个月内通知我们,我们会及时删除。

邮箱:  联系方式:

Copyright©2009-2021 百百课 baibeike.com 版权所有 闽ICP备2021002822号-13