Untuk menjadi anggota ABRI seseorang tidak boleh cacat

H => K dan K adalah syarat perlu bagi H.

Pembahasan

Pernyataan 'Untuk menjadi anggota ABRI seseorang tidak boleh cacat badan' dapat diartikan bahwa jika seseorang adalah anggota ABRI, maka ia pasti tidak cacat badan. Jika 'Saya anggota ABRI' dilambangkan dengan H dan 'Saya tidak cacat badan' dilambangkan dengan K, maka hubungan logisnya adalah H menyiratkan K (H => K). Ini berarti K adalah syarat perlu bagi H, karena agar H benar, K juga harus benar. Namun, K bukan syarat cukup bagi H, karena tidak cacat badan saja tidak menjamin seseorang menjadi anggota ABRI; ada syarat lain yang harus dipenuhi. Oleh karena itu, pernyataan yang benar adalah (1) H => K dan (3) K adalah syarat perlu bagi H.