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 potrebuje upraviť, pridať interwiki a kategórie. Po jeho úprave prosím odstráňte šablónu {{filit na úpravu}}.