单词 | propositional connective |
释义 | > as lemmaspropositional connective propositional connective n. Logic a connective (such as and, not, if...then) used as a logical operator on propositions. ΘΚΠ the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > propositional function > logical operation > sign or symbol operator1855 propositional connective1938 1938 Jrnl. Symbolic Logic 3 84 A deductive system is presented which involves..the propositional connectives, and prediction and quantification with respect to individuals. 1952 S. C. Kleene Introd. Metamath. iv. 73 In particular, ⊃, &, ∨, ¬ are propositional connectives, and operators of the forms ∀x and ∃x are quantifiers... These six are logical operators. 1997 Jrnl. Symbolic Logic 62 929 If ϕ is obtained from σ1, σ2 by the operation of a binary propositional connective, [etc.]. < as lemmas |
随便看 |
英语词典包含1132095条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。