Kvantorer udsagn

Jeg ved ikke om der er en 'metode' som sådan, hvis det er dét du spørger om. Men lad os eks. kigge på b)

Jeg ville først tænke over hvad udsagnet betyder. Lad os derfor antage det er sandt for en stund: Det betyder at der findes et helt tal n sådan at følgende er sandt:

Dvs. vi kan vælge et vilkårligt helt tal m sådan at følgende er sandt:

Det er hvad udsagnet betyder - og det er ikke sandt! Fordi der simpelthen ikke findes et helt tal som er mindre end ALLE hele tal.

En anden måde at se det på er bare at 'oversætte' det til hverdagssprog:

"Der findes et helt tal n sådan at der for alle hele tal m gælder at m > n"

Eller sagt på en lettere måde:

"Der findes et helt tal som er mindre end alle hele tal"

---

Nu kan du måske prøve at tænke over a) eller c) på en tilsvarende måde... :-)

både a og c er rigtige

kan komme med et eksemple på C) "For every integer n, there exists an integer m such that m>n."

for alle hele tal n eksistere der et helt tal m hvor m>n

Dette er rigtigt. 

Men når jeg kigger på eksempel E bliver jeg meget i tvivl:

Vil den hedde:

for alle heltal a, eksistere der et heltal b, for alle heltal c, hvor  

Men dette udsang vil så være forkert?

Du har ret mht. a) og c)

Ja. Ville nok sige:

For alle heltal a, eksisterer der et heltal b, sådan at der for alle heltal c gælder at:

Det virker til du er med så langt. :-)

---

Men udsagnet er sandt. Her er et bevis:

Lad a være et vilkårligt heltal. Hvis a er negativ eller 0, så vælg b = 1, hvis a er positiv så vælg b = -1.

Da vil der altid gælde at

og eftersom der også altid gælder at

har vi at

hvilket viser at udsagnet er sandt.

---

Man skal lige vænne sig til kvantorer... Jeg synes det var rigtig svært da jeg lærte om det i sin tid.

Hvis jeg så ser på F)

Her vil det så betyder at den først og fremmest hedder: "for every integer a, for every integer b, there's an integer n such that a*b < c^2"

For alle heltal a, for alle heltal b, sådan at der eksistere et heltal c gælder at   

Dette udsagn kan konkluderes at være forkert, hvis jeg tager udgangspunkt i det du fortalt.

Og hvis jeg hermed ser på G og H, så har jeg fået det til at G er rigtig og H er forkert.

Det er netop det som det betyder - men udsagnet er faktisk også sandt. Her er et bevis:

Lad a være et vilkårligt heltal, og lad b være et vilkårligt heltal. Bemærk at da vil a*b også være et heltal. Vi skal vise der findes et heltal c sådan at

Hvis vi vælger c = a*b, så er ovenstående ulighed opfyldt, hvilket viser at udsagnet er sandt.

---

Ja, G og H ser ud til at være forkerte.

Mange tak for hjælpen, det har givet en meget bedre forståelse for kvantorer.