„Elsőrendű logika” változatai közötti eltérés
[ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
a →Kapcsolódó szócikkek: Lásd még fejezetcím módosítás az ajánlás szerint AWB |
Vépi (vitalap | szerkesztései) →Elsőrendű nyelvek: kékít |
||
22. sor:
{{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 [[
* 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,
|