Denne formelen representerer utsagnet «Alle er idoler og Alice liker alle.»

Denne formelen representerer utsagnet «Det finnes et idol som Alice liker.», eller enklere: «Alice liker et idol.»

Denne formelen representerer utsagnet «For alle $x$, hvis $x$ er et idol så liker Alice $x$», eller enklere, «Alle idoler blir likt av Alice», eller enklere, «Alice liker alle idoler».

Denne formelen representerer utsagnet «Det finnes en $x$ slik at hvis $x$ er et idol, så liker Alice $x$». Dette er en «svak påstand», for utsagnet er sant hvis det finnes noen som ikke er et idol (da «finnes det en $x$» slik at $\Idol(x)$ er usann og dermed $\Idol(x) \rightarrow \Liker(a, x)$ er sann), eller hvis det finnes en som både er et idol og som blir likt av Alice.

Denne formelen uttrykker at alle som liker noen eller blir likt av noen er idoler.

Denne formelen representerer utsagnet «For alle $x$ og $y$, hvis $x$ og $y$ er idoler, så liker $x$ $y$», eller enklere, «Alle idoler liker hverandre».

Denne formelen uttrykker at alle er idoler og at alle liker hverandre.

Denne formelen uttrykker at det ikke er slik at det finnes en som liker alle, altså at ingen liker alle.

Denne formelen uttrykker at det finnes noen som ikke liker alle, men du skal finne formelen som uttrykker at ingen liker alle.

Denne formelen uttrykker at det finnes en som ikke liker noen, men du skal finne formelen som uttrykker at ingen liker alle.