[Pembahasan OSK Informatika Tahun 2006] Pernyataan tambahan manakah dari berikut ini yang PASTI benar jika ...

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

Pernyataan tambahan manakah dari berikut ini yang PASTI benar jika keenam pernyataan di atas benar?

I.          Tidak ada R yang merupakan P

II.         Beberapa dari X juga adalah P

III.       Beberapa dari X adalah juga M

Jawab :

            Berdasarkan 6 Pernyataan di atas dapat diperoleh informasi sebagai berikut :

            Berdasarkan gambar tersebut,

·         Tidak ada R yang merupakan N maka juga tidak ada R yang merupakan P

·         Di dalam pernyataan 2 Semua N kecuali P adalah X, jadi, tidak ada yang P sekaligus X

·         Karena X merupakan N maka X bukanlah M

Jadi, Hanya Pernyataan I yang benar jika keenam pernyataan di atas benar.