"Tồn tại \[n\in N, n^2+3n+1\] là hợp số" (hợp số là số có thể phân tích thành tích ít nhất hai số nguyên tố, tức là hợp số là phủ định của số nguyên tố).
Để xác định một mệnh đề đúng, ta cần phải chứng minh điều đó.
Để xác định một mệnh đề là sai, ta chỉ cần chỉ ra một trường hợp mệnh đề sai.