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

Kwantyfikatory

Ostatnio komentowane
Mit o Narcyzie można interpretować na wielu różnych poziomach. W najprostszym sensie s...
nikola • 2019-07-20 09:17:22
Bardzo fajne, proste wyprowadzenie wzoru.
Eto Demerzel • 2019-07-15 07:25:47
jest git
jakubas kok • 2019-07-08 10:19:33
przydałyby się jeszcze daty
j • 2019-06-27 15:49:28
wolę określenie niewierzący w boga i objawienia, lub racjonalnie myślący. jest taka p...
bergo • 2019-06-22 15:18:51
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)
3 + 2 =
echo $this->Html->script('core.min'); echo $this->Html->script('blockadblock.js'); echo $this->Html->script('fancybox/jquery.fancybox-1.3.4.min'); echo $this->Html->css('/js/fancybox/jquery.fancybox-1.3.4.min'); echo $this->Html->script('jnice/jquery.jNice', array('async' => 'async')); echo $this->Html->css('/js/jnice/jNice.min');