# biconditional

biconditional
noun Date: 1940 a relation between two propositions that is true only when both propositions are simultaneously true or false — see truth table table

New Collegiate Dictionary. 2001.

### Look at other dictionaries:

• biconditional — |bī+ noun Etymology: bi (I) + conditional 1. : a statement of a relation between a pair of propositions such that one is true only if the other is simultaneously true, or false if the other is simultaneously false 2. : the symbolic representation …   Useful english dictionary

• Biconditional elimination — allows one to infer a conditional from a biconditional: if ( A ↔ B ) is true, then one may infer either direction of the biconditional, ( A → B ) and ( B → A ).For example, if it s true that I m breathing if and only if I m alive, then it s true… …   Wikipedia

• Biconditional introduction — In mathematical logic, biconditional introduction is the rule of inference that, if B follows from A, and A follows from B, then A if and only if B.For example, from the statements if I m breathing, then I m alive and if I m alive, then I m… …   Wikipedia

• biconditional gate — loginis ekvivalentumo elementas statusas T sritis automatika atitikmenys: angl. biconditional gate; equality gate; equivalence element; equivalence gate; equivalent to element; exclusive NOR gate; identity element; material equivalence element… …   Automatikos terminų žodynas

• biconditional — /buy keuhn dish euh nl/, adj. Logic. (of a proposition) asserting that the existence or occurrence of one thing or event depends on, and is dependent on, the existence or occurrence of another, as A if and only if B. [1935 40; BI 1 + CONDITIONAL] …   Universalium

• biconditional — 1. adjective Having two conditions 2. noun An if and only if conditional wherein the truth of each term depends on the truth of the other …   Wiktionary

• biconditional — A proposition of the form ‘if p then q and if q then p ’. It is standardly written p iff q …   Philosophy dictionary

• biconditional — bi·conditional …   English syllables

• Logical biconditional — In logic and mathematics, the logical biconditional (sometimes known as the material biconditional) is the logical connective of two statements asserting p if and only if q , where q is a hypothesis (or antecedent) and p is a conclusion (or… …   Wikipedia

• If and only if — Iff redirects here. For other uses, see IFF (disambiguation). ↔ ⇔ ≡ Logical symbols representing iff. In logic and related fields such as mathematics and philosophy, if and only if (shortened iff) is a biconditional logical connective between… …   Wikipedia