ถ้าเอกภพสัมพันธ์คือเซตของจำนวนจริงแล้วข้อใดต่อไปนี้มีค่าความจริงเป็นจริง
∀x(x < 2 ⇒ x2 < 4)
∀x(|x +1| ≥ 1)
∀x(x2 > 0)
∀x(x2 + 1 ≥ 2x)