性质命题的直接推理 逻辑学87页PPT