1.2 Szükséges alapok

A matematikában folytonosan előbukkanó szimbólumokkal találkozhatunk. Ezen szimbólumok közül a kvantorokat tekintjük át, közülük is kettőt, az univerzális (minden) kvantort és az egzisztenciális (létezik) kvantort.

Univerzális kvantor:

  • jele:
  • jelentése: minden, bármely...
  • pl.: „minden 10-nél nagyobb szám" a matematika jelöléseit használva a következő képen néz ki: x, ahol x>10.

Egzisztenciális kvantor:

  • jele:
  • jelentése: létezik, van olyan...
pl.: „létezik olyan 10-nél nagyobb szám" a matematika jelöléseit használva a következő képen néz ki: x, ahol x>10