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