Rules of Inference: Examples and Strategies
Here are several sample proofs.
Example 1
Example 2
Example 3
The
following exercises
have proofs you may complete yourself.