biconditional statement

biconditional statement

[‚bī·kən‚dish·ən·əl ′stāt·mənt]
(mathematics)
A statement that one of two propositions is true if and only if the other is true.