De Morgan's laws

De Morgan's laws

noun
1.
Logic. two laws, one stating that the denial of the conjunction of a class of propositions is equivalent to the disjunction of the denials of a proposition, and the other stating that the denial of the disjunction of a class of propositions is equivalent to the conjunction of the denials of the propositions.
2.
Mathematics.
a.
the theorem of set theory that the complement of the union of two sets is equal to the intersection of the complements of the sets.
b.
the theorem of set theory that the complement of the intersection of two sets is equal to the union of the complements of the sets.

Origin:
1915–20; named after A. De Morgan

Dictionary.com Unabridged
Based on the Random House Dictionary, © Random House, Inc. 2014.
Cite This Source Link To De Morgan's laws
Collins
World English Dictionary
De Morgan's laws
 
pl n
(in formal logic and set theory) the principles that conjunction and disjunction, or union and intersection, are dual. Thus the negation of P & Q is equivalent to not-P or not-Q
 
[named after Augustus De Morgan (1806--71), British mathematician]

Collins English Dictionary - Complete & Unabridged 10th Edition
2009 © William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins
Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009
Cite This Source
Copyright © 2014 Dictionary.com, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature