Individuová premenná

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

 Externé odkazy 


Kategória:Logika