Ogni P è Q

$$ \forall x(P(x)\rightarrow Q(x)) $$

Nessun P è Q

$$ \forall x(P(x)\rightarrow\neg Q(x)) $$

Qualche P è Q

$$ \exist x(P(x) \wedge Q(x)) $$

Qualche P non è Q

$$ \exist x(P(x)\wedge\neg Q(x)) $$