[ท่านขลุ่ยผุไร้สำเนียง]

ส่วนตัวเลือกที่สาม $∀x∃y[y\not= x ⋀ y⊂x]$

จากโจทย์ x={1,2},{1,3},{2,3} และ y= {1,2},{1,3},{2,3}
ดังนั้นจากตัวเลือกที่สองประโยคที่โจทย์ให้หา ∀x∃y ซึ่งมีทั้งหมด 6 กรณี (ใช่หรือเปล่าครับ) ดังนี้คือ

กรณีที่ 1 {1,2} $\not=$ {1,3} ซึ่ง y $\not\subset$ x
กรณีที่ 2 {1,2} $\not=$ {2,3} ซึ่ง y $\not\subset$ x
กรณีที่ 3 {1,3} $\not=$ {1,2} ซึ่ง y $\not\subset$ x
กรณีที่ 4 {1,3} $\not=$ {2,3} ซึ่ง y $\not\subset$ x
กรณีที่ 5 {2,3} $\not=$ {1,2} ซึ่ง y $\not\subset$ x
กรณีที่ 6 {2,3} $\not=$ {1,3} ซึ่ง y $\not\subset$ x
สรุป ดังนั้นข้อนี้จึงไม่ถูกต้อง

แบบนี้ถูกหรือเปล่าครับ ผมคิดตามความเข้าใจนะครับ