Given a conditional statement [tex] P \implies Q [/tex], you have:
- The original statement is [tex] P \implies Q [/tex]
- The inverse statement is the negation of both sides: [tex] \lnot P \implies \lnot Q [/tex]
- The converse statement switches hypothesis and conclusion: [tex] Q \implies P [/tex]
- The contrapositive statement is switching hypothesis and conclusion, and negating both: [tex] \lnot Q \implies \lnot P [/tex]
So, in your case, you have the inverse statement.