Viazaná premenná

Z Wikipédie

Premenná viazaná

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

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á.

[úprava] Externé odkazy

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


Tento článok z Filitu potrebuje upraviť, pridať interwiki a kategórie. Po jeho úprave prosím odstráňte šablónu {{filit na úpravu}}.