Kwantyfikatory

KWANTYFIKATORY

Myślisz sobie: "Chora nazwa! Pewnie to jakaś matematyka wyższa, wolę tego nie ruszać."
A jednak nie! Kwantyfikatory to po prostu skrót, dzięki któremu możemy zapisać długie zdania w krótkiej formie. Stosujemy je głownie w zbiorach i logice.

1. Istnieją dwa kwantyfikatory:


  • kwantyfikator ogólny {\displaystyle \bigwedge _{x}}  czytamy go tak: "dla każdego x..."
  • kwantyfikator szczegółowy {\displaystyle \bigvee _{x}}  czytamy go: "istnieje takie x, że..."
Info: Ze względu na to, że występują problemy z drukowaniem i pisaniem znaków kwantyfikatorów, stosujemy zapis {\displaystyle \forall } dla kwantyfikatora ogólnego, a {\displaystyle \exists } dla kwantyfikatora szczegółowego (od ang. Exist). Znajdziesz je w starszych podręcznikach.

2. Przykłady zapisu kwantyfikatorów:

{\displaystyle \forall _{n\in \mathbb {Z_{+}} }\ n^{3}>0}
[dla każdego n należącego do zbioru liczb całkowitych, że n do sześcianu jest większe od zera]

x  R x20
[dla każdego x należącego do liczb rzeczywistych x do kwadratu jest większe lub równe zero]

n  N 21|n
[istnieje takie x należące do liczb naturalnych, kiedy 21 dzieli liczbę n (n jest podzielne przez 21)]

Do zobaczenia,
A. G.

Komentarze

Popularne posty z tego bloga

Koniunkcja, alternatywa, implikacja i równoważność zdań (logika)

Zbiory - część wspólna, suma, różnica, dopełnienie

Zbiory liczbowe cz.1