1.非q或r至少其一成立,非r成立,即r不成立,所以非q成立
非q推出p
所以结论为p交非r
2.有效
原命题等于其逆否命题
由题意知,天晴或下雨必须且只能选其一,天晴推出看电影,看电影推出不看书
所以 看书推出不看电影（这是 “看电影推出不看书”的逆否命题）,不看电影推出不天晴,不天晴则必下雨.
1.下面推理的证明前提：非q→p,非q∨r,非r结论：p∧非r2.在下列前提下,结论是否有效（要过程）今天或者天晴或者下
1个回答
相关问题
-
构造下面推理的证明前提：非(p合取非q),非q析取r,非r结论：非p
-
构造下面推论的证明：(1)前提：p→q 结论：p→(p∧q)(2)前提：q→p,q→←s,s→←t,t∧r 结论：p∧q
-
证明 前提:p→(┐(r∧s)→┐q),p,┐s 结论:┐q
-
离散数学命题证明题 前提:p→s,q→r,p∨q,┘r 结论:r
-
离散数学中环算几条边K4有几边 几面构造下面推理证明(1)前提：┑(p∧q),┑q∧r,┑r结论：┑p(2)前提：p->
-
一道 推理理论的题目,前提：(p∧q)－>r,「s∨p,q,s结论：r用推理理论证明.我是这么做的：1.(p∧q)－>r
-
构造下面推理的证明前提:p→(q→s),q,p∨┐r.结论：r→s实在是看不懂书上写的了.
-
用形式演绎法证明:{P-->(QVR),非PV非Q,S-->非R},共同蕴涵P-->非S.
-
P=>Q 等价于 非P或者Q?还是非Q或者P? 还是两个都可以呢? 求解
-
或者p或者非q等同于如果q那么p,为什么