Universaliteit: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
Geen bewerkingssamenvatting |
k Bot: corrigeren verouderde syntax in formules - mw:Extension:Math/Roadmap |
||
Regel 46:
Domeinverzwakking: <math>(\forall x : P \wedge Q : R) \Leftrightarrow (\forall x : P : Q \Rightarrow R)</math>
Domeinsplitsing: <math>(\forall x : P \
DeMorgan: <math>\neg (\forall x : P : Q) \Leftrightarrow (\exists x : P : \neg Q )</math> en <math>\neg (\exists x : P : Q) \Leftrightarrow (\forall x : P : \neg Q )</math>
| |||