Soundness and Completeness of a Propositional Proof System

03-02-Live2, CS-550 Formal Verification