Rules of Inference Practice

Rules of Inference are logical rules used to deduce new statements from existing ones, forming the basis for mathematical proofs in discrete math.