Anh
generalisation
generalization
Đức
Generalisierung
Pháp
généralisation
Generalisierung /IT-TECH/
[DE] Generalisierung
[EN] generalisation; generalization
[FR] généralisation
In der formalen Logik bedeutet die G., dass bei jeder Einsetzung einer Individuenkonstante für eine Variable in eine Aussageform eine wahre Aussage entsteht, symbolsprachlich: ∀x f(x). Der dazu verwendete Funktor heißt »Generalisator« oder All-Quantor.
PP