Viazaná premenná

z Wikipédie, slobodnej encyklopédie
Skočit na navigaci Skočit na vyhledávání

Viazaná premenná je individuová premenná, na ktorú sa vzťahuje nejaký kvantifikátor. Napríklad v predikátovej formule

A (x) (Fx -> Gy)

je x viazaná premenná (je viazaná všeobecným kvantifikátorom), kým y, ktorá nie je viazaná nijakým kvantifikátorom, je voľná premenná.

Externé odkazy[upraviť | upraviť kód]

  • FILIT – zdroj, z ktorého pôvodne čerpal tento článok.