An indirect proof starts with the assumption that the statement we are trying to prove is not true.
y>6ory<6
Practice makes perfect
An indirect proof starts with the assumption that the statement we are trying to prove is not true.
In this case, the conclusion of the conditional statement is y=6.
The negation of this statement is that y is not equal to 6.
y isequal to 6.
⇓
y is notequal to 6.
The obtained negation means that y is greater or less than 6. Therefore, the negation of the conclusion is y>6 or y<6. Finally, we can state the assumption we would make to start the indirect proof.
Assumption:
y>6ory<6
