Er det noen som kunne hjulpet med med en alternativ forklaring, eller ett hint i riktig retning?
Slik lyder oppgaven:
MAT1030: Predikatlogikk
Moderatorer: Vektormannen, espen180, Aleks855, Solar Plexsus, Gustav, Nebuchadnezzar, Janhaa
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:
Er det noen som kunne hjulpet med med en alternativ forklaring, eller ett hint i riktig retning?
Slik lyder oppgaven:
There are only 10 kinds of people. Those who understand binary and those who don't.
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.
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.