单词 | De Morgan |
释义 | De Morgan/də ˈmɔːɡ(ə)n/Logic and Mathematics noun 1Attributive and in the genitive, especially in De Morgan's law, De Morgan's theorem. Designating two laws of the propositional calculus, (a) that the negation of a conjunction is logically equivalent to the alternation of the negations of the conjoined expressions, and (b) that the negation of an alternation is logically equivalent to the conjunction of the negations of the alternated expressions.
2= De Morgan's theorem. OriginEarly 20th century; earliest use found in Mind. From the name of Augustus De Morgan, English mathematician, who formulated the laws, although they were known to medieval writers such as William of Ockham (Summa logicae). |
随便看 |
英语词典包含243303条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。