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.
In your initial post, address the following:
Compare proof by contradiction and proof by contrapositive and provide an example of one or the other.