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

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 theorem
释义	> as lemmas De Morgan's theorem 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
随便看	cattleshow cattlesickness cattlespecked cattlesprent cattlestealer cattlesteamer cattlestop cattlethief cattletick cattletrack cattletrade cattletrail cattletrain cattletrough cattletruck cattlewagon cattleway cattleya cattleyard cattleyas cattlish cattrail cattree catty catur

> as lemmas