逻辑学学习.6--- 命题逻辑（四）：推演的简单规则