Formal Proof by Case Analysis using rules of inference. Here is the Wikipedia article with a list of all well-known rules of inference: https://en.wikipedia.org/wiki/List_of_rules_of_inference
No download links available.