`∀ x ∈ RR, x² - 2x + 1 > 0`
Ta có:
`x^2 - 2x + 1 = (x - 1)^2 ≥ 0` với `∀ x ∈ RR`
`=>` Mệnh đề `(1)` đúng
`=> overline{(1)}: `∃`x ∈ RR: x^2 - 2x + 1 ≤ 0`
∃` x ∈ RR: x² - 2x + 1 ≤ 0`
`x^2 - 2x + 1 = (x - 1)^2 ≥ 0` với `∀ x ∈ RR`
`=>` Mệnh đề `(2)` đúng
`=> overline{(2)} : ∀ x ∈ RR: x^2 - 2x + 1 > 0`