időtlen, örök predikátum

Kapcsolódó fogalmak: 
predikátumszimbólum
Rövid szöveges bemutatás: 
Az időtlen, örök predikátumokat a logikai leírásokban alkalmazzuk. Olyan állítások ezek, melyek igazságértéke a folyamat során változatlan marad. Tehát egy olyan predikátum vagy függvény, mely általában egy konstanson dolgozik és igazságértéke nem változik. Mindig igaznak tekinthető. Például Kutya(Berci). Ezzel azt fejezem ki, hogy Berci egy kutya, és mindig is kutya marad, sose fog átalakulni macskává.