Na stronie używamy cookies. Korzystanie z witryny oznacza zgodę na ich wykorzystywanie. Szczegóły znajdziesz w Regulaminie.
ZAMKNIJ X

Kwantyfikatory

Ostatnio komentowane
mirmił nie jest łysy!
mateusz • 2019-05-18 16:54:30
Nt. kościelnego procesu o nieważność małżeństwa zapraszam również na mój blog, n...
Arletta Bolesta • 2019-05-18 09:02:36
KATNISS, NIE KETNIS. Jak można mylić imię głównej bohaterki?!
M • 2019-05-17 19:09:37
Dobre
Paweł • 2019-05-17 11:45:06
Polska nie była w NATO tylko pod presją ZSRR
Nikolix07 • 2019-05-16 20:30:41
Autor:
Drukuj
Drukuj
Rozmiar
AAA

Kwantyfikatorami nazywamy symbole oznaczające zwroty „dla każdego” oraz „istnieje”, tj. znaczki \forall\exists.

 

Kwantyfikator ogólny

\forall _ {x} oznacza  „dla każdego x”.

Zdanie \forall_ {x}  \phi (x) ozn. dla każdego x zachodzi  \phi (x), gdzie za formułę  \phi (x)możemy wstawić dowolne zdanie logiczne.

 

Przykład:

\forall_{x} x>3 oznacza dla każdego x > 3. Możemy skrótowo napisać \forall_{x>3}.

 

Kwantyfikator egzystencjalny

\exists _ {x} oznacza „istnieje x”.

Zdanie \exists_ {x}  \phi (x) ozn. istnieje x taki, że zachodzi  \phi (x), gdzie za formułę  \phi (x) - podobnie jak dla kwantyfikatora ogólnego - możemy podstawić dowolne zdanie logiczne.

 

Przykład:

\exists_{x} x \in A rozumieć należy jako istnieje x należący do zbioru A. Można zapisać w skrócie \exists_{x \in A}.

Polecamy również:

Komentarze (0)
4 + 4 =