### Rules of Inference

Rules of inference: We can describe the process of derivation by which demonstrates that a particular formula is a valid consequence of a given set of premises. Before we do this, we give two rules of inference which are called Rule P and Rule T. Rule P: A premises may be introduced at any point […]