Wetten van De Morgan

De wetten van De Morgan, of regels van De Morgan, zijn twee wetten in de formele logica die een verband leggen tussen de beide logische operatoren EN en OF en de negatie. Deze relatie wordt ook de dualiteit van De Morgan genoemd. Zij zijn genoemd naar de Britse wiskundige Augustus De Morgan, maar waren al eerder bekend.

Voor twee proposities A en B luiden de wetten:

niet (A en B) = (niet A) of (niet B)

niet (A of B) = (niet A) en (niet B)

In symbolen, waarbij EN door · wordt voorgesteld, OF door + en NIET door een overstreping, wordt dat:

{\overline {A\cdot B}}={\overline {A}}+{\overline {B}}

{\overline {A+B}}={\overline {A}}\cdot {\overline {B}}

De wetten kunnen gegeneraliseerd worden voor meer dan twee proposities:

{\overline {\prod _{i=1}^{n}P_{i}}}=\sum _{i=1}^{n}{\overline {P_{i}}}

ofwel:

{\overline {P_{1}\cdot P_{2}\cdot \ldots \cdot P_{n}}}={\overline {P_{1}}}+{\overline {P_{2}}}+\ldots +{\overline {P_{n}}}

{\overline {\sum _{i=1}^{n}P_{i}}}=\prod _{i=1}^{n}{\overline {P_{i}}}

ofwel:

{\overline {P_{1}+P_{2}+\ldots +P_{n}}}={\overline {P_{1}}}\cdot {\overline {P_{2}}}\cdot \ldots \cdot {\overline {P_{n}}}

Voorbeeld

Een eenvoudig voorbeeld illustreert deze wetten:

A = ik heb een fiets

B = ik heb een auto

X = ik kan naar het werk rijden

De als eerste genoemde wet geeft in dit geval:

"Ik kan naar mijn werk rijden als ik een auto of een fiets heb."

X=A+B

\Longleftrightarrow

"Ik kan dus niet naar mijn werk rijden als ik geen auto en geen fiets heb."

{\overline {X}}={\overline {A}}\cdot {\overline {B}}

Verband met andere logica

De formulering van De Morgan is beïnvloed door de ontwikkeling van de booleaanse algebra door George Boole, waaruit blijkt dat De Morgan de wet later vond dan Boole. Nochtans waren soortgelijke observaties al gedaan door Aristoteles en was de wet gekend door Griekse en middeleeuwse denkers, zoals de logicus Willem van Ockham (bron gewenst voor deze bewering).

In de formele logica worden de wetten gewoonlijk geschreven als:

\neg (P\wedge Q)=(\neg P)\vee (\neg Q)

\neg (P\vee Q)=(\neg P)\wedge (\neg Q)

en in de verzamelingenleer als:

(A\cap B)^{c}=A^{c}\cup B^{c}

(A\cup B)^{c}=A^{c}\cap B^{c}

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.