Mathematical reasoning is a topic of mathematics which deals with truthfulness and falsehood of a statement. A statement is a sentence which is either true or false, but can not be both at the same time. There are certain terms that are frequently used in mathematical reasoning:

• Inverse: The conditional statement “~p → ~q” is called the inverse of the conditional statement “ p → q ”, where (~ p) and (~ q) means 'not p' and 'not q' respectively. For example, if 'n is not even, n² is not even' is the inverse of 'if n is even, n² is even.'
• Converse: The conditional statement “q → p” is called the converse of the conditional statement “ p → q ”. Example, 'if n2 is even, then n is even' is the converse of 'If n is even, then n2 is even'.
• Contrapositive: The statement “(~ q) → (~ p)” is called the contrapositive of the statement p → q. For example, 'If n2 is not even, then n is not even' is contrapositive of 'If n is even, then n2 is even'

Hence, we conclude that the above relation is of contraposition.