a: M: "Bình phương mọi số thực luôn lớn hơn chính nó"
=>M: "\(\forall x\in R;x^2>x\)"
N: "Có một số nguyên mà bình phương của nó bằng hai lần chính nó"
=>N: "\(\exists x\in Z;x^2=2x\)"
b: \(\overline{M}:\exists x\in R;x^2< =x\)
=>\(\overline{M}\): "Có một số thực mà bình phương của nó nhỏ hơn hoặc bằng chính nó"
Với x=0 thì \(0^2=0\)
=>Mệnh đề \(\overline{M}\) đúng
\(\overline{N}:\forall x\in Z;x^2\ne2x\)
=>\(\overline{N}\): "Với mọi số nguyên, bình phương của số đó không bao giờ bằng hai lần số đó"
Với x=0 thì \(0^2=0=2\cdot0\)
=>Mệnh đề \(\overline{N}\) sai