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 ...

Hvis man skal generalisere det utsagnet.
Vil det da bli:

2^N - 2^(N/2)

I eksemplet blir da
2^11 - 2^(11/2)
= 2^11 - 2^5.5
= 2^11 - 2^6

Blir det riktig å gjøre det så enkelt, eller burde man unngått den opprundingen når man har flest oddetall