编程基础-矛盾关系判定