A combination of a conditional statement and its converse written in the "if any only if" form. Both the conditional and the converse must be true before writing this statement.

Answer:
biconditional
Step-by-step explanation:
Given the conditional statement : p -> q
Its reverse is: q -> p
written in the "if and only if" is: p <-> q
gives us a biconditional statement.
A biconditional statement is defined to be true whenever both parts have the same truth value.