kwantyfikator

kwantyfikator (matematyka)

Definicja

kwantyfikator to w matematyce: wyrażenie (zwykle zapisane symbolicznie) wprowadzające jakąś formułę lub zmienną, np. dla każdego... (zwany kwantyfikatorem ogólnym, dużym lub uniwersalnym), istnieje takie... (zwany kwantyfikatorem szczegółowym, małym lub egzystencjalnym); kwantyfikatory mają zastosowanie m.in. w logice matematycznej

Przykłady użycia autentyczne, starannie wybrane, zobacz też na blogu

Czy powstanie zdanie prawdziwe, jeśli umieścimy kwantyfikator ogólny, odnoszący się do zmiennych x oraz y, przed funkcją:
a) Jeżeli x jest krewnym y, to y jest krewnym x;
b) Jeżeli x jest życzliwy dla y, to y jest życzliwy dla x;
c) Jeżeli x jest większe od y, to y jest większe od x?

NKJP: Zygmunt Ziembiński, Logika praktyczna, 1958

Gramatyka

rzeczownik rodzaj męskorzeczowy odmienny

formy w tabelce:

formy alfabetycznie: kwantyfikator; kwantyfikatora; kwantyfikatorach; kwantyfikatorami; kwantyfikatorem; kwantyfikatorom; kwantyfikatorów; kwantyfikatorowi; kwantyfikatory; kwantyfikatorze

zgłoś poprawkę