如果两个性质判断的逻辑变项完全相同，而逻辑常项完全不相同，则这两个性质判断