题目
1.用推理规则证明:如果前提“所有的斑马都有条纹”,“马克是一匹斑马”是真的,那么结论“马克有条纹”是真的.
2.证明“如果地球是平的,那你就能行驶到地球边缘”;“你不能行驶到地球边缘”,因此,“地球不是平的”是有效论证.
2.证明“如果地球是平的,那你就能行驶到地球边缘”;“你不能行驶到地球边缘”,因此,“地球不是平的”是有效论证.
提问时间:2020-07-26
答案
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 ② ③析取三段论
得证.
注:以上说法均来自屈婉玲的《离散数学》.
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 ② ③析取三段论
得证.
注:以上说法均来自屈婉玲的《离散数学》.
举一反三
已知函数f(x)=x,g(x)=alnx,a∈R.若曲线y=f(x)与曲线y=g(x)相交,且在交点处有相同的切线,求a的值和该切线方程.
我想写一篇关于奥巴马的演讲的文章,写哪一篇好呢?为什么好
奥巴马演讲不用看稿子.为什么中国领导演讲要看?
想找英语初三上学期的首字母填空练习……
英语翻译
最新试题
- 1李白买酒:“无事街上走,提壶去买酒,遇店加二倍,见花喝一斗,三遇店和花,喝光壶中酒.”
- 2两物体叠放在水平面上在上面的梧桐受F1在下面的梧桐F2的共同作用下以相同V匀速向右F1=5NF2=3N上面的物体受下面的物体的摩擦力是多少和与桌面的摩擦力的多少
- 3一个两位数,他的个位是十位上的2倍,把十位数与个位数对换,对换后的两位数比原来的数大27,求这个两位数
- 4列式计算:一个数是25的4倍,它是5的多少倍?
- 5解方程:|x-3|+ 5=2x+5
- 6一条有关RATE的数学题,
- 7书是钥匙,能开启智慧之门.书是阶梯,帮助人们登上理想的高峰.
- 8hello,may i speak to helen?的回答
- 9仿写句子..春之色为冷的绿,如碧波,如嫩竹,贮满希望之情.
- 10certificate of credit是什么意思
热门考点
- 1如果实数x比它的算术平方根小,那么x的取值范围是
- 2小刚今天读书84页,比昨天多读1/6 ,前天比昨天少读25%,三天共读书多少页?
- 3已知球的体积怎样求半径
- 4英语词汇填空题
- 5用一克、2克、4克的法码各一个,可以称出几种不同的重量,它们分别是:
- 6human facial expressions differ from those of animals in the degree___they can be controlled
- 7第一只克隆羊叫多利还是多莉
- 8穴宝盖,下面一个口,最下一个心.什么字
- 9一个人在体重计的测盘上,在人下蹲的过程中,指针怎么变化?
- 10下列关于“合金”的叙述①合金中至少含有两种金属;②合金中元素以化合态的形式存在;③合金中一定含有金属;④合金一定为混合物;⑤合金依然具有金属特性,其中正确的是( )