Method of Truth Tables/Indirect Technique

Proof Technique
The conventional technique of proving a tautology by means of a truth table can be unwieldy when there are many variables.

There is an indirect method of proving a tautology which is shorter.

It is recognised that the truth table for a tautology contains all $T$ down the column containing the main connective.

Hence it follows that if there exist any instances of $F$ in that column, the proposition under investigation is not a tautology.

Suppose we make the hypothesis that the proposition under investigation is not a tautology.

Then there exists an instance of $F$ under the main connective.

We construct the heading of the truth table in the same way as for the conventional technique: one column for each variable and one for each connective.

Under the main connective we place $F$.

Examining the conditions under which the consequence is $F$ for that connective, we place truth values under the elements of the proposition which are in the scope of the main connective so as to allow $F$.

Similarly we work backwards through each of the components of the proposition.

If it is impossible to complete the truth table row consistent with the behaviour of the connectives, then no $F$ can appear under the main connective.

Therefore the proposition under investigation is a tautology.

If it is possible to complete the truth table row consistently, then the proposition under investigation is not a tautology.