有任意二命题x与y，若x假y必假，x真y可真可假，并且，若y真x必真，y假x可真可假，则命题x逆蕴涵命题y