Conditional statement is a statement with a hypotesis and a conclusion:
[tex] If \text{ \underline{ hypothesis } } p, then \text{ \underline { conclusion } } q [/tex]
or mathematically [tex] p\rightarrow q [/tex].
Converse statement of [tex] p\rightarrow q [/tex] is statement [tex] q\rightarrow p[/tex].
If you negate (that means stick a "not" in front of) both the hypothesis and conclusion, you get the inverse:
[tex] \neg p\rightarrow \neg q [/tex].
Finally, if you negate everything and flip p and q (taking the inverse of the converse) then you get the contrapositive:
[tex] \neg q\rightarrow \neg p [/tex].
Example:
1. Conditional statement: If I am sleeping, then I have closed eyes. (true)
2. Converse statement: If I have closed eyes, then I'm sleeping. (not necessarily true)
3. Inverse statement: If I'm not sleeping, then I haven't closed eyes. (not necessarily true)
4. Contrapositive statement: If I haven't closed eyes, then I'm not sleeping. (true)