A compound statement or proposition
that asserts that its two component statements have the same truth-values, and therefore are materially equivalent. So named because, since the two component statements are either both true or both false, they must imply one another. A biconditional statement form is symbolized “p º q” which may be read as “p if and only if q”
Biconditional