Individuová premenná
Z Wikipédie
Premenná individuová
premenná individuová je prvok jazyka predikátovej logiky označujúci v danom obore úvahy ďalej neanalyzovateľné objekty.
[úprava] Externé odkazy
- FILIT Zdroj, z ktorého pôvodne čerpal tento článok