[Pembahasan OSK Informatika Tahun 2006] Manakah yang akan PASTI salah ...

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

Manakah yang akan PASTI salah berdasarkan keenam pernyataan di atas?

(A) tidak ada Q yang merupakan P

(B) Sejumlah Q bukan N, juga bukan R

(C) Beberapa R adalah X

(D) Semua R merupakan M

(E) Beberapa X bukanlah M

Jawab :

            Berdasarkan 6 Pernyataan di atas dapat diperoleh informasi sebagai berikut :

            Berdasarkan gambar tersebut,

·         Q tidak diketahui letaknya, maka Pernyataan A bisa salah bisa benar begitu juga dengan pernyataan B.

·         Jika Beberapa R adalah X maka Beberapa M adalah X , Padahal di pernyataan nomor 5 Semua M adalah salah satu dari X atau R.

·         Pernyataan D bisa salah bisa tidak, karena beberapa R adalah M tetapi belum tentu semua

·         Pernyataan E benar, karena beberapa X adalah N , bahkan semua X adalah N

Jadi, Jika keenam pernyataan diatas benar maka Pernyataan C pastilah salah