11智能在线
新记
离散数学 构造以下推理的证明 前提:¬(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)析取三段式
得证。
温馨提示:内容为网友见解,仅供参考
当前网址:
https://11.t2y.org/zz/fvmv4p888mmvfs84ms7.html
其他看法
无其他回答
相似回答
大家正在搜
相关问题
离散数学证明:(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是方程...