EXERCISES 1.

6
3. Aturan inferensi apa yang digunakan dalam masing-masing argumen ini?
a) Alice adalah mata pelajaran matematika. Oleh karena itu, Alice adalah jurusan
matematika dan ilmu komputer.
b) Jerry adalah jurusan matematika dan ilmu komputer utama
c) Jika hujan, maka kolam akan ditutup. Sedangkan hujan. Karena itu, kolam di tutup.
d) Jika salju turun hari ini, universitas akan tutup. Universitas tidak akan ditutup hari ini.
Karena itu, salju tidak turun hari ini.
e) Jika saya berenang, maka saya akan tinggal di bawah sinar matahari terlalu lama.
Jawab:
a) Addition (penambahan)
b) Simplification
c) Modus Ponens
d) Modus tollens
e) Hypothetical syllogism
5. Gunakan aturan inferensi untuk menunjukkan bahwa hipotesis “Randy bekerja keras”, “Jika
Randy bekerja keras, maka dia adalah anak yang membosankan,” dan “Jika Randy adalah
anak yang membosankan, maka dia tidak akan mendapatkan pekerjaan” menyiratkan
kesimpulan “Randy tidak akan mendapatkan pekerjaan.”
Jawab:
Pernyataan dimisalkan dalam variabel-variabel:
𝑝 = Randy bekerja keras
𝑞 = Randy anak yang membosankan
r = tidak akan mendapatkan pekerjaan
𝑝 → (𝑝 → 𝑞)(𝑞 → 𝑟)
∀𝑥𝑝(𝑥)
Aturan inrefensi :
𝑝(𝑐)
7. Aturan kesimpulan/ inferensi seperti apa yang digunakan dalam argumen terkenal “semua
lelaki adalah mortal (manusia biasa/ bisa mati), Socrates adalah laki-laki, sehingga Socrates
adalah mortal”?
Jawab:
Pernyataan dimisalkan dalam variabel-variabel:
𝑝 : semua laki – laki adalah mortal
𝑞 : Socrates adalah lelaki
Socrates adalah mortal
𝑝
𝑝→𝑞
∴𝑞
(𝑝⋀(𝑝 → 𝑞)) → 𝑞 adalah Tautologi
11. Tunjukkan bahwa bentuk argumen dengan premis 𝑝1 , 𝑝2 , … , 𝑝𝑛 dan kesimpulan 𝑞 ⇒ 𝑟 adalah
valid. Jika bentuk argumen dengan premis 𝑝1 , 𝑝2 , … , 𝑝𝑛 , 𝑞 dan kesimpulan 𝑟 adalah valid.
Jawab:
Untuk menunjukkan setiap 𝑝1 , 𝑝2 , … , 𝑝𝑛 benar, maka 𝑞 ⇒ 𝑟 harus benar. Jadi misalkan
𝑝1 , 𝑝2 , … , 𝑝𝑛 benar, pastikan 𝑞 ⇒ 𝑟 benar. Jika 𝑞 salah, maka 𝑟 salah. Jika 𝑞 benar, maka 𝑟
benar.
15. Untuk setiap argumen ini tentukan apakah argumen itu benar atau salah dan jelaskan
alasannya.
a) Semua siswa di kelas ini memahami logika. Xavier adalah siswa di kelas ini. Karena
itu, Xavier memahami logika.
b) Setiap jurusan ilmu komputer mengambil matematika diskrit. Natasha mengambil
matematika diskrit. Karena itu, Natasha adalah jurusan ilmu komputer.
c) Semua nuri menyukai buah. Burung peliharaan saya bukan burung beo. Oleh karena
itu, burung peliharaan saya tidak suka buah.
d) Setiap orang yang makan granola setiap hari sehat. Linda tidak sehat. Karena itu,
Linda tidak makan granola setiap hari.
Jawab:
a) Benar, karena 𝑝 → 𝑞
b) Benar, karena 𝑝 → 𝑞
c) Benar, karena hal tersebut bernilai benar untuk semua burung kecuali burung nuri.
d) Salah, karena akan ada orang yang tidak makan granola setiap hari sehat.
16. Untuk masing-masing argumen ini tentukan apakah argumen itu benar atau salah dan jelaskan
alasannya.
a) Setiap orang yang terdaftar di Universitas telah tinggal di sebuah asrama. Mia tidak
pernah tinggal di asrama. Karena itu mia tidak terdaftar di universitas.
b) Mobil konvertibel menyenangkan untuk dikendarai. Mobil Isacc bukan mobil atap
terbuka. Karena itu, mobil Isacc tidak menyenangkan untuk dikendarai.
c) Quincy menyukai film aksi. Quincy suka film Eight Men Out. Karena itu, Eight Men
Out adalah film aksi.
d) Semua lobstermen memasang setidaknya selusin perangkap. Hamilton adalah seorang
lobstermen. Karena itu, Hamilton menetapkan setidaknya selusin perangkap.
Jawab:
a) Benar, gunakan Instansi universal dan modus ponen.
b) Tidak sah, kekeliruan menegaskan kesimpulan.
c) Tidak sah, kekeliruan menegaskan kesimpulan.
d) Benar, gunakan Instansi universal dan modus ponen.
21. Aturan inferensi mana yang digunakan untuk menetapkan kesimpulan dari argument Lewis
Carrol yang dijelaskan dalam contoh 26 dari bagian 1.4?
Jawab:
Aturan inferensi Existential Instantiation
24. Identifikasi kesalahan atau kesalahan dalam argumen ini yang seharusnya menunjukkan
bahwa jika ∀𝑥(𝑃(𝑥) ∨ (𝑄(𝑥)) adalah benar maka ∀𝑥𝑃(𝑥) ∨ ∀𝑥𝑄(𝑥) adalah benar.
1) ∀𝑥(𝑃(𝑥) ∨ 𝑄(𝑥)) Premis
2) 𝑃(𝑐) ∨ 𝑄(𝑐) Instansiasi universal dari (1)
3) 𝑃(𝑐) Penyederhanaan dari (2)
4) ∀𝑥𝑃(𝑥) Generalisasi universal dari (3)
5) 𝑄(𝑐) Penyederhanaan dari (2)
6) ∀𝑥𝑄(𝑥) Instansiasi universal dari (5)
7) ∀𝑥(𝑃(𝑥) ∨ ∀𝑥𝑄(𝑥) Konjungsi dari (4) dan (6)
Jawab: