Bantu temanmu belajar dengan menambahkan soal di Kujawab. Klik disini..

Olimpiade Sains Provinsi (OSP) 2017 - Komputer , Nomor 32

32

Diberikan beberapa premis sebagai berikut:
Jika Rivin makan, maka Rivin kenyang.
Jika Rivin mandi, maka Rivin tidak kenyang.
Jika Rivin tidak kenyang, maka Rivin akan cepat lapar.
Jika diketahui kondisi awal bahwa 'Rivin tidak cepat lapar', mana sajakah yang dapat dipastikan dari premis berikut ini (setiap premis diberi nomor)?

  1. Rivin makan
  2. Rivin tidak makan
  3. Rivin mandi
  4. Rivin tidak mandi
  5. Rivin kenyang
  6. Rivin tidak kenyang

Tuliskan semua jawaban yang mungkin, dipisahkan tanda koma, dari nomor premis yang paling kecil. Apabila tidak ada jawaban yang benar, tuliskan angka -1.