Az egzisztenciális kvantor egy jelölése a "létezik" vagy "van olyan" kifejezésnek.
Jele: $\exists$
Az egzisztenciális kvantor egy jelölése a "létezik" vagy "van olyan" kifejezésnek.
Van itt ez az állítás: "Minden mamut sárga."
Válasszuk ki innen azokat, amik az állítás tagadása:
Egyik mamut sem sárga.
Van olyan mamut, ami sárga.
Van olyan mamut, ami nem sárga.
A legtöbb mamut nem sárga.
Nem minden mamut sárga.