PEN-L
mailing list archive
[ Other Periods  | Other mailing lists  | Search  ]
Date:  [ Previous  | Next  ]      Thread:  [ Previous  | Next  ]      Index:  [ Author  | Date  | Thread  ]

re: Tautology


>>> rodhay@xxxxxxxxxx 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.

--
[ Other Periods  | Other mailing lists  | Search  ]