离散数学命题逻辑推理题条件:非p→非q,p→r,非s∨q 结论:s→r

来源:学生作业帮助网 编辑:作业帮 时间:2024/05/02 21:12:57
离散数学命题逻辑推理题条件:非p→非q,p→r,非s∨q 结论:s→r

离散数学命题逻辑推理题条件:非p→非q,p→r,非s∨q 结论:s→r
离散数学命题逻辑推理题
条件:非p→非q,p→r,非s∨q 结论:s→r

离散数学命题逻辑推理题条件:非p→非q,p→r,非s∨q 结论:s→r
前提:┐p→┐q,p→r,┐s∨q
结论:s→r
证明:
① s
② ┐s∨q
③ q
④ ┐p→┐q
⑤ ┐┐p
⑥ p
⑦ p→r
⑧ r
(每一步理由交给你了)得证.

(1)s,非s∨q则q
(2)非p→非q则q→p
(1)(2)则p
p→r则r
故s→r

离散数学命题逻辑推理题条件:非p→非q,p→r,非s∨q 结论:s→r 今有命题p,q,若命题m为“p^q”,试说明命题“非p或非q”是命题“非m”的什么条件 离散数学问题:求主析取范式:1.(非p→q)→(非qVp) 2.(非p→q)^(q^r) 谢谢并求主合取范式 1.非(q→非p)^非p 2.(p^q)V(非pVr) 谢谢了! 已知命题p,q,非p为真命题是p或q是假命题的什么条件, 已知命题P Q , “非P 为真命题”是“P 或Q 是假命题”的什么条件?为什么? ‘P或Q为假命题’是‘非P为真命题’的什么条件 “非p是真命题”是“p或q是真命题”的什么条件? “p或q是假命题”是“非p为真命题”的是什么条件? 逻辑推理充分条件必要条件“除非x否则y”“一般y除非x”“只有x才不y”三句话分别用类似p←q,非q←p,非p→q的形式表示出来 若命题P和命题Q满足“若P则Q”为真,那么“非P”是“非Q”的什么条件 数学命题的基础题如果p且q是假命题,非q是假命题,则命题非p且q是真命题,原因? p或q 是假命题 是 非p是真命题 的什么条件 “p或q 是假命题”是 “非p是真命题”的什么条件 为啥是充分不必要条件? 非P为假命题是P或Q为真命题的 什么条件非P为假命题是P或Q为真命题的 条件呵呵 ‘P或Q’是假命题是‘非P’为真命题的什么条件最好附有简析. “p且q是真命题”,是“非p为假命题”的()什么条件啊 各位高手,看看这题离散数学题目设p:王冬生于1971年,q:王冬生于1972年,说明命题“王冬生于1971年或1972年”既可以符号化为“(p∧非q)∨(非p∧q)”,又可以符号化为“p∨q“的理由. 已知命题p|x+1|>2,q:5x-6>x²,则非p是非q的什么条件 若非P 推出 非Q,则P是Q的必要 不充分条件,这个命题是正确的吗?