CIS 301 Textbook
>
Propositional Logic Proofs
Chapter 4
Propositional Logic Proofs