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 ② ③析取三段论
得证.
注:以上说法均来自屈婉玲的《离散数学》.
1.用推理规则证明:如果前提“所有的斑马都有条纹”,“马克是一匹斑马”是真的,那么结论“马克有条纹”是真的.
1.用推理规则证明:如果前提“所有的斑马都有条纹”,“马克是一匹斑马”是真的,那么结论“马克有条纹”是真的.
2.证明“如果地球是平的,那你就能行驶到地球边缘”;“你不能行驶到地球边缘”,因此,“地球不是平的”是有效论证.
2.证明“如果地球是平的,那你就能行驶到地球边缘”;“你不能行驶到地球边缘”,因此,“地球不是平的”是有效论证.
数学人气:516 ℃时间:2020-01-28 15:21:03
优质解答
我来回答
类似推荐
猜你喜欢
- 1I had hopted to stay there for one more week ,but i changed my mind 为什么had用
- 21、3个连续自然数的积是120,求这3个数.2、4500有多少个因数?3、 三个自然数的和是338,积是1986.这三个数中最小的数是多少?
- 3根据下面所给的题目和提纲用英语写出一篇不少于80词的短文. 1.你对"失败乃成功之母"的看法; 2.举例说明
- 4you are luckier than many people和you are lucky than many people
- 5最先登陆的动物类群是哪一类
- 6自然数(0除外)按因数的个数多少可分为(),()和()
- 7二项式(2-根号x)的8次方展开式中含x的4次方项的系数是?
- 8you doesn t make sense
- 9巴金 繁星中的好句点评
- 10360除以24的简便运算怎样算?