[Pembahasan OSK Informatika Tahun 2006] Jika pernyataan (2) ternyata SALAH, manakah ...

Soal     :

            Berikut ini ada 6 pernyataan yang dinomori (1) s.d. (6):

(1) Semua P dan X adalah N

(2) Semua N kecuali P adalah X

(3) Tidak ada P yang merupakan M

(4) Tidak ada R yang merupakan N

(5) Semua M adalah salah satu dari X atau R

(6) Tidak ada Q yang merupakan X

Jika pernyataan (2) ternyata SALAH, manakah dari berikut ini yang HARUS benar?

(A) Sejumlah M bukanlah X atau pun R

(B) Sejumlah P bukanlah N

(C) Sejumlah Q bukanlah X

(D) Sejumlah N bukanlah P atau pun X

(E) Salah satu dari “Beberapa dari X merupakan P”, atau “beberapa dari N

bukanlah P ataupun X” adalah benar, atau keduanya benar

Jawab :

            Jika Pernyataan (2) Salah maka tidak diketahui ada apa saja anggota N. bisa jadi ada yang mengikuti P dan X atau bisa jadi ada anggota N selain P dan X.

            Jadi, Salah satu dari “Beberapa dari X merupakan P” atau “Beberapa dari N bukanlah P ataupun X” adalah benar atau keduanya benar.