กำหนดว่า นักกีฬาทุกคนฝึกทุกวัน และสมศักดิ์ไม่ได้ฝึกทุกวัน ข้อใดตามมาตามตรรกะของโจทย์
กสมศักดิ์เป็นนักกีฬาที่เก่ง
ขสมศักดิ์ไม่ใช่นักกีฬา
คผู้ไม่ฝึกทุกคนคือสมศักดิ์
งไม่มีใครเป็นนักกีฬา
เฉลยอธิบาย
ใช้ modus tollens: ถ้าเป็นนักกีฬาแล้วฝึกทุกวัน เมื่อไม่ฝึกทุกวันจึงไม่เป็นนักกีฬา ภายใต้กฎสมมตินี้