Biconditional Statement. A conditional statement that also has a true converse. It is symbolized this way. “p if and only if q.”