逻辑学一公式如何推导

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

这是个公理阿！

就是说有事件p，q；q要么是p，要么不是p；
q既是p又不是p的命题矛盾。

书上有吖..
很难讲

原命题:若P,则Q
逆命题:若Q,则P
否命题:若非P,则非Q
逆否命题:若非Q,则非P

原命题的真假==逆否命题的真假
逆命题的真假==否命题的真假

有例子..

利用真值表

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