英语词汇“de morgan's law”的英英意思、用法、释义、翻译、读音、例句、短语、词组-英语词典

1. attributive and in the genitive, esp. 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; (also) designating the analogous truths in the algebra of classes.The laws may be stated symbolically as ∼(p.q) ≡ ∼p ∨ ∼q, and ∼(p ∨ q) ≡ ∼p.∼q, which may be rendered as: (a) if p and q are not jointly true, then p is false or q is false; (b) if neither p nor q is true, then p is false and q is false.

ΚΠ

1912 Mind 21 530 De Morgan's Theorem holds only for extensional disjunction.

1932 C. I. Lewis & C. H. Langford Symb. Logic ii. 33 These always follow from their correlates by some use of De Morgan's Theorem.

1950 W. V. Quine Methods of Logic (1952) §10. 53 De Morgan's laws are useful in enabling us to avoid negating conjunctions and alternations.

2002 J.-Y. Béziau in W. A. Carnielli et al. Paraconsistency xxiv. 480 From the fact that we obviously have ⊢ a → a, we get ⊢ ¬a ∨ a, by application of the De Morgan law for implication.

单词	de morgan's law
释义	> as lemmas De Morgan's law 1. attributive and in the genitive, esp. 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; (also) designating the analogous truths in the algebra of classes.The laws may be stated symbolically as ∼(p.q) ≡ ∼p ∨ ∼q, and ∼(p ∨ q) ≡ ∼p.∼q, which may be rendered as: (a) if p and q are not jointly true, then p is false or q is false; (b) if neither p nor q is true, then p is false and q is false. ΚΠ 1912 Mind 21 530 De Morgan's Theorem holds only for extensional disjunction. 1932 C. I. Lewis & C. H. Langford Symb. Logic ii. 33 These always follow from their correlates by some use of De Morgan's Theorem. 1950 W. V. Quine Methods of Logic (1952) §10. 53 De Morgan's laws are useful in enabling us to avoid negating conjunctions and alternations. 2002 J.-Y. Béziau in W. A. Carnielli et al. Paraconsistency xxiv. 480 From the fact that we obviously have ⊢ a → a, we get ⊢ ¬a ∨ a, by application of the De Morgan law for implication. extracted from De Morgann. < as lemmas
随便看	iron ore iron out iron out the wrinkles iron oxide iron pan iron paper iron period iron phosphate iron pill iron planer iron play iron player iron puddler iron puddling iron pyrites iron rations iron rice bowl iron road iron rock iron rod iron rust iron salt iron sand iron saw iron scale

> as lemmas