výrok všeobecný
- výrok tvaru: Všetky prvky x množiny A majú vlastnosť í(x). Všeobecné vyroky sa označujú pomocou všeobecných kvantifikátorov ( L181;27).