[ใบไม้ปลิวไสว]

ตอบ คห.2 คุณ nooonuii

จากนิยาม \forall A\forall B[x\in A\Rightarrow x\in B \Leftrightarrow A\subseteq B]
และ ข้อความ "เซตว่างคือเซตที่ไม่มีสมาชิกใดๆเลย"

และวิเคราะห์ข้อ 2) ต่อจากอันก่อน

\forall x[(x\in B\Rightarrow x\in C)\vee (x\not\in A)]

\equiv \forall x[x\in B\Rightarrow x\in C] \vee \forall x[x\not\in A]

จากนิยาม และ ข้อความที่กล่าวข้างต้นใน 2 บรรทัดแรก ได้ว่า (B\subseteq C)\vee (A=\varnothing )

ครับ