Nemčina | Polsčina |
---|---|
Quantor Substantiv | kwantyfikator(logika, logiczny) (matematyka, matematyczny) termin na oznaczenie zwrotów: dla każdego, istnieje takie i im pokrewnych |
Allquantor Substantiv | kwantyfikator ogólny(logika, logiczny) kwantyfikator mówiący, że dane twierdzenie (funkcja zdaniowa) jest prawdziwe przy dowolnej wartości zmiennej |