Charles Brown
Fri, 30 Jun 2000 12:00:22 -0700
>>> [EMAIL PROTECTED] 06/30/00 01:25PM >>> After thinking better of my sarcastic tone to Carrol's message. Let me explain. A tautology is a statement that is true by definition. That is, it is always true. A = A is a tautology. A = B is not a tautology. That is, it might be false. Similarly all true statements are not tautologies. I.e., A = B might be true. __________ CB: Sorry, couldn't help saying this since we are in a logical vein. You mean "not all true statements are tautologies" , I believe. I agree with your post, though. _________ If all statements were tautologies, math and logic would be very easy. Anything you write down would be true. No need to prove anything. --