Anta at B,F og K er relasjonssymboler slik at Bx tolkes som "x er en biolog", Fx tolkes som "x er en filosof" og Kxy tolkes som "x kjenner y". Anta at a, b og c er konstantsymboler som representerer Aristotles, Bolzano og Copernicus.
Finn førsteordens formler for følgende setninger: (a) Aristoteles er både en biolog og en filosof. (b) Alle biologer er filosofer. (c) Ingen filosofer er biologer. (d) Aristoteles kjenner en filosof. (e) Bolzano kjenner filosofer. (f) Copernicus kjenner bare biologer. (g) Alle kjenner en filosof. (h) Alle kjenner noen som kjenner en filosof. Finn gode og naturlige norske setninger for følgende førsteordens formler:
(i) ¬∃x(Bx ∨ Fx)
(j) ∃x(Kax ∧ ¬Bx)
(k) ∀x∀y((Fx ∧ Fy) → Kxy)
(l) ∃x(∀y(Fy → Kxy))