Az univerzális kvantor egy jelölése a "minden" kifejezésnek.
Jele: $\forall$
Az univerzális kvantor egy jelölése a "minden" 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.