I feel like this is something different; X isn’t proven true or false here—we just prove that if X then Y, and then also if ~Y then ~X
I feel like this is something different; X isn’t proven true or false here—we just prove that if X then Y, and then also if ~Y then ~X