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.