De Morgan's laws

(redirected from De Morgan's law)
Related to De Morgan's law: Boolean algebra, De Morgan's theorem

De Morgan's laws

pl n
(Logic) (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 and Unabridged, 12th Edition 2014 © HarperCollins Publishers 1991, 1994, 1998, 2000, 2003, 2006, 2007, 2009, 2011, 2014
References in periodicals archive ?
It saves proper inference using second de Morgan's law and the rule of contraposition.
It implements the inference using the first de Morgan's law and the rule of contraposition.
They include (i) completion of the modus ponens rule with the modus tollens: even a simple implication a [right arrow] b, implemented by a single molecule, is reversible: given a, our system deduces b, and, given ~b, the system deduces ~a; (ii) implementation of de Morgan's laws allowing to create a valid and compact system compatible with the laws of classical logic; and (iii) implementation of proofs by contradiction which are natural in many applications of logic.
For example, De Morgan's laws of equivalence as well as the rules of simplification, addition, and contraposition were well known to Ockham, Burley, Buridan, and Paul of Venice, who also formulated useful strategies for coping with problems of existential import, the putative Achilles' heel of "traditional" logic.