This deductive reasoning involves starting with an assertion, positing a consequent, and then using a negation of the consequent to deduce something else.
This deductive reasoning involves starting with an assertion, positing a consequent, and then using a negation of the consequent to deduce something else.