语言 如果p则q：¬q推¬p 只有p才q：¬p推¬q，q推p 或：否1推肯1 否则：¬p推q，p或q 常用 如果p则q且r：¬q推¬p 如果p且q则r ⇔ 只有p才q且r：¬r推¬p或¬q，p推¬q 如果p或q则r：¬r推¬p且¬q；p推r