Kvantifikátory
Kvantifikátory slouží pro označení "kvantity" (míry výskytu) nějaké vlastnosti/proměnné/...
| Kvantifikátor | Značení | Čtení |
|---|---|---|
| Obecný | \(\Large\forall x\) | Pro každé \(x\) |
| Existenční | \(\Large\exists x\) | Existuje alespoň jedno \(x\) |
| Jednoznačná existence | \(\Large\exists! x\) | Existuje právě jedno \(x\) |