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.
If all statements were tautologies, math and logic would be very easy.
Anything you write down would be true. No need to prove anything.
--
Rod Hay
[EMAIL PROTECTED]
The History of Economic Thought Archive
http://socserv2.mcmaster.ca/~econ/ugcm/3ll3/index.html
Batoche Books
http://Batoche.co-ltd.net/
52 Eby Street South
Kitchener, Ontario
N2G 3L1
Canada
