Denne formelen kan leses «det finnes en x slik at hvis x er en enhjørning, så har x magisk blod». Pilformler er sanne når det foran pilen er usant eller det etter pilen er sant, så denne formelen er sann hvis det finnes en x som ikke er enhjørning, eller hvis det finnes en x som er enhjørning og har magisk blod. Dette er en formel på formen $\exists x ( ... \rightarrow ... )$, og er altså sannsynligvis ikke riktig formel for det vi ønsker å representere.

Denne formelen uttrykker at det finnes en enhjørning som har magisk blod.

Denne formelen uttrykker at alle enhjørninger har magisk blod.

Denne formelen uttrykker at alle objekter vi snakker om er enhjørninger og har magisk blod.

Formelen kan leses som «det finnes ikke en x slik at x er enhjørning og har magisk blod», og uttrykker altså at ingen enhjørninger har magisk blod.

Formelen kan leses som «det finnes ikke en x slik at hvis x er en enhjørning, så har x magisk blod». Dette er en formel på formen $\exists x ( ... \rightarrow ... )$, og er altså sannsynligvis ikke riktig formel for det vi ønsker å representere.

Denne formelen uttrykker at det finnes noe eller noen som ikke både er enhjørning og har magisk blod.

Denne formelen uttrykker at ikke alle eller alt er enhjørninger og har magisk blod. Slik vi skal lære å tolke sannhetsverdier for førsteordens formler så er denne formelen ekvivalent med forrige formel.

Formelen kan leses som «for alle x så er det ikke slik at x er både enhjørning og har magisk blod», og uttrykker altså at ingen enhjørninger har magisk blod.