(1)核心知识

　　(2)假言判断的等价推理规则

　　1)(

　　P→Q)=(非 P←非 Q)

　　2)(

　　P→Q)=(非 P 或 Q)

　　3)非 P→(

　　P→Q)

　　4)Q→(

　　P→Q)