Premis 1: Jika ada kambing mati, maka manusia dapat makan

Badu tidak makan kambing mati.

Pembahasan

Ini adalah soal penalaran logika dengan silogisme.

Premis 1: Jika ada kambing mati, maka manusia dapat makan kambing.
Premis 2: Badu tidak dapat makan kambing.

Untuk menarik kesimpulan, kita bisa menggunakan modus tollens. Modus tollens menyatakan bahwa jika P maka Q, dan jika bukan Q, maka bukan P.

Dalam kasus ini:
P = Ada kambing mati
Q = Manusia dapat makan kambing

Premis 1 bisa ditulis sebagai: Jika P, maka Q.
Premis 2 menyatakan: Badu tidak dapat makan kambing. Ini berarti 'Q' salah (atau paling tidak, Badu tidak termasuk dalam kategori 'manusia' yang dapat makan kambing).

Jika kita mengasumsikan bahwa Badu adalah subjek dari 'manusia' dalam premis 1, maka kita memiliki:
Jika (ada kambing mati), maka (Badu dapat makan kambing).
Badu tidak dapat makan kambing.

Dengan modus tollens, kesimpulannya adalah: Tidak benar bahwa ada kambing mati.

Oleh karena itu, kesimpulan yang dapat diambil adalah ada kambing yang tidak mati, atau lebih tepatnya, kondisi 'ada kambing mati' tidak terpenuhi dalam konteks Badu tidak bisa makan kambing. Dengan kata lain, Badu tidak makan kambing mati.

Melihat pilihan yang diberikan:
A. Ada kambing yang tidak mati. (Ini adalah kesimpulan yang paling logis dari modus tollens).
B. Semua kambing tidak mati. (Kesimpulan ini terlalu luas).
C. Badu makan kambing mati. (Bertentangan dengan premis 2).
D. Badu tidak makan kambing mati. (Ini adalah kesimpulan yang benar).
E. Ada kambing yang mati dimakan Badu. (Bertentangan dengan premis 2).

Jawaban yang paling tepat adalah D karena jika Badu tidak bisa makan kambing, maka ia pasti tidak makan kambing mati.