อ้างอิง:
ข้อความเดิมเขียนโดยคุณ ใบไม้ปลิวไสว
ถ้ากำหนดให้ตัวแรกคือ $\forall A\forall B\forall C\forall x\in$ เอกภพสัมพัทธ์ $[x\not\in B\vee x\in C\vee x\not\in A]$
แล้ว ตีความได้ 2 ความหมายคือ
1.) $\forall x[x\in B\Rightarrow x\in C\vee x\not\in A]$ เพราะฉะนั้น $B\subseteq C\cup A'$
กับ
2.) $\forall x[(x\in B\Rightarrow x\in C)\vee (x\not\in A)]$ เพราะฉะนั้น $(B\subseteq C)\vee (A=\varnothing )$
ทั้งๆที่มีตัวกำหนดแรกเหมือนกัน ทำไมท้ายสุด $B\subseteq C\cup A'$ ไม่สมมูล(หรือเท่ากับ หรืออะไรประมาณนี้)กับ $(B\subseteq C)\vee (A=\varnothing )$ เลยล่ะครับ ช่วยหน่อยครับ สงสัยมากกกก  |
ทำไมข้อ 2 ถึงได้ข้อสรุปแบบนั้นล่ะครับ