单词 | necessity operator |
释义 | > as lemmasnecessity operator necessity operator n. Logic a word or symbol signifying that the proposition to which it attaches is a necessary truth. ΘΚΠ the mind > mental capacity > philosophy > logic > logical truth > [noun] > other terms relating to material equivalence1892 truth set1940 necessity operator1953 1953 Jrnl. Symbolic Logic 18 267 The definition of negation..is considered with regard to applications to the L-calculi, which also may include quantifiers, and also the modal necessity operator. 1995 Noûs 29 487 The first assumption is prefaced by a necessity operator, yielding the claim that it is necessarily true that all truths are ideally verifiable. < as lemmas |
随便看 |
英语词典包含1132095条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。