6/FORMAL PROOF OF VALIDITY

To prove the validity of this argument by matrix test would . require us to write 64 rows of TV for each variable, since the argument has six of them. But the method of proof requires no more than two rules of inference to deduce the conclusion of the argument from its premises. By combining 1 and 2, we can infer -M by modus ponens. ................
................