In addition to being considered an indirect proof method, modus tollens is also known as a proof by this type of statement.
In addition to being considered an indirect proof method, modus tollens is also known as a proof by this type of statement. The relationship between this type of statement and an original statement is the same as the relationship between an inverse and a converse, and that relationship can be used to solve logic problems such as the ones in Lewis Carroll's book Symbolic Logic. If the original statement is that p implies q, then this statement is that not q implies not p. Name this statement that has the same truth value as the statement it is derived from.
In addition to being considered an indirect proof method, modus tollens is also known as a proof by this type of statement.
contrapositive [accept contraposition]