| 释义 |
Definition of De Morgan in English: De Morgannoun də ˈmɔːɡ(ə)n Logic Mathematics 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.
Origin Early 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). Definition of De Morgan in US English: De Morgannoundə ˈmɔːɡ(ə)n Logic Mathematics 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.
Origin Early 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). |