Conditional: If A then B
Converse: If B then A
Inverse: IF NOT A then NOT B
Contrapositive: IF NOT B then NOT A
If the conditional and converse are both true then a biconditional.
----------------------------------------------------------------------------
------------
If I am all wet on any of this, please point out my errors. Many moons
have passed since I took predicate and formal logic.