不太确定你所说的矛盾式在这里是否是指命题的否定,如果是,请看下面的推导：p-->q 的否定 p-->q)p-->q) p v q) (p v q) p ^ q （非p且非q）这里指否定,即“非”)或者,更简单的方法,如果你知道 条件句的否定 有这样一...