elsőrendű logika

Az elsőrendű logika egy olyan matematikai leírás, melyben az általános logikai kapcsolatokon túl, függvényeket, konstansokat, változókat és kvantorokat is használhatunk. Tehát lehetőségünk van leírni, hogy az egyes állítások minden egyes objektumra vonatkoznak, vagy van olyan objektum melyre érvényes. Például mondhatom, hogy LÉTEZIK-y, hogy Megesz(y, Csoki), tehát létezik olyan objektum melyre fennáll, hogy megeszi a csokit. Az elsőrendű logikát sokrétűen alkalmazzák, mert képes a világot igen komplexen, de mégis egzakt módon kifejezni.