3 ms·Modus tollens. If X -> Y, then the only way for Y to be false is if X is false.by kqr 3y agoModus tollens. If X -> Y, then the only way for Y to be false is if X is false.