逻辑推理-矛盾命题应用