, if S is a statement of the form
- P implies Q
then the inverse
of S is the statement of the form
- (not P) implies (not Q).
S and its inverse are logical equivalents.
See also: Converse, Contrapositive
All Wikipedia text
is available under the
terms of the GNU Free Documentation License