a) ∀x∈R,x2≥0;
=>Mọi số thực có bình phương không âm.
b) ∃x∈R,1x>x
=>Tồn tại một số thực có nghịch đảo lớn hơn chính nó.