In logic, a biconditional is a compound statement formed by combining two conditionals under "and." Biconditionals are true when both statements (facts) have the exact same truth value. A biconditional is read as "[some fact] if and only if [another fact]" and is true when.