Universaliteit: verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
Kleuske (overleg | bijdragen)
k Wijzigingen door 213.93.130.58 (Overleg) hersteld tot de laatste versie door MerlIwBot
Regel 25:
==Voorbeelden==
 
Deze pagina is hartstikke dom, ga hier dan ook gelijk weg!
De volgende uitspraak is waar: voor alle [[geheel getal|gehele getallen]] ''z'' geldt dat <math> z^2 </math> een geheel getal is. Wiskundigen noteren:
 
:<math>\forall z \in \mathbb{Z} : z^2 \in \mathbb{Z}. </math>.<br>
"voor alle z die element zijn van Z geldt dat z kwadraat element is van Z"
 
De volgende uitspraak is echter onjuist: voor alle [[reëel getal|reële getallen]] ''x'' geldt dat <math> x^2 </math> een geheel getal is. Dit geldt bijvoorbeeld niet voor ''x'' = 1/2. Men noteert in dit geval:
 
:<math>\not\forall x \in \mathbb{R} : x^2 \in \mathbb{Z}. </math>
 
In het eerste geval geldt universaliteit, in het tweede geval niet.
 
Merk op dat uitspraak 2 ook geformuleerd kan worden als
 
:<math>\exists x \in \mathbb{R} : x^2 \notin \mathbb{Z}, </math>
 
waar <math>\exists</math> de [[existentie]]kwantor is.
 
==Equivalentieregels==