若p则q等价于若非q则非p
任意事件为q或非q,而非q则非p
所以如果p则q,则对任意事恒有q或非p