Dùng kí hiệu \(\forall\) và \(\exists\) để viết mệnh đề sau rồi lập mệnh đề phủ định và xét tính đúng sai của các mệnh đề đó :
a) Mọi số thực cộng với số đối của nó đều bằng 0
b) Mọi số thực khác 0 nhân với nghịch đảo của nó đều bằng 1
c) Có một số thực bằng số đối của nó
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)