View Single Post
May22-09, 04:31 AM
Sci Advisor
PF Gold
Hurkyl's Avatar
P: 16,091
Well, the most brain-dead way is to write down a truth table, and invoke the fact that a proposition is a tautology if and only if all of the entries in its truth table are "true".