Phát biểu thành lời mệnh đề sau: tồn tại x thuộc Z : x^2 = x

Tồn tại số nguyên mà bình phương của nó bằng chính nó.

Mệnh đề này đúng vì 0 ∈ Z; 02 = 0, 12 = 1.