Finally, since differentiability implies continuity, the contrapositive states " discontinuity " implies non-differentiability.
12.
Appealing now to the fact that a statement is equivalent to its contrapositive, we obtain the equivalent statement:
13.
The theorem is used in the contrapositive : the conclusion is wrong, so some premise must be wrong.
14.
Using Riesz's idea, this definition can be made more precise and its contrapositive is the familiar definition.
15.
Ulatowski points out that this is the contrapositive of the principle stated by Immanuel Kant : " ought implies can ".
16.
This is the contrapositive of the first statement, and it must be true if and only if the original statement is true.
17.
The contrapositive is the product of the method of contraposition, with different outcomes depending upon whether the contraposition is full, or partial.
18.
This is often called the " law of contrapositive ", or the " modus tollens " rule of inference.
19.
All it does is brand new editors ( and old ones, by the contrapositive ), short-circuiting AGF and WP : Civility.
20.
However, via the contrapositive, it's true that C ( a ) \ nless C ( b ) implies a \ nrightarrow b.