individuumtartomány
Magyar
Kiejtés
- IPA: [ ˈindividuumtɒrtomaːɲ]
Főnév
individuumtartomány
- (matematika) A predikátumkalkulusban az olyan egy- vagy többváltozós függvényt, amelyből a változók bármely, alkalmas objektumokkal való helyettesítése után egy-egy ítélet keletkezik, predikátumnak nevezzük. Ha a változók száma n, n-változós predikátumról beszélünk. A predikátum változóit individuumváltozóknak hívjuk, azon objektumok összességét pedig, amelyeket a predikátum változóiba helyettesíthetünk, individuumtartománynak. Az individuumtartomány egyes elemeinek megnevezésére az individuumkonstansok szolgálnak.