逻辑中矛盾关系和反对关系