กำหนด ∀x(นักเรียน(x)→ต้องสอบ(x)) และ ∃x(นักเรียน(x)∧ไม่ต้องสอบ(x)) สองข้อความสัมพันธ์กันอย่างไร

เฉลยอธิบาย

ข้อความสากลห้ามมีนักเรียนที่ไม่ต้องสอบ แต่ข้อความมีอยู่ยืนยันว่ามีสมาชิกเช่นนั้นอย่างน้อยหนึ่งคน