Logical Inference

LOGICAL INFERENCE

Rule P : A premise may be introduced at any point in the derivation.

Rule T :A formula S may be introduced in a derivation if S is tautologically implied by any one or more of the preceding formula in the derivation

Rule CP: If we can derive S from R and a set of premises, then we an derive R-> S from the set of premises alone. (Deduction Theorem)..

Rules of Inference