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

a
(→‎Hivatkozások: *{{cite book |last=Bach |first=Iván |title=Formális nyelvek: Egyetemi tankönyv |publisher=Typotex |location=Budapest |year=2002 |isbn=963 9132 92 6 |url=http://mek.oszk.hu/05000/050)
 
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 [[szintaxis]]á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,
* az U halmazon értelmezett, de az {„igaz”, „hamis”} (más jelöléssel {0,1}) halmazba képző heterogén műveleteket, a logikai függvényeket vagy [[predikátum]]okat jelölő predikátumszimbólumok
** '''nem-logikai változók''' ezek a függvényjelek és a predikátumjelek, az ún. többfajtájú nyelvekben még az ún. fajtajelek is (hogy megkülönböztessük őket a logikai változóktól, gyakran csak „jeleknek” vagy „szimbólumoknak” nevezzük őket, és nem tekintjük őket „logikai értelemben vett” változóknak). Ezek értelme egy adott interpretációban nem változik.
 
Megjegyzés: egyes felfogások szerint a konstansjelek nullváltozós logikai változók, konkrétan nullváltozós függvényszimbólumok.
----
<!-- A nulladrendű nyelvek koncepciója olyasmire épül, hogy az ilyen nyelvek „nem különböztetik meg az individuumokat”. Emiatt nincsenek bennük sem (nem-logikai) konstansszimbólumok (hisz ezek határozottan individuumokat jelölnek)), sem pedig (logikai) változók (hisz ezek is individuumokat jelölnek, csak „határozatlanul”).
 
-->
 
== Jegyzetek ==
<references/>