UTS Semester Ganjil 2015/2016

MUG2B3 LOGIKA MATEMATIKA

(S1 Teknik Informatika)
Selasa, 20 Oktober 2015 pukul 13.00 15.00 WIB (120 menit)
Tim Dosen: BBD, BDP, DDR, GIA, MDS, MZI, SSD, SWD

Ujian bersifat closed books, notes, and electronic devices dan dikerjakan secara individu.
Dilarang keras bekerja sama atau mencontek! Jika dilakukan, maka nilai akhir adalah E!
Tuliskan jawaban dengan rapi dan jelas beserta argumennya jika diperlukan.
Anda boleh memakai pulpen bertinta merah/biru atau pensil untuk menjawab pertanyaan.
Berdoalah sebelum mengerjakan ujian.

Nama Mahasiswa: NIM: Kelas: Ruang: Nilai (Diisi Dosen):

IF-
Salinlah pernyataan berikut:
Saya tidak akan melakukan kecurangan dalam ujian ini. Jika Tanda Tangan Mahasiswa:
saya melakukannya, maka saya bersedia diberi nilai E untuk
semua mata kuliah yang saya ambil di semester ini.
..........................................................................................................
..........................................................................................................
....................................................
..........................................................................................................

Petunjuk khusus pengerjaan:

1. Berkas UTS terdiri dari 6 (enam) soal yang masing-masing berbobot 20 poin. Total poin yang
dapat diperoleh di UTS ini adalah 120 poin. Nilai maksimal pada ujian ini adalah 100. Jika
mahasiswa memperoleh total poin > 100, maka poin kelebihannya akan dipertimbangkan oleh
dosen pengampu untuk masing-masing kelas.
2. Kerjakan dengan rapi dan jelas. Anda tidak hanya dinilai berdasarkan jawaban akhir yang Anda
berikan, tapi juga pada kerapian tulisan, tata bahasa dan argumen ilmiah, relevansi dan koherensi
antar argumen, serta ketepatan notasi matematika yang dipakai.
3. Kerjakan pada tempat yang disediakan, jika membutuhkan kertas sketsa atau corat-coret, silakan
minta pada pengawas ujian.
 Nama: NIM: Kelas: Ruang:

Beberapa aturan inferensi:

Beberapa ekuivalensi logika proposisi:

Halaman 2 dari 8
 Nama: NIM: Kelas: Ruang:

Kompetensi 1: Mahasiswa dapat mentranslasikan kalimat dalam bahasa alami ke formula logika
proposisi, dan sebaliknya; mahasiswa dapat menentukan struktur formula logika proposisi berdasarkan
pohon urainya; mahasiswa dapat menentukan kontrapositif dari suatu formula logika proposisi.

1. (5 + 5 + 5 + 5 = 20) Diketahui proposisi atom berikut.

: rumah itu bersih
: rumah itu luas
: saya menyukai rumah itu
: saya akan membeli rumah itu

a. Misalkan adalah formula

i. [5 poin] Translasikan formula ke dalam bahasa Indonesia yang baik dan benar!
ii. [5 poin] Gambarkan pohon urai (parse tree) dari formula !

b. Diberikan kalimat: Saya tidak menyukai rumah itu namun saya tetap akan membelinya jika
rumah itu luas dan bersih
i. [5 poin] Translasikan kalimat di atas ke dalam formula logika proposisi!
ii. [5 poin] Tentukan kontrapositif dari formula yang diperoleh (dalam notasi/simbol formula
proposisi)!

Halaman 3 dari 8
 Nama: NIM: Kelas: Ruang:

Kompetensi 2: Mahasiswa dapat membuat tabel kebenaran dari suatu formula logika proposisi serta
menentukan sifat-sifat formula tersebut.

2. (5 + 5 + 5 + 5 = 20) Diberikan sebuah formula logika proposisi berikut.

( )

a. [5 poin] Buatlah tabel kebenaran untuk formula di atas!

b. [5 poin] Apakah formula di atas bersifat terpenuhi (satisfiable)? Jelaskan jawaban Anda!
c. [5 poin] Apakah formula di atas bersifat absah (valid)? Jelaskan jawaban Anda!
d. [5 poin] Apakah formula di atas bersifat kontradiksi? Jelaskan jawaban Anda!

Halaman 4 dari 8
 Nama: NIM: Kelas: Ruang:

Kompetensi 3: Mahasiswa mampu memeriksa apakah dua formula logika proposisi ekuivalen atau
tidak tanpa memakai tabel kebenaran; mahasiswa mampu memeriksa apakah suatu formula logika
proposisi merupakan konsekuensi logis dari formula logika proposisi yang lain tanpa memakai tabel
kebenaran.

3. (10 + 10 = 20) Selesaikan permasalahan berikut tanpa memakai tabel kebenaran!

Catatan: bila memakai tabel kebenaran, maka nilai maksimal yang dapat diperoleh untuk setiap
subsoal maksimum 5 poin.

a. [10 poin] Periksa apakah formula dan berikut ekuivalen atau tidak!
= ( ) ( ) ( ) dan = ( )

b. [10 poin] Periksa apakah merupakan konsekuensi logis dari (dengan perkataan lain, berlaku
kondisi )!
= ( ) dan =

Halaman 5 dari 8
 Nama: NIM: Kelas: Ruang:

Kompetensi 4: Mahasiswa mampu menerapkan konsep dalam logika proposisi untuk memeriksa
konsistensi spesifikasi suatu sistem.

4. (10 + 10 = 20) Seorang software engineer diminta oleh manajernya untuk membuat suatu program
dengan spesifikasi sebagai berikut.
Spesifikasi 1: Program dapat dijalankan dalam sistem operasi Mac OS X bila program dapat
dijalankan dalam sistem operasi Linux.
Spesifikasi 2: Jika program tidak dapat dijalankan dalam sistem operasi Mac OS X, maka
program dapat dijalankan dalam sistem operasi Windows.
Spesifikasi 3: Program dapat dijalankan dalam sistem operasi Linux atau Windows.

a. [10 poin] Gunakan proposisi-proposisi berikut untuk mentranslasikan spesifikasi 1, 2, dan 3

dalam formula logika proposisi!
: program dapat dijalankan dalam sistem operasi Linux
: program dapat dijalankan dalam sistem operasi Mac OS X
: program dapat dijalankan dalam sistem operasi Windows

b. [10 poin] Periksa apakah spesifikasi program yang dimaksud pada (a) konsisten atau tidak!
Jelaskan jawaban Anda!

Halaman 6 dari 8
 Nama: NIM: Kelas: Ruang:

Kompetensi 5: Mahasiswa mampu menentukan kesimpulan yang logis dari beberapa argumen dan
membuktikannya dengan inferensi logika proposisi.

5. (20) Diberikan premis-premis sebagai berikut.

jika kabut asap masih pekat dan murid sekolah banyak yang sakit ISPA, maka sekolah akan
diliburkan selama satu bulan
jika sekolah diliburkan selama satu bulan, maka aktivitas belajar tidak akan dilaksanakan
hari ini kabut asap pekat, tetapi aktivitas belajar tetap dilaksanakan

[20 poin] Apakah kesimpulan dari premis-premis di atas? Pilih satu di antara dua kesimpulan
berikut!
Murid sekolah banyak yang sakit ISPA
Murid sekolah tidak banyak yang sakit ISPA
Jelaskan jawaban Anda menggunakan inferensi logika proposisi! Jelaskan proposisi atom yang
Anda gunakan!

Halaman 7 dari 8
 Nama: NIM: Kelas: Ruang:

Kompetensi 6: Mahasiswa mampu mentranslasikan kalimat sederhana dalam bahasa alami ke dalam
formula logika predikat.

6. (4 + 4 + 4 + 4 + 4 = 20) Dimisalkan sebagai berikut.

= { | mahasiswa S1 IF Tel-U} dan = { | mata kuliah S1}.
, dengan dan berturut-turut merepresentasikan mahasiswa S1
IF Tel-U yang bernama Andre dan Benny.
, dengan merepresentasikan mata kuliah ASD (Algoritma dan Struktur Data)
dan merepresentasikan mata kuliah Logika Matematika.

Jika ( , ) adalah predikat yang berarti mahasiswa mengambil mata kuliah ,

translasikan setiap kalimat dalam bahasa Indonesia berikut ke dalam formula dalam logika
predikat!
a. [4 poin] Andre dan Benny mengambil mata kuliah ASD.
b. [4 poin] Andre mengambil mata kuliah ASD dan Logika Matematika.
c. [4 poin] semua mahasiswa S1 IF Tel-U mengambil mata kuliah ASD.
d. [4 poin] Benny mengambil beberapa mata kuliah S1.
e. [4 poin] Semua mahasiswa S1 IF Tel-U setidaknya mengambil satu mata kuliah S1.

Halaman 8 dari 8