GOPHERSPACE.DE - P H O X Y
gophering on firien.helluin.org
+-------------------------------------------------------------------+
| Math Note 001                    jodys@helluin.org |
| Logical Implications                       12/04/2013|
|                                                             v0.01 |
+-------------------------------------------------------------------+

Negation: If (P => Q), then the negation is that there exists a 
P => Q'. If the negation is true, then the original is not true.

Contraposition: If P => Q, then the contraposition is that !P => !Q

Inversion: If P => Q, then the inversion is !P => !Q. If the 
inversion is true or false, it has no bearing on the original
proposition.

Conversion: If P => Q, then the conversion is Q => P. This is the 
inverse of the contraposition so it has the same truth value as 
the inverse.