ABSTRACT
To establish the validity of this argument with a truth table would require a table of 16 rows. But we can establish its validity by a sequence of elementary arguments, each of which is known to be valid. Such a step-by-step procedure is called a formal proof.
