Question: what is the mathematical definition of biconditional?
Answer: A biconditional statement is a combination of a conditional statement and its converse written in the if and only if form. Two line segments are congruent if and only if they are of equal length. ... A biconditional is true if and only if both the conditionals are true.