függvényszimbólum

Kapcsolódó fogalmak: 
elsőrendű logika
Rövid szöveges bemutatás: 
Az elsőrendű logikában a különböző állításokat logikai literálokkal fogalmazzuk meg. Egy-egy ilyen literált tekinthetünk úgy, mint egy értelmes mondat tömörített formája. Például Repül(Varjú, Alföld), ami azt jelentheti, hogy a Varjú az Alföldre repül. Ezeknek a literáloknak a megalkotása a felhasználóra van bízva, de jelentésüknek egyértelműnek kell lennie a megfogalmazásuktól kezdve. Egy-egy ilyen literál állhat konstansokból, változókból és függvényekből, ezeket összefoglaló néven szimbólumoknak nevezzük. Az előző példában a Varjú és az Alföld voltak a konstansok, míg a Repül(...) volt a függvény szimbólum, mely összekötötte a két konstanst. Tehát a függvény szimbólumok a matematikai függvényekhez hasonlóan itt is meghatározott számú bemenettel rendelkeznek és egy leképzést hajtanak végre. Ilyen függvény lehet még például: Vesz(Ki?, Mit?) vagy a Apja(Kinek?), stb...