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

问题描述:

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

这是个公理阿!
就是说有事件p,q;q要么是p,要么不是p;
q既是p又不是p的命题矛盾。

这是公理,大量实验说明,大家公认的

利用真值表

书上有吖..
很难讲
原命题:若P,则Q
逆命题:若Q,则P
否命题:若非P,则非Q
逆否命题:若非Q,则非P
原命题的真假==逆否命题的真假
逆命题的真假==否命题的真假
有例子..

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