Suppose we want to show a statement of the for p is true. Suppose we find a contradiction q such that ¬p→q
Because q is false, but ¬p→q is true, we can conclude that ¬p is false, which means that p is true
How can we find a contradiction q that might help us prove that p is true in this way