„Elsőrendű logika” változatai közötti eltérés

a (→‎Kapcsolódó szócikkek: Lásd még fejezetcím módosítás az ajánlás szerint AWB)
{{Bővebben|Elsőrendű nyelv}}
 
Az elsőrendű nyelveket, ahogy a formális nyelveket általában [[formula|logikai formulák]], betűsorozatok [[halmaz]]aként definiáljuk. Ahogy minden formális nyelv esetén, adva van egy [[nyelvbázis]], azaz egy betűkészlet és szabályok egy halmaza, mely megadja, hogy a betűket milyen sorrendben lehet és kell összerakni. Ezeket a szabályokat nevezzük a nyelv [[szintaxisSzintaxis (programozási nyelvek)|szintaxisának]]ának. A nyelv elemei a következő osztályokban sorolhatók:
* nem-logikai konstansok<ref>A konstansjelek nullaváltozós logikai változók, konkrétan nullaváltozós függvényszimbólumok.</ref> és '''individuumváltozók''', melyek valamilyen adott U halmaz, az univerzum elemeit reprezentálják,
* az U halmazon értelmezett homogén [[művelet]]eket (függvényeket) jelölő függvényszimbólumok, melyek az U halmazba képeznek,