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

Kwantyfikatory

Ostatnio komentowane
Coś tu nie gra - notacji bra-ket używa Dirac już w "Principles of Quantum Mechanics" (I...
elpe • 2017-12-13 20:17:11
NIC NIE WYTLUMACZONE NIE POLECAM A TFU POLECAM HOFFMANOWA MEMES
(TYLKO PRUS) • 2017-12-13 18:05:05
Mam pewne wątpliwości co do rzetelności tej strony. Przede wszystkim kto jest autorem t...
anonim • 2017-12-13 11:50:17
Czat
Weronika • 2017-12-12 20:39:31
@Lupek, dziękujemy za zwrócenie uwagi. Literówka poprawiona.
ADMIN • 2017-12-13 11:11:39
Autor:
Drukuj
Drukuj
Rozmiar
AAA

Kwantyfikatory

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ż:

  • Wartości logiczne zdań

    Wartości logiczne służą do określania prawdziwości zdań. Zdanie prawdziwe ma wartość logiczną 1, natomiast zdanie fałszywe ma wartość logiczną 0. Więcej »

  • Operatory logiczne

    Operatory logiczne są operacjami (działaniami), które można wykonywać na zdaniach logicznych. Więcej »

  • Prawa rachunku zdań

    Prawa rachunku zdań (zwane inaczej tautologiami) to zdania połączone operatorami logicznymi w taki sposób, że ich wartość logiczna jest zawsze równa 1, niezależnie od wartości logicznych zdań składowych. Więcej »

  • Dowód

    Dowód jestem elementarnym pojęciem w matematyce. Porządna teoria matematyczna składa się z definicji, twierdzeń i dowodów. Więcej »

Komentarze (0)
2 + 4 =