Re-create the proof of one of the examples from section 3.2 of the textbook (http://discrete.openmathbooks.org/dmoi3/sec_logic-proofs.html). State which proof method is used in your proof.

Then, discuss why, or why not, alternative proof methods would also work for the example you chose.