if and only if statement

views updated

if and only if statement A well-formed formula of the form AB

where A and B are also appropriate well-formed formulas. See biconditional, propositional calculus.