若已知p˅q,p→s,q→t,如何推出s˅t?如果不能,也请说明还需要什么条件.
来源:学生作业帮 编辑:百度作业网作业帮 分类:数学作业 时间:2024/08/10 08:52:12
若已知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?如果不能,也请说明还需要什么条件.](/uploads/image/z/3945786-42-6.jpg?t=%E8%8B%A5%E5%B7%B2%E7%9F%A5p%26%23709%3Bq%2Cp%E2%86%92s%2Cq%E2%86%92t%2C%E5%A6%82%E4%BD%95%E6%8E%A8%E5%87%BAs%26%23709%3Bt%3F%E5%A6%82%E6%9E%9C%E4%B8%8D%E8%83%BD%2C%E4%B9%9F%E8%AF%B7%E8%AF%B4%E6%98%8E%E8%BF%98%E9%9C%80%E8%A6%81%E4%BB%80%E4%B9%88%E6%9D%A1%E4%BB%B6.)
可以推出,使用反证法(也叫归谬法)
前提: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的 条件.