逻辑学一公式如何推导

问题描述:

逻辑学一公式如何推导
如果p,那么q 等值于 非p或者q,为什么?怎么推导出来或者理解的?

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