függvény mentes literál

Kapcsolódó fogalmak: 
elsőrendű logika
Kapcsolódó fogalmak: 
alap literál
Rövid szöveges bemutatás: 
Az elsőrendű logikában az állapotleírásokra használt literáloknak, alap és függvénymentes literáloknak kell lenniük. Egy megengedett literál: Vesz(Endre, kenyér). Egy függvényt tartalmazó literálra példa: Vesz(Apja(Endre), kenyér). Látható, hogy a függvényen belül megtalálható még egy függvény. Pontosan ez az ami nem megengedett és az ezt mellőző literálokat nevezik függvénymentes literálnak.