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:)
Kvantorer
Moderators: Vektormannen, espen180, Aleks855, Solar Plexsus, Gustav, Nebuchadnezzar, Janhaa
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:)
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??
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??