| 释义 |
biconditional Logic.|ˌbaɪkənˈdɪʃənəl|
[f. bi-2 + conditional n.]
The relation between two propositions when one is true only if the other is true, or false if the other is false; the symbolic or verbal representation of such a relation. Also attrib. or as adj.
1940W. V. Quine Math. Logic i. §3. 20 This binary mode of composition may be called the biconditional. 1941― in P. A. Schilpp Philos. A. N. Whitehead ii. iv. 141 ‘≡’ is the biconditional sign. 1950― Methods of Logic §3. p. 16 The idiom ‘p if and only if q’, called the biconditional, amounts obviously to the conjunction of two conditionals, ‘if p then q’ and ‘if q then p’. 1961R. R. Stoll Sets, Logic, &c. ii. 58 The words ‘if and only if’ are used to obtain from two sentences a biconditional sentence. 1962Gloss. Automatic Data Processing (B.S.I.) 30 Equivalence operation..bi-conditional. |