- biconditional
- A proposition of the form ‘if
*p*then*q*and if*q*then*p*’. It is standardly written*p*iff*q*.

*Philosophy dictionary.
Academic.
2011.*

- biconditional
- A proposition of the form ‘if
*p*then*q*and if*q*then*p*’. It is standardly written*p*iff*q*.

*Philosophy dictionary.
Academic.
2011.*

**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**— 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**— /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**— bi·conditional … English syllables**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**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