# 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.

#### More From encyclopedia.com

Connective , connective A logical device used for the construction of more complex statements or expressions from simpler statements or expressions. Examples in e… Verification , The term "verification" concerns statements or theories. Since a theory can be formulated as a conjunction of hypotheses, and therefore as a single s… Proof (mathematics) , Proof
A proof is a logical argument demonstrating that a specific statement, proposition, or mathematical formula is true. It consists of a set of as… Tautology , tau·tol·o·gy / tôˈtäləjē/ • n. (pl. -gies) the saying of the same thing twice in different words, generally considered to be a fault of style (e.g.,… Tabular Presentation , Statistical tables are the most common form of documentation used by the quantitative social scientist, and he should cultivate skill in table constr… Table , Table
Background
The table is a basic piece of household furniture. It generally consists of a flat top that is supported by either a set of legs, pi…

#### You Might Also Like

#### NEARBY TERMS

**biconditional**