Thread
:
Give the Formal Proof
View Single Post
Hurkyl
#
2
May22-09, 04:31 AM
Emeritus
Sci Advisor
PF Gold
P: 16,092
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".