Assume the statement p is true. Cite the reasons logically until you reach a contradiction.
Point out that the desired conclusion must be true because the contradiction
proves the temporary assumption false.
• Identify the statement you want to prove. Assume temporarily that this
statement is false (by negation) by assuming that its opposite is true.
Use what you know about p and other facts as necessary to deduce that
another statement
q
is true, that is show pq (if p then q) is true.​