ลองทำดู ถูกผิดอย่างไร บอกได้ครับ
$U=\varnothing $
$\forall x[x\not\in \varnothing ]$
เนื่องจาก เซตว่างไม่มีสมาชิก จึงได้ว่า
$\exists x[x\in \varnothing ]$ เป็นเท็จ
แต่ $\exists x[x\in \varnothing ] \equiv \sim (\forall x[x\not\in \varnothing ])$
ดังนั้น $\forall x[x\not\in \varnothing ]$ มีค่าความจริงเป็นจริง
|