biconditional
biconditional A logical statement combining two statements, truth values, or formulas P and Q in such a way that the outcome is true only if P and Q are both true or both false, as indicated in the table.
The biconditional connective can be represented by ≡ — <—> or <=>
and is read as “if and only if” or “iff” or “is equivalent to”. Note that P ≡ Q has the same truth table as the conjunction (P → Q) ∧ (Q → P)
where → denotes a simple conditional. The biconditional connective itself is also known as the biconditional.
The biconditional connective can be represented by ≡ — <—> or <=>
and is read as “if and only if” or “iff” or “is equivalent to”. Note that P ≡ Q has the same truth table as the conjunction (P → Q) ∧ (Q → P)
where → denotes a simple conditional. The biconditional connective itself is also known as the biconditional.
More From encyclopedia.com
You Might Also Like
NEARBY TERMS
biconditional