请输入您要查询的英文单词:

 

单词 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.
  • 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..
2= De Morgan's theorem.

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).

随便看

 

英语词典包含243303条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2024/9/22 1:20:15