This function identifies a valid application of Indirect Proof.
In Indirect Proof, you prove that something is true by demonstrating that
negating it leads to a contradiction.
With indirect proof, a person introduces a new proposition at a given line,
and this line is not derived from any other line, it is simply assumed.
This is then the Assumption. Then the person will continue to complete the
proof. But if they are able to derive a contradition from the assumption,
then we can assert the negation of the assumption.
This function identifies a valid application of Indirect Proof. In Indirect Proof, you prove that something is true by demonstrating that negating it leads to a contradiction. With indirect proof, a person introduces a new proposition at a given line, and this line is not derived from any other line, it is simply assumed. This is then the Assumption. Then the person will continue to complete the proof. But if they are able to derive a contradition from the assumption, then we can assert the negation of the assumption.