00问答网
所有问题
当前搜索:
离散数学的推理证明
离散数学的
一阶逻辑
推理
题,题目如下:
答:
:A∧¬B→C;(2):D→¬B∧¬C;
证明
:根据(1)=>【¬(A∧¬B)∨C】=>【(¬A∨B)∨C】=>【(B∨C)∨¬A】=>【¬(B∨C)→¬A】=>【¬B∧¬C→¬A】再利用(2)=>【D→¬A】证毕;你只需把上面的符号改成相应的谓词,再在最前面加上量词就可以了。
离散数学
命题逻辑中的间接
证明
中附加前提的作用
答:
当
推理
的结构是具有:(A1∧A2∧..∧Ak)→(A→B)这样的的形式时 此时可以将结论的前件作为推理的前提,是结论为B,即把推理的形式结构改写为:(A1∧A2∧..∧Ak∧A)→B 这种
证明
方法就称作附加前提证明法,附加的前提为结论的前件,A称为附加前提。
离散数学
第三题
答:
p:数a是实数 q:数a是有理数 r:数a是无理数 s:数a能表示成分数 p→(q∨r)¬s→¬q (p∧¬s)→r的
证明
过程:p∧¬s 前提 ⇒p 简化式 p→(q∨r) 前提 ⇒q∨r 假言
推理
① p∧¬s 前提 ⇒¬s 简化式 ¬s→&...
离散数学
:演绎法
证明
答:
前提:Ax(F(x)→G(x)),Ex(F(x)∧H(x))结论:Ex(H(x)∧G(x))
证明
:(1)Ex(F(x)∧H(x))(2)F(c)∧H(c) (1)EI (3)F(c)(4)H(c)(5)Ax(F(x)→G(x))(6)F(c)→G(c) (5)UI (7)G(c) (3)(6)假言
推理
(8)G(c)∧H(c)(9)E...
离散数学
推理
(p且Q)->R 怎么推出非P
答:
先否定R,可以推出并非p且q,即非p或者非q,最后再肯定q,就可以推出非p了
一道
离散数学
题:判断虾类
推理
是否正确,并
证明
你的结论。
答:
应该是对的吧。命题1表示为若L,则T。L表示是理科生,T表示学好
数学
。第二个命题:若~W,则L(W表示是文科生)。命题的逆否命题肯定为真,命题1的逆否为:若~T,则~L。命题2的逆否为若~L,则W,两个逆否合到一起就得到:若~T,则W。也就是他没有学好数学,所以他是文科学生。
证明
苏格拉底论证是有效的.利用
离散数学
知识
答:
所以苏格拉底是要死的.现将命题符号化:记 P(x):x 是人;D(x):x是要死的;a:苏格拉底.前提:Ax(P(x)→D(x)),P(a); (A 表示全称量词)结论:D(a).
证明
1)Ax(P(x)→D(x)) 前提引入 2)P(a)→D(a) 1) UI 3)P(a) 前提引入 4)D(a) 2)3)假言
推理
得证.
证明
苏格拉底论证是有效的。利用
离散数学
知识
答:
结论:D(a)。
证明
1)Ax(P(x)→D(x)) 前提引入 2)P(a)→D(a) 1) UI 3)P(a) 前提引入 4)D(a) 2)3)假言
推理
得证。
离散数学推理
的时候,前提一定都是正确的吗?
答:
前提的真值为1,有些前提可能不符合生活常识,比如说以命题P:1+1=3为前提,则p的真值就当1算
离散数学
中
的推理
理论~~急求详解~~
答:
设A:厂方增加工资;B:罢工停止;C:罢工超过一年;D:工厂厂长辞职 则题设所求为:(非A/\非(C/\D))->非B 非A 非C --- 非B 容易
证明
此推论是正确的。
棣栭〉
<涓婁竴椤
4
5
6
7
9
10
8
11
12
13
涓嬩竴椤
灏鹃〉
其他人还搜