How to conduct a deductive proof using rules of inference. A beginner example of propositional logic.
No download links available.