2 Matching Annotations
 Jul 2020

en.wikipedia.org en.wikipedia.org

the ∧ and ∨ operators are dual in this sense, because (¬x ∧ ¬y) and ¬(x ∨ y) are equivalent. This means that for every theorem of classical logic there is an equivalent dual theorem. De Morgan's laws are examples


en.wikipedia.org en.wikipedia.org

Dual (mathematics), a notion of paired concepts that mirror one another
Tags
Annotators
URL
