CSI 2101 / Rules of Inference (§1.5) Introduction what is a proof? Valid arguments in Propositional Logic equivalence of quantified expressions Rules of Inference in Propositional…