chapter  7
4 Pages

Valid Inference and Proof

WithG. E. Hughes, D. G. Londey

So far we have been concerned to establish the validity of certain forms of inference and to explain the technique of constructing truth-tables. Let us leave this for a moment and consider the uses to which we can put these valid forms of inference. We can distinguish two important uses – establishing (or proving) a conclusion, and disestablishing (or disproving) a set of premisses.