Studieretningsprojekt/-opgave (SRP/SRO)

Betydning af kvantorer

16. december 2015 af Jensenlone (Slettet)

∀x≠Ø∃y∈x:y∩x=Ø

Ovenstående udtryk er et aksiom jeg gerne vil inddrage i min opgave.

Er det rigtigt forstået hvis jeg i min SRP om aksiomet skriver:
"Hvis det for alle mængder x, gælder at de ikke indeholder den tomme mængde, skal der være en delmængde y, som skal have den tomme mængde som fællesmængde med x. "

Brugbart svar (0)

Svar #1
16. december 2015 af mathon

x er ikke en mængde men et element.
Den tomme mængde Ø indeholder ingen elementer, hvorfor $x\notin\O$ er en overflødig konstatering.

Din symbolbrug er helt hen i vejret og fortæller rigtig meget om graden af dine misforståelser.

Svar #2
16. december 2015 af Jensenlone (Slettet)

Selve udtrykket har jeg herfra:

http://www.math.ku.dk/noter/filer/maty.pdf

Ifølge ZFC-aksiomerne er alle elementer også en selvstændig mængde. Hvordan ville du give et bud på det?

Brugbart svar (0)

Svar #3
16. december 2015 af SådanDa

For alle ikke-tomme mængder x eksisterer der y fra x således at y og x snitter tomt.

Aksiomatisk mængdelære er syret...

Skriv et svar til: Betydning af kvantorer

Du skal være logget ind, for at skrive et svar til dette spørgsmål. Klik her for at logge ind.
Har du ikke en bruger på Studieportalen.dk? Klik her for at oprette en bruger.