matematikk.net

Hei. Sliter med en oppgave i MAT1030 om predikatlogikk. Jeg sliter rett og slett med å forstå selve oppgaveteksten.

Er det noen som kunne hjulpet med med en alternativ forklaring, eller ett hint i riktig retning?


Slik lyder oppgaven:

For det første er en ordning en relasjon mellom par av elementer i en mengde slik at

i) x kan ikke være både større og mindre enn y

ii) hvis x er mindre enn y og y er mindre enn z er x mindre enn z

I en total ordning vil i tillegg

iii) enten x være mindre, lik eller større enn y


For en ordning som ikke er total er det nok at det fins ett par (x,y) av elementer i mengden som ikke kan sammenlignes, dvs. der hverken x>y, x=y eller x<y.

Hvis du kan skrive om dette ved bruk av kvantorerer etc. så trur jeg du har kommet i mål...

Trikset er altså å formelt skrive ned hva som er det komplementære til en total ordning.