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