alap literál

Kapcsolódó fogalmak: 
elsőrendű logika
Kapcsolódó fogalmak: 
függvény mentes literál
Rövid szöveges bemutatás: 
A literál kifejezés a logikában kerül bevezetésre. A literálnak nevezünk minden olyan fogalmat, amely valamilyen információt fejez ki. Például a Szegény ∧ Ismeretlen kifejezés, két pozitív (nem negált) literál konjunkciója. Az elsőrendű logikai állapotleírásainak literáljai csakis alap- és függvénymentes literálok (ground and function-free) lehetnek. Az alap literál nem tartalmaz változót, csakis konstanst. Tehát az olyan literál, mint az Ott(x, y) nem megengedett.