88问答网
所有问题
离散数学 构造以下推理的证明 前提:¬(p∧¬q),¬q∨r,¬r,结论:¬p
急急急,大神帮帮忙啊
举报该问题
推荐答案 2019-01-25
你可能写错了,┐(q∨r) 应为 ┐(q∧r),否则推不出结论。
前提:┐p∨q,┐(q∧r),r
结论:┐p
推理如下:
1)r 前提引入
2)┐(q∧r) 前提引入
3)┐q∨┐r 2)等价置换
4)┐q 1)3)析取三段式
5)┐p∨q 前提引入
6)┐p 4)5)析取三段式
得证。
温馨提示:答案为网友推荐,仅供参考
当前网址:
http://88.wendadaohang.com/zd/M1B1cgtttBB1MStcBSK.html
相似回答
...的
推理
规则怎么
证明,P
→Q
,(¬Q∨R)
∧¬R,¬(¬P∧
S)=>¬S?_百 ...
答:
综述:因为
¬Q∨R
= Q→R,并且
¬(¬P∧
S) = P∨¬S =¬S∨P = S→P,所以这儿看上去给定4个前提S→P, P→Q, Q→R和¬R要去证¬S.前3个前提蕴含S→R.又根据第4个
前提,
所以¬S。
离散数学
(Discrete mathematics)是研究离散量的结构及其相互关系的数学学科,是现代数学的一个重要分...
...
证明
下面
推理
.
前提:¬p
→
q,p
→
r,r
→s.
结论:q∨
s.
答:
【答案】:先将诸
前提
化成简单析取式.前提:p∨q、¬p∨r、¬r∨s;
结论:q∨s.证明
:①p∨q 前提引入;②¬p∨r 前提引入;③q∨r ①、②归结;④¬r∨s 前提引入;⑤q∨s ③、④归结.
三段论
的证明
方法?
答:
【答案】:先将诸前提及结论化成简单析取式.
前提:¬p∨¬q∨
s、
¬r∨p
、q;
结论:¬r∨
s.证明:①¬p∨¬q∨s 前提引入;②q 前提引入;③¬p∨s ①、②归结;④¬r∨p 前提引入;⑤¬r∨s ③、④归结.用附加前提证明法证明:①r 附加前提引入;②r→p 前提引入;③p ①、②似...
在自然推理系统
P
中
,构造
下面各
推理的证明
.
答:
⑧r→p ⑦置换;⑨r→s ⑧、⑥假言三段论.附加
前提证明
法:①r 附加前提引入;②
p∨¬r
前提引入;③p ①、②析取三段论;④p→(q→s)前提引入;⑤q→s ③、④假言推理;⑥q 前提引入;⑦s ⑤、⑥假言推理.$直接证明法:①p→q 前提引入;②p→r 前提引入;③(p→
q)∧(p
→r)①、...
用归结法
证明
下面
推理
.
前提:p,¬p∨r,¬r∨
s.
结论:
s.
答:
【答案】:本题的前提与结论已满足归结证明的要求.
证明:
①p
前提
引入;②
¬p∨r
前提引入;③r ①、②归结;④
¬r∨
s 前提引入;⑤s ③、④归结.①p 前提引入;②¬p∨r 前提引入;③r ①、②析取三段论;④¬r∨s 前提引入;⑤s ③、④析取三段论.
求
离散数学
作业解答(华南理工)
答:
证明:
①
¬Q∨R
前提
引入 ②¬R→Q ①置换 ③
¬(P∧Q)
前提引入 ④Q→¬P ③置换 ⑤¬R →¬P ②④假言三段论 2、 用推理规则证明 Q
,¬P
→R, P→ S,¬S=>Q∧R 证明:①¬S 附加前提引入 ②P→ S 前提引入 ③¬P ①②拒取式 ④¬P→R 前提引入...
用
推理
规则
证明以下
各式:
答:
③T,I ⑥C→B ④T,E ⑦B→C ⑤T,E ⑧BC ⑥⑦T,E ⑨(B C)→(H∨G) P ⑩H∨G ⑧⑨T,I$①(
¬Q∨R)∧¬R
P ②¬Q∨R ①T,I ③¬R ①T,I ④¬Q ②③T,I ⑤P→Q P ⑥¬P ④⑤T,I ⑦
¬(¬P∧
S) P ⑧P∨¬S ⑦T,E ⑨¬S ⑥⑧T,I ...
在自然
推理
系统
P
中,用归谬法
证明
下面推理.
答:
【答案】:①
p
结论的否定引入;②p→
¬q
前提
引入;③¬q ①、②假言推理;④
¬r∨q
前提引入;⑤¬r ③、④析取三段论;⑥r∧¬s 前提引入;⑦r ⑥化简;⑧
¬r∧r
⑤、⑦合取.由于⑧为矛盾式,所以原推理正确.$①
¬(r∨
s
)结论
的否定引入;②
¬r∧¬
s ①置换;③¬r ②化简;④¬...
大家正在搜
离散结构是离散数学吗
构造证明法离散数学
离散数学怎么用构造法证明
离散数学构造性二难证明
离散数学构造性证明法
离散数学代数结构
离散数学构造双摄函数
离散数学假设前提
离散数学中什么是附加前提
相关问题
离散数学证明:(p→q)→(p∧q)与(¬p→q)∧(q→p...
离散数学 逻辑,证明¬(P↔ Q)和P͛...
下列命题中,满足“p∨q”为真,“p∧q”为假,“¬p”为真...
求公式(p→¬q)↔r的主析取范式
若“p∨q”为真命题,则下列命题一定为假命题的是( ) ...
离散数学计算层次?怎么算出3层4层的! 说详细点! 喷子勿喷...
(¬(p → (((¬q) ∧ r)) ...
已知命题:p:对任意x∈R,总有|x|≥0,q:x=1是方程...