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