Megoldások

(1a) minden x némely y ismeri(x,y)
Az állítás hamis: ha x értéke a jobb szélső individuum, a kvantor hatókörében szereplő állítás hamissá válik, hiszen nem tudjuk y értékét úgy megválasztani, hogy ismeri(x,y) igaz legyen.

(1b) minden x (ha nem meghívott(x) akkor (némely y (meghívott(y) és ismeri(y,x)) vagy némely y (hozott-italt(y) és ismeri(x,y))))
Az állítás igaz: x-nek nincs olyan lehetséges értéke, amellyel hamis lenne a kvantor hatókörében szereplő mindkét részállítás.

(1c) minden x némely y (ismeri(x,y) és némely z (ismeri(y,z) és meghívott(z)))
Az állítás hamis: vö. (1a).

(1d) némely x minden y
((nem meghívott(y) és hozott-italt(y)) akkor-és-csak-akkor y = x)
Az állítás igaz: ha x értéke a középső individuum, a kvantor hatókörében szereplő állítás igazzá válik.

(1e) némely x (nem hozott-italt(x) és nem némely y ismeri(x,y)
és nem meghívott(x))
Az állítás igaz: ha x értéke a jobb szélső individuum, a kvantor hatókörében szereplő állítás igazzá válik.