Quote:
Originally Posted by Epsilon
So "If Tretiak is the greatest goalie of all time then Roy is the greatest goalie of all time" is a true statement so long as Tretiak is not the greatest goalie of all time, in which case the premise A is false and therefore 'not A' is true. In this situation, the truth value of B does not matter.

The statement cannot be true, because if Tretiak is the greatest goaltender it is impossible for other goaltender to be.
Even if tretiak is not the greatest, if he is Roy cannot be.