Przejdź do zawartości

Kwantyfikator egzystencjalny

Z Wikipedii, wolnej encyklopedii

Kwantyfikator egzystencjalny, kwantyfikator mały, kwantyfikator szczegółowykwantyfikator oznaczający, że istnieje takie podstawienie zmiennej, dla którego dane twierdzenie (funkcja zdaniowa) jest prawdziwe.

Stosuje się dwie postacie graficzne:

(zapis ten jest związany z angielskim zwrotem „there exists”)

oraz

W obu przypadkach czyta się „istnieje takie dla którego zachodzi ”.

Gdy formuła wymaga ustalenia zakresu dla zmiennej, np.:

to używa się uproszczonej notacji:

I czyta się „dla pewnego należącego do zbioru zachodzi ”.

Jeżeli jest skończonym podzbiorem (niekoniecznie właściwym) argumentów to:

Zanegowany kwantyfikator egzystencjalny staje się kwantyfikatorem ogólnym i na odwrót:

Kwantyfikator jednoznaczności

[edytuj | edytuj kod]

Stosowany bywa również zapis:

oznaczający „istnieje dokładnie jedno x z A, dla którego zachodzi ”. Jest to kwantyfikator jednoznaczności(inne języki) który może zostać łatwo zredukowany do podstawowych kwantyfikatorów:

Zobacz też

[edytuj | edytuj kod]