
A statement that is always true for all logical possibilities is called a tautology. A statement that is always false is called a contradiction. Thus the truth table of a tautology will have T and only T in the last column while a contradiction will have F and only F in the last column. Hence to determine whether a given statement is tautology or not, we construct the truth table and see whether the last column contains all T's or not. All tautologies are true by virtue of their logical structure, and their tuth is independent of anything to which the sentences might refer. In other words, a tautology is logically true, and its truth has nothing to do with whatever the sentence may be talking about.
Example: Prove that the sentence ' It is wet or it is not wet' is a tautology.
