有任意二命题x与y，若x真y必假，x假y必真，反之亦然，则命题x与命题y互为对方的矛盾命题