Thread
:
Give the Formal Proof
View Single Post
May22-09, 04:31 AM
#
2
Hurkyl
Recognitions:
Gold Member
Science Advisor
Staff Emeritus
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".