| title | author | date |
|---|---|---|
First-Order Predicate Logic |
Auriza Akbar |
2017 |
- Semua siswa pintar.
- Ada seorang siswa.
- Ada siswa yang pintar.
- Setiap siswa memiliki teman.
- Ada siswa yang berteman dengan semua siswa lainnya.
- Ali adalah seorang siswa.
- Ali mengambil Algoritme dan Kalkulus.
- Ali mengambil Algoritme atau Kalkulus.
- Ali mengambil salah satu dari Elektronika atau Manajemen.
- Ali tidak mengambil Manajemen.
- Ali berteman dengan semua siswa.
- Tidak ada dosen yang suka dengan Ali.
- Ali memiliki adik.
- Ali tidak memiliki kakak.
- Ali memiliki adik tapi tidak memiliki kakak.
- Setiap siswa mengambil minimal satu mata kuliah.
- Semua siswa yang mengambil Basprog juga mengambil Strukdat.
- Ada siswa yang tidak lulus Algoritme.
- Semua siswa lulus Basprog.
K telah dibunuh oleh seseorang. Hanya ada tiga tersangka: A, B, dan C; dan pasti salah satu dari mereka bertiga yang melakukannya. Berikut tiga fakta:
- A berkata bahwa B adalah teman K, tetapi C membenci K.
- B berkata bahwa dia di luar kota saat kejadian, dan dia tidak kenal K.
- C berkata bahwa dia melihat A dan B bersama K sebelum kejadian.
Setiap orang berkata jujur kecuali pelaku pembunuhan.
Siapakah pelakunya?