nulladrendű: állítások >> elsőrendű: részletesebb

>> univerzum
objektumok (változók, konstansok)
relációk
függvények

>> kvantorok, nyílt/zárt mondat

Minden ember halandó és szokott tévedni. >> univerzum választásásnak fontossága
Mindenki, aki átment a DM vizsgán és nyert a lottón az boldog.
Van olyan gomba, amelyik mérgező
Létezik olyan állat amelyik nem halandó
Nincs olyan ló, amelyik nem négylábú. <<->> Minden ló négylábú.
Ki korán kel, aranyat lel.

Ödön fiatal
Ödön barátkozik fiatalokkal: megoldás
Ödön csak fiatalokkal barátkozik
Az idősebbek nem barátkoznak Ödönnel
Ödön mindenkivel barátkozik, aki fiatal
Aki fiatal nem barátkozik Ödönnel, aki pedig idős, azzal Ödön nem barátkozik.

Minden kikapcsolt állapotú fénysorompó esetén minden autós ha észreveszi a fénysorompót, akkor körülnéz és a következő időpillanatban vagy áthalad, vagy megáll.