Nama:
NIM:
PR 1 METODE FORMAL (CIG4F3) Semester Ganjil 2015-2016 Dikumpulkan paling lambat pukul 15:00, Jumat, 25 September 2015, di slot pengumpulan PR di idea (softcopy) atau Loker Pengumpulan PR Metode Formal (hardcopy). Lokasi loker berada di antara toilet dan ruang E 108 (IF2.01.08). Petunjuk pengerjaan: 1. Sebagaimana telah dijelaskan di awal perkuliahan, bobot seluruh nilai PR yang diberikan dalam satu semester untuk perkuliahan Metode Formal pada semester ganjil 20152016 direncanakan sebesar 25% dari nilai akhir. 2. Gunakan PR sebagai sarana berlatih untuk menghadapi ujian. Oleh karenanya, kerjakan PR ini dengan serius. Jangan hanya memberi jawaban dan argumen untuk PR ini tanpa memahaminya dengan baik. 3. PR dikerjakan secara individu. Meskipun begitu, Anda diperkenankan berdiskusi dengan teman sekelas, teman sekampus, atau teman yang berasal dari kampus lain. Tuliskan nama-nama orang yang Anda ajak berdiskusi lengkap dengan asal institusinya pada bagian referensi yang mungkin perlu ditambahkan pada bagian akhir PR. 4. PR ini terdiri dari 6 (enam) soal dengan bobot masing-masing soal yang bervariasi. Anda akan dinilai tidak hanya pada jawaban akhir saja, tetapi juga pada argumen dan tata bahasa penulisan ilmiah yang Anda tuliskan. 5. Berkas PR dikumpulkan dalam bentuk softcopy saja, atau softcopy dan hardcopy. 6. Pengumpulan berkas softcopy dilakukan pada slot yang telah disediakan di idea, batas waktu unggah adalah Jumat 25 September 2015 pukul 15:00 waktu idea. Berkas yang diunggah berformat .pdf dengan format penamaan PR1MetFor-
-Nama_Panggilan. Contoh: PR1MetFor-1103130128-Indra. 7. PR boleh dikerjakan dengan cara: Ditulis dengan tulisan tangan sendiri, kemudian hasilnya dipindai (scan) dan dijadikan berkas .pdf. Kertas yang boleh dipakai adalah kertas A4, HVS, atau folio bergaris. Jawaban boleh ditulis dengan pensil 2B, pensil HB, atau pulpen bertinta hitam/ biru. Diketik rapi. Usahakan untuk memakai notasi yang telah diajarkan diperkuliahan. Jika tidak, jelaskan terlebih dulu notasi yang Anda pakai. halaman 1 dari 8
Nama:
NIM:
8. Jika Anda berniat untuk mengumpulkan berkas hardcopy, berkas dikumpulkan di loker pengumpulan PR Metode Formal yang terdapat pada loker dosen KK ICM di depan ruang E 108 (IF2.01.08). Batas pengumpulan berkas hardcopy adalah Jumat 25 September 2015 pukul 15:00 waktu idea. 9. Selamat berlatih dan mengerjakan PR. Semoga beruntung ketika ujian.
halaman 2 dari 8
Nama:
NIM:
Soal 1 (5 + 5 + 2 + 6 + 2 = 20) Diberikan proposisi p, q, dan r. (a). [5 poin] Buatlah tabel kebenaran untuk proposisi (p (b). [5 poin] Buatlah tabel kebenaran untuk proposisi p
q) (q
r. r).
(c). [2poin] Apakah merupakan operator logika proposisi yang bersifat asosiatif? Jelaskan jawaban Anda. (d). [6 poin] Buatlah tabel kebenaran untuk (p ^ :q ^ :r)_(:p ^ q ^ :r)_(:p ^ :q ^ r). (e). [2 poin] Apakah p q r ekuivalen dengan (p ^ :q ^ :r) _ (:p ^ q ^ :r) _ (:p ^ :q ^ r)?
halaman 3 dari 8
Nama:
NIM:
Soal 2 (2 + 2 + 2 + 2 + 2 = 10) Misalkan a, s, dan n adalah proposisi-proposisi berikut: a : “sistem dijalankan dalam administrator mode” s : “sistem dijalankan dalam safe mode” n : “sistem dijalankan dalam normal mode” Translasikan pernyataan-pernyataan berikut ke dalam formula logika proposisi menggunakan proposisi a, s, dan n yang telah dijelaskan serta operator-operator logika :, ^, _, , !, dan $. (a). [2 poin] Sistem tidak dapat dijalankan dalam administrator mode bila sistem dijalankan dalam safe mode. (b). [2 poin] Ketika sistem dijalankan dalam normal mode, maka sistem dijalankan dalam tepat salah satu dari administrator mode atau safe mode. (c). [2 poin] Sistem selalu dijalankan dalam administrator mode dan normal mode secara bersamaan. (d). [2 poin] Sistem dapat dijalankan dalam administrator mode jika tidak dijalankan dalam safe mode. (e). [2 poin] Sistem dapat dijalankan dalam tepat salah satu dari administrator mode, safe mode, atau normal mode. (Petunjuk: perhatikan kembali Soal 1 (d) dan (e)).
halaman 4 dari 8
Nama:
NIM:
Definisi 1 Misalkan
adalah sebuah formula logika proposisi:
(a). formula dikatakan absah (valid) apabila terpretasi I
selalu bernilai benar untuk setiap in-
(b). formula dikatakan terpenuhi (satisfiable) apabila suatu interpretasi I
dapat bernilai benar untuk
(c). formula dikatakan kontradiksi (contradictory) apabila tuk setiap interpretasi I (d). formula dikatakan tersalahkan (falsifiable) apabila suatu interpretasi I
selalu bernilai salah un-
dapat bernilai salah untuk
(e). formula dikatakan kontingensi (contingency) apabila bukan formula yang bersifat absah dan bukan pula formula yang bersifat kontradiksi. Soal 3 (4 + 4 + 4 + 4 + 4 = 20) Diberikan formula-formula
1,
2,
(a). [4 poin]
1
:= (p _ q) ^ (:q _ r) ^ (:r _ s) ! p _ s
(b). [4 poin]
2
:= p _ q _ r _ s ! p ^ q ^ r ^ s
(c). [4 poin]
3
:= p ! (q ! r) ^ (p ^ q ^ :r)
(d). [4 poin]
4
:= (:p ^ q ^ r) _ (p ^ :q ^ r) _ (p ^ q ^ :r)
(e). [4 poin]
5
:= (:p _ :q _ r) ^ (:p _ q _ :r) ^ (p _ :q _ :r)
3,
4,
dan
5
berikut:
Berikan tanda X pada baris dan kolom yang bersesuaian untuk Tabel 1 bila formula i memenuhi sifat-sifat yang telah dijelaskan pada Definisi 1. Berikan bukti dan argumen yang mendukung jawaban Anda. valid
satisfiable contradiction falsifiable contingency
1 2 3 4 5
Tabel 1: Tabel Sifat-sifat Formula
halaman 5 dari 8
Nama:
NIM:
Soal 4 (5 + 5 = 10) Periksa apakah himpunan-himpunan formula berikut konsisten atau tidak. Jelaskan jawaban Anda. (a). [5 poin] A = fp _ q; :p; p ! q; :qg (b). [5 poin] B = f:p ! q; :p $ r; :q $ s; :p ! sg
halaman 6 dari 8
Nama:
NIM:
Soal 5 (5 + 5 + 5 + 5 = 20) Ubahlah formula logika proposisi berikut menjadi formula yang ekuivalen dan hanya memakai operator : dan ! saja. Verifikasi jawaban Anda dengan tabel kebenaran. (a). [5 poin] p ^ q (b). [5 poin] p _ q (c). [5 poin] p
q
(d). [5 poin] p $ q
halaman 7 dari 8
Nama:
NIM:
Soal 6 (5 + 5 + 5 + 5 = 20) Periksa apakah pasangan formula-formula ekuivalen atau tidak. Berikan argumen pada jawaban Anda. (a). [5 poin]
:= :p ! (q ! r) dan
(b). [5 poin]
:= p ! (q ! (r ! s)) dan
:= ((p ! q) ! r) ! s
(c). [5 poin]
:= p ! (q ! (r ! s)) dan
:= p ^ q ^ r ! s
(d). [5 poin]
:= p
(q ^ r ^ s) dan
dan
berikut
:= q ! (p _ r)
:= (p
q) ^ (p
r) ^ (p
s)
halaman 8 dari 8