Wyrażenie "dla każdego" (lub "każdy", "dowolny", itp.) nazywamy kwantyfikatorem ogólnym

(lub kwantyfikatorem dużym) i zapisujemy  $\bigwedge .$  

Wyrażenie "istnieje" (lub "pewien", itp.) nazywamy  kwantyfikatorem szczegółowym

(lub kwantyfikatorem małym) i zapisujemy  $\bigvee .$  

---

$\text{a)}\underset{x\in \mathbf{N}}{\bigwedge }x\ge 0-$  zdanie prawdziwe

---

$\text{b)}\underset{x\in \mathbf{R}}{\bigvee }x+\frac{1}{x}=2-$  zdanie prawdziwe $\left(x=1\right)$   

---

$\text{c)}\underset{x\in \mathbf{R}}{\bigwedge }{x}^2+1>0-$  zdanie prawdziwe

---

$\text{d)}\underset{x\in \mathbf{C}}{\bigvee }{x}^3<0-$  zdanie prawdziwe

---

$\text{e)}\underset{x\in \mathbf{N}}{\bigvee }{x}^2-3<-1-$  zdanie prawdziwe

---

$\text{f)}\underset{x\in \mathbf{C}}{\bigvee }{x}^2=\sqrt{3}-$  zdanie fałszywe