Cho mệnh đề <span class="katex-r" data-latex="displaystyle P"></span>: "Phương ình <span class="katex-r" data-latex="displaystyle x^2 - 4 = 0"></span> có nghiệm thực." Hãy phát biểu mệnh đề phủ định <span class="katex-r" data-latex="displaystyle ovl∈e{P}"></span> và xác định tính đúng sai của mệnh đề <span class="katex-r" data-latex="displaystyle P"></span> và <span class="katex-r" data-latex="displaystyle ovl∈e{P}"></span>.