p->(pVq)＾否(p->q)＾q就是重言式＾矛盾式,重言且矛盾就是“真且假”,结果是假,矛盾式.
p->(pVq)V否(p->q)＾q因为p->(pVq)是重言式,不管“V”后面的式子真值如何,p->(pVq)V否(p->q)＾q都是重言式.因为“V”是析取,“或”.