命题逻辑中几种常见的推理证明方法