可知q和非q是互斥事件,也就是说发生q必定不会发生非q。因此若p能推出q,则p必定推不出非q,因此若p则非q是假命题。