Biconditional Statement

A conditional statement where both the conditional statement and its converse are true. Written as $P⟺Q$, meaning “P if and only if Q.”

See Also

• conditional statement
• congruent modulo
• statement
• logic