若已知p˅q,p→s,q→t,如何推出s˅t?如果不能,也请说明还需要什么条件.
来源:学生作业帮 编辑:大师作文网作业帮 分类:数学作业 时间:2024/09/24 05:26:00
若已知p˅q,p→s,q→t,如何推出s˅t?如果不能,也请说明还需要什么条件.
如果能再列举一些类似的推理就更好了.
我的系统上是能显示的;干脆用文字描述吧:
若已知p或q,p蕴含s,q蕴含t,如何推出s或t?
如果能再列举一些类似的推理就更好了.
我的系统上是能显示的;干脆用文字描述吧:
若已知p或q,p蕴含s,q蕴含t,如何推出s或t?
可以推出,使用反证法(也叫归谬法)
前提:p∨q,p→s,q→t
结论:s∨t
证明:
1 ┐(s∨t)
2 ┐s∧┐t
3 ┐3
4 p→s
5 ┐p 34拒取式
6 ┐t
7 q→s
8 ┐q 67拒取式
9 ┐p∧┐q
10 ┐(p∨q)
11 p∨q
12 ┐(p∨q)∧(p∨q)
┐(p∨q)∧(p∨q)是矛盾式
前提:p∨q,p→s,q→t
结论:s∨t
证明:
1 ┐(s∨t)
2 ┐s∧┐t
3 ┐3
4 p→s
5 ┐p 34拒取式
6 ┐t
7 q→s
8 ┐q 67拒取式
9 ┐p∧┐q
10 ┐(p∨q)
11 p∨q
12 ┐(p∨q)∧(p∨q)
┐(p∨q)∧(p∨q)是矛盾式
若已知p˅q,p→s,q→t,如何推出s˅t?如果不能,也请说明还需要什么条件.
关于充要条件的概念.“已知命题p和q,如果p能推出q,那么p是q的充分条件,q是p的必要条件;如果p能推出q,q也能推出
证明 :P→(Q∨R)(S∨T)→P.S∨T =>Q∨R
试证明(P→(Q→R)∧(﹁S∨P)∧Q推出S→R
有命题p、q,如果p推出q,则p是q的充分条件,q是p的必要条件;
前提:(p∨q)→(u∧s),(s∨t)→r 结论:p→r 怎么证明啊?
充分条件和必要条件已知p.q都是r的必要条件,s是r的充分条件,q是s的充分条件,那么s.r.p分别是q的什么条件?一步
《离散数学》证明题:证明R→S可从前提P→(Q→S),┐R∨P和Q推出.
一,已知P,Q都是X的必要条件,S是X的充分条件,Q是S的充分条件,那么(1)S是Q的什么条件?答:S是Q的必要条件.(
等差数列的性质证明请证明若1.S(p)=q,S(q)=p,则S(p+q)=-(p+q)2.S(p)=S(q) (p不等于
一道高一数学解答题已知p是r的充分条件,r是q的必要条件,同时r是s的充分条件,q是s的必要条件,则s是p的什么条件?p
13.已知p,q都是r的必要条件,s是r的充分条件,q是s的充分条件,则s是q的 条件,r是q的 条件,p是s的 条件.