+-------------------------------------------------------------------+
| Math Note 001                                   [email protected] |
| 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.

You are viewing proxied material from firien.helluin.org. The copyright of proxied material belongs to its original authors. Any comments or complaints in relation to proxied material should be directed to the original authors of the content concerned. Please see the disclaimer for more details.