elsőrendű logika

Kapcsolódó fogalmak: 
egzisztenciális kvantor
Kapcsolódó fogalmak: 
univerzális kvantor
Kapcsolódó fogalmak: 
konstansszimbólum
Kapcsolódó fogalmak: 
predikátumszimbólum
Kapcsolódó fogalmak: 
függvényszimbólum
Rövid szöveges bemutatás: 
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.