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

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