P: "\(\forall n \in \mathbb N,\;{n^2} \ge n".\)

Q: "\(\exists \;a \in \mathbb R,\;a + a = 0".\)

a) \(\exists x \in \mathbb{Z},\;x \not{\vdots} \;x.\)

b) \(\forall x \in \mathbb{R},\;x + 0 = x.\)

a) ∀ x ∈ R: x.1 = x

b) ∃ a ∈ R: a + a = 0

c) ∀ x ∈ R: x + (-x) = 0

Ta viết lại như sau ;

a) \(\forall x\in R:x\cdot1=x\)

b) \(\exists n\in R:n+n=0\)

c) \(\forall x\in R:x+\left(-x\right)=0\)

∀ x   ∈   R :   x   +   ( - x )   =   0   (đúng)

    Phủ định là ∃   x   ∈   R :   x   +   ( - x ) ≠   0 (sai)

a) \(\exists x\in Z:x=x^2\)

a) \(\exists a\in\mathbb{Z}:a=a^2\)

b) \(\forall x\in\mathbb{R}:x+0=x\)

c) \(\exists x\in\mathbb{Q}:x< \dfrac{1}{x}\)

d) \(\forall n\in\mathbb{N}:n>0\)

a) \(\forall x\in\mathbb{R}:x+\left(-x\right)=0\) (đúng)

Phủ định là \(\exists x\in\mathbb{R}:x+\left(-x\right)\ne0\) (sai)

b) \(\forall x\in\mathbb{R}\)\ \(\left\{0\right\}:x.\dfrac{1}{x}=1\) (đúng

Phủ định là \(\exists x\in\mathbb{R}\)\ \(\left\{0\right\}:x.\dfrac{1}{x}\ne1\) (sai)

c) \(\exists x\in R:x=-x\) (đúng)

Phủ định là \(\forall x\in\mathbb{R}:x\ne-x\) (sai)

∀ x ∈ R   0 : x . 1 / x = 1 (đúng)

    Phủ định là ∃ x ∈ R   0 : x . 1 / x ≠ 1 (sai)

\(\exists n\in Z:n\)\(⋮̸\)\(n\)