matematikk.net

Hei!

Har litt problemer med å forstå hva allkvantorer og eksistenskvantorer er for noe.

Hadde vært fint om noen kunne sette det i sammenheng med f.eks en ligning. Både begge kvantorene sammen (AxEy, ExAy, ExEy osv) og hver for seg..

På forhånd takk:)

AxAy [p(x) /\ f(y)] =

For alle x og alle y er utsagnet [p(x) og f(y)] sant.

AxEy [p(x) /\ f(y)] =

For alle x og en eller annen y er utsagnet [p(x) og f(y)] sant. (kan være flere y som gjør det sant, men jeg husker det som "En eller annen"...)


I en ligning:

p(x): x[sup]2[/sup] - 7x + 10 = 0

q(x): x is odd

A[sub]x[/sub] [q(x)->p(x)]

oversatt: "at x er oddetall tilsier at p(x) er sann for alle x"

Utsagnet er False fordi løsningen på p(x): x=3 eller 5
Derimot ville det vært sant hvis det hadde vært:

E[sub]x[/sub] [q(x)->p(x)]

(A'ene skal selvfølgelig være opp ned og E'ene speilvendt.)

Tror det blir riktig slik....
Comments from the gurus??

Aiight... takker for svaret:)

Har du MA0301 du også eller?