A mathematical proof is an argument that convinces other people that something is true. In mathematical logic, "likely to be true" is not good enough. We try to prove things beyond any doubt at all.

address the following:

Compare proof by contradiction and proof by contrapositive and provide an example of one or the other.

Is the proof well-written and logically clear and correct?