Observe the truth table below:

lawsoflogicsaygodexists!

The type of reasoning used to prove the truth is Modus Tollens. (It’s a Latin phrase meaning: “mode that denies by denying”.) It’s also proof by the contrapositive. (A process of elimination) Also, know that the word true can also mean: “not falsified”. (In other words, proven to not be false.)