Obecný výrok
$\rightarrow$ Každý, všechno, pro každý, pro všechna, ...
$\forall \space x \in M{:} \space V$
= Pro každé $x$ z množiny $M$ platí $V$
Např.
$\forall \space x \in \R{:} \space x^2 \ge 0 \\~\\~ \forall \space n \in \N{:} \space 9 \mid n \implies 3 \mid n$
Existenční výrok
$\rightarrow$ existuje aspoň jeden, ...
$\exists \space x \in M{:} \space V$
= Existuje $x$ z množiny $M$ , pro které platí $V$
Např.
$\exists \space x \in \N{:} \space \sqrt{x} \notin \N \\~\\~ \exists \space a \in \Z{:} \space a + 3 \in \N$

Negace kvantifikovaných výroků

\neg (\forall \space x \in M{:} \space V) \iff (\exists \space x \in M{:} \space \neg V) \\~\\~ \neg (\exists \space x \in M{:} \space V) \iff (\forall \space x \in M{:} \space \neg V)

Ostatní kvantifikované výroky

Pro právě $k$ prvků z množiny $M$ platí $V$ .
Pro nejvýše $k$ prvků z množiny $M$ platí $V$ .
Pro alespoň $k$ prvků z množiny $M$ platí $V$ .

Např.

\text{Rovnice } x^2 - 16 = 0 \text{ má právě 2 kořeny.} \\~\\~ \text{V libovolném } \triangle \text{ je nejvýše 1 úhel pravý.} \\~\\~ \text{Existují alespoň 3 lichá čísla, která jsou děliteli čísla 100.}

Negace:

Nejvýše $k \to$ alespoň $k + 1$
Alespoň $k \to$ nejvýše $k - 1$
Právě $k \to$ nejvýše $k - 1$ nebo alespoň $k + 1$

$u$	$v$	$u \land v$	$u \lor v$	$u \implies v$	$u \iff v$
$1$	$1$	$1$	$1$	$1$	$1$
$1$	$0$	$0$	$1$	$0$	$0$
$0$	$1$	$0$	$1$	$1$	$0$
$0$	$0$	$0$	$0$	$1$	$1$

$u$	$v$	$u \land v$	$u \lor v$	$u \implies v$	$u \iff v$
$1$	$1$	$1$	$1$	$1$	$1$
$1$	$0$	$0$	$1$	$0$	$0$
$0$	$1$	$0$	$1$	$1$	$0$
$0$	$0$	$0$	$0$	$1$	$1$

$u$	$v$	$u \land v$	$u \lor v$	$u \implies v$	$u \iff v$
$1$	$1$	$1$	$1$	$1$	$1$
$1$	$0$	$0$	$1$	$0$	$0$
$0$	$1$	$0$	$1$	$1$	$0$
$0$	$0$	$0$	$0$	$1$	$1$