COURSEWORK 1

LOGIKA DAN STRUKTUR DISKRIT

SEMESTER GASAL 2018/2019
Departemen Sistem Informasi, FTIK
Institut Teknologi Sepuluh Nopember

1. (12 POIN) Apakah pernyataan berikut merupakan proposisi? Jelaskan justifikasi dari
jawaban Anda.
a. Malang adalah ibu kota propinsi Jawa Timur.
b. Di mana rumahmu?
c. x+1 adalah bilangan genap.
d. Untuk setiap bilangan genap x, x+3 adalah bilangan ganjil.

2. (15 POIN) Dari beberapa premis berikut:

(1) Dewi adalah orang yang pintar dan berwajah menarik.
(2) Rudi adalah orang yang pintar atau rajin.
(3) Jika seseorang itu rajin, dia akan sukses.
(4) Jika seseorang itu pintar atau berwajah menarik (tetapi tidak keduanya), maka
dia adalah seorang entertainer.
(5) Seseorang itu terkenal jika dan hanya jika dia adalah entertainer.
(6) Niki adalah seorang entertainer yang tidak sukses.
(7) Sofia adalah orang yang sukses.

Apakah kesimpulan berikut ini valid? Jelaskan justifikasi dari jawaban Anda.
a. Niki adalah orang yang terkenal.
b. Sofia adalah orang yang rajin.
c. Rudi adalah orang yang sukses.
d. Dewi adalah seorang entertainer.
e. Niki bukan orang yang rajin.

3. (6 POIN) Andaikan terdapat tanda pada pintu menuju ke dua ruangan. Tanda pada
pintu bertama bertuliskan “Di ruangan ini ada seorang putri, dan di ruangan lainnya
ada seekor harimau”; dan tanda pada pintu kedua bertuliskan “Salah satu dari
ruangan ini berisi seorang putri, dan salah satunya berisi seekor harimau”.
Misalkan Anda mengetahui bahwa salah satu tulisan tersebut benar dan salah satunya
salah. Ruangan mana yang berisi seorang putri?

4. (10 POIN) Tunjukkan bahwa ¬(p ↔ q) secara logika ekuivalen dengan ¬p ↔ q.

5. (12 POIN) MIsalkan:

P(x): x adalah seorang programmer.
Q(x): x memiliki logika yang sangat baik.
R(x): x adalah mahasiswa Sistem Informasi.
dan semesta pembicaraannya terdiri dari semua orang, nyatakan kalimat berikut
dalam bentuk ekspresi logika menggunakan predikat, kuantor, dan operator
penghubung yang sesuai.
a. Semua programmer memiliki logika yang sangat baik.
b. Tidak ada mahasiswa Sistem Informasi yang memiliki logika tidak baik.
c. Terdapat mahasiswa Sistem Informasi yang memiliki logika yang sangat baik
tetapi bukan programmer.
 COURSEWORK 1
LOGIKA DAN STRUKTUR DISKRIT
SEMESTER GASAL 2018/2019
Departemen Sistem Informasi, FTIK
Institut Teknologi Sepuluh Nopember

d. Setidaknya seorang programmer merupakan mahasiswa Sistem Informasi.

6. (10 POIN) Gunakan aturan penarikan kesimpulan untuk menunjukkan bahwa jika ∀x
(P(x) ∨ Q(x)), ∀x (¬Q(x) ∨ S(x)), ∀x (R(x) → ¬S(x)), dan ∃x ¬P(x) bernilai benar, maka
∃x ¬R(x) juga benar.

7. (10 POIN) Buktikan bahwa jika x dan y merupakan bilangan riil, maka maks(x, y) +
min(x, y) = x + y. (Petunjuk: Gunakan proof by cases dengan 2 case yaitu x ≥ y dan x
< y).

8. (10 POIN) Buktikan bahwa jika n adalah bilangan ganjil, maka terdapat bilangan unik
k sehingga n merupakan hasil penjumlahan dari k – 2 dan k + 3.

9. (6 POIN) Tentukan nilai kebenaran dari pernyataan ∀x∃y (xy = 1) jika domain dari
variabelnya adalah:
a. Bilangan bulat tidak nol.
b. Bilangan riil positif.

10. (9 POIN) Temukanlah counterexample (jika ada) untuk pernyataan berkuantor

berikut, domain dari semua variabel yang digunakan adalah bilangan bulat.
a. ∀x∀y (x2 = y2 → x = y)
b. ∀x∃y (y2 = x)
c. ∀x∀y (xy ≥ x)