ถ้ากำหนดให้ตัวแรกคือ \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 ) เลยล่ะครับ ช่วยหน่อยครับ สงสัยมากกกก