有任意二命题x与y，若x假y必真，x真y可真可假，并且，若y假x必真，y真x可真可假，则命题x与命题y之间具有下反对关系