Individuová premenná

Individuová premenná je prvok jazyka predikátovej logiky označujúci v danom obore úvahy ďalej neanalyzovateľné objekty.

Externé odkazy 
 

Logika