Thursday, November 22, 2007 5:23:41 AM
yaimhere I can assure you that P->Q and ¬P->¬Q do not give the same truth values. P->Q is equivalent to ¬P v Q ¬P->¬Q is equivalent to P v ¬Q Suppose P is true and Q is false. Then the first expression is false and the second is true. And I'm sure you know that true doesn`t equal false (except perhaps in quantum computing). Trust me on this one!