单词 | strict implication |
释义 | > as lemmasstrict implication strict implication n. Logic a relationship holding between propositions in which it is impossible for the antecedent to be true and the consequent false. Cf. material implication n. at material adj., n., and adv. Compounds 1. ΘΚΠ the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > implication logical implication1887 prehensiveness1897 formal implication1903 material implication1903 implication1906 strict implication1912 entailment1933 1912 C. I. Lewis in Mind XXI. 526 Intensional disjunction bears the same relation to inferential or ‘strict’ implication that extensional disjunction bears to the algebraic or ‘material’ implication. 1933 C. A. Mace Princ. Logic iv. 68 This is clearly a different sense of implies, and is sometimes called strict implication. 1947 H. Reichenbach Elem. Symbolic Logic viii. 379 The calculus of strict implication..constitutes a system of this kind. 1977 Fontana Dict. Mod. Thought 206/1 The systems of strict implication are the basis of contemporary modal logic. < as lemmas |
随便看 |
|
英语词典包含1132095条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。