Tegenverzameling: verschil tussen versies

Uit De FNM-wiki
Naar navigatie springen Naar zoeken springen
kGeen bewerkingssamenvatting
Labels: Bewerking via mobiel Bewerking via mobiele website
Geen bewerkingssamenvatting
Regel 1: Regel 1:
[[Bestand:Tegenverzameling.jpg|miniatuur|Het symbool van de tegenverzameling]]
[[Bestand:Tegenverzameling.jpg|miniatuur|Het symbool van de tegenverzameling|upright=0.5]]
'''De tegenverzameling''' is een verzameling bestaande uit onwaarheden. Alles wat niet een [[De waarheid|ware]] uitspraak is, is een element in deze verzameling. In het bijzonder bevat de verzameling overoveraftelbaar (<math>\omega ^ 2</math>) veel tegenspraken.
'''De tegenverzameling''' is een verzameling bestaande uit onwaarheden. Alles wat niet een [[De waarheid|ware]] uitspraak is, is een element in deze verzameling. In het bijzonder bevat de verzameling overoveraftelbaar (<math>\omega ^ 2</math>) veel tegenspraken.


Regel 5: Regel 5:
Aftelbare deelverzamelingen van de tegenverzameling:
Aftelbare deelverzamelingen van de tegenverzameling:


* { ¬A, ¬B, ¬C }, met A,B,C ware uitspraken.
* <math>\{\neg A, \neg B, \neg C \}</math> met <math>A,B,C</math> ware uitspraken.
* { 'THAT SHED IS WHERE THE CHOSEN ONES GO TO DINE WITH THE SKINNY GODS' }
* <math>\{ \text{'THAT SHED IS WHERE THE CHOSEN ONES GO TO DINE WITH THE SKINNY GODS'} \}</math>
* { 'The brother gives the oats', 'The lamp is reachable', 'THE FIGURES ARE NO CONSUMERS, BROTHER '}
* <math>\{\text{'The brother gives the oats'}, \text{'The lamp is reachable'}, \text{'THE FIGURES ARE NO CONSUMERS, BROTHER'} \}</math>
* { 'Heed its light, brother' }
* <math>\{ \text{'Heed its light, brother'} \}</math>


Een overoveraftelbare isomorfie met de tegenverzameling:
Een overoveraftelbare isomorfie met de tegenverzameling:


* { 'x = y' | x, y ∈ ℝ ∧ x y }
* <math>\{ x = y : x,y \in \mathbb{R} \and x \not = y \}</math>


[[Category:Wiskunde]]
[[Category:Wiskunde]]

Versie van 30 mrt 2025 13:18

Het symbool van de tegenverzameling

De tegenverzameling is een verzameling bestaande uit onwaarheden. Alles wat niet een ware uitspraak is, is een element in deze verzameling. In het bijzonder bevat de verzameling overoveraftelbaar () veel tegenspraken.

Voorbeelden

Aftelbare deelverzamelingen van de tegenverzameling:

  • met ware uitspraken.

Een overoveraftelbare isomorfie met de tegenverzameling: