##### 命题逻辑推理 - 充分条件推理 - $p\rightarrow q$ - $p$ - $\therefore q$ - 充分条件推理 - $p\rightarrow q$ - $\neg q$ - $\therefore \neg p$ - 充分条件推理 - $p\rightarrow q$ - $q\rightarrow r$ - $\therefore p\rightarrow r$ - 析取推理 - $p\lor q$ - $\neg p$ - $\therefore q$ - 附加律 - $p$ - $\therefore p\lor q$ - 化简律 - $p\land q$ - $\therefore p$ - 合取律 - $p$ - $q$ - $\therefore p\land q$ - 消解律 - $p\lor q$ - $\neg p\lor r$ - $\therefore q\lor r$