Slightly more difficult example of a formal proof. This proof does proof uses proof by deduction to prove the conclusion. Wikipedia (list of rules of inference): https://en.wikipedia.org/wiki/List_of_rules_of_inference
No download links available.
