作业帮 > 数学 > 作业

普通逻辑 非p →q 的矛盾式为非p ^非q 这是怎么推出来的

来源:学生作业帮 编辑:灵鹊做题网作业帮 分类:数学作业 时间:2024/05/31 07:09:32
普通逻辑 非p →q 的矛盾式为非p ^非q 这是怎么推出来的
普通逻辑 非p →q 的矛盾式为非p ^非q 这是怎么推出来的
不太确定你所说的矛盾式在这里是否是指命题的否定,如果是,请看下面的推导:
p-->q 的否定 p-->q)
p-->q)
p v q)
(p v q)
p ^ q (非p且非q)
这里指否定,即“非”)
或者,更简单的方法,如果你知道 条件句的否定 有这样一个定理 (p-->q) p ^ q,上述推导过程一步就可完成,即 p-->q) p ^ q