原文:假言命题的矛盾命题和推理规则