Nindya Viani 1406532002 Tugas 3 Struktur Diskrit

1) Untuk tiap argumen di bawah ini, jelaskan rules of inference yang digunakan pada tiap
premisnya.
a) Budi, salah satu mahasiswa di kelas ini, mengetahui bagaimana membuat program dalam
bahasa Java. Tiap orang yang mengetahui bagaimana membuat program dalam bahasa Java akan
mendapat gaji yang tinggi. Karena itu, salah seorang di kelas ini akan mendapat gaji yang tinggi
Jawab :
Misalkan :
A(x) = Mahasiswa di kelas ini
B(x) = Mahasiswa mengetahui bagaimana membuat program dalam bahasa Java
C(x) = Mahasiswa mendapat gaji tinggi
Premisnya adalah : x(A(x) B(x)) dan x(B(x) C(x))
Kesimpulannya adalah : x(A(x) C(x))

Penjelasannya adalah sebagai berikut :

Langkah-Langkah Alasan
1. x(A(x) B(x)) Premis
2. A(Budi) B(Budi)) Existential Instantiation dari (1)
3. B(Budi) Simplifikasi dari (2)
4. x(B(x) C(x)) Premis
5. B(Budi) C(Budi) Universal Instantiation dari (4)
6. C(Budi) Modus Ponen dari (3) dan (5)
7. A(Budi) Simplifikasi dari (2)
8. A(Budi) C(Budi) Konjungsi dari (6) dan (7)
9. x(A(x) C(x)) Existential Generalitazion dari (8)

Maka, dalam tiap premis dapat dilihat bahwa rule of inferencenya adalah sebagai berikut :
1. x(A(x) B(x)) : Digunakan existensial instantiation untuk mewakili kepada salah satu
orang (variabel pengganti) yaitu Budi.
1
 2. x(B(x) C(x)) : Digunakan universal instantiation untuk mewakili secara umum
kepada salah satu orang (variabel pengganti) yaitu Budi.
3. x(A(x) C(x)) : Digunakan existential generalization setelah mengambil konjungsi
dari yang sudah ada (terwakilkan Budi), dengan menganggap dari hasil aturan tersebut
maka akan ada sebagian / salah satu orang mendapat gaji tinggi.

b) Masing-masing dari 50 mahasiswa di kelas ini memiliki laptop. Setiap mahasiswa yang
mempunyai laptop dapat menggunakan email. Oleh karena itu, Budi, salah satu mahasiswa di
kelas ini, dapat menggunakan email
Jawab :
Misalkan :
A(x) = Mahasiswa di kelas ini
B(x) = Mahasiswa memiliki laptop
C(x) = Mahasiswa dapat menggunakan email
Premisnya adalah : x(A(x) B(x)) dan x(B(x) C(x))
Kesimpulannya adalah : A(Budi) C(Budi)

Penjelasannya adalah sebagai berikut :

Langkah-Langkah Alasan
1. x(A(x) B(x)) Premis
2. A(Budi) B(Budi)) Universal Instantiation dari (1)
3. A(Budi) Simplifikasi dari (2)
4. x(B(x) C(x)) Premis
5. B(Budi) C(Budi) Universal Instantiation dari (4)
6. C (Budi) Simplifikasi dari (5)
7. A(Budi) C(Budi) Konjungsi dari (3) dan (6)

Melalui langkah-langkah tersebut, dapat terlihat bahwa Rule of Inference yang digunakan adalah
seperti berikut :
1. x(A(x) B(x)) : Digunakan universal instantiation untuk mewakili secara umum
kepada salah satu orang (variabel pengganti) yaitu Budi.
2
 2. x(B(x) C(x)) : Digunakan universal instantiation untuk mewakili secara umum
kepada salah satu orang (variabel pengganti) yaitu Budi.
3. A(Budi) C(Budi) : Digunakan konjungsi dari yang telah diperoleh dalam langkah-
langkah sehingga diperoleh bahwa Budi, salah satu mahasiswa di kelas ini dapat
menggunakan email.

c) Semua yang tinggal di Bandung berada sekitar 300 km dari pantai. Ada yang tinggal di
Bandung yang tidak pernah melihat pantai. Dengan demikian, orang yang tinggal sekitar 300 km
dari pantai, tidak pernah melihat pantai.
Jawab :
Misalkan :
A(x) = Orang tinggal di Bandung
B(x) = Orang berada sekitar 300 km dari pantai
C(x) = Orang pernah melihat pantai
Premisnya adalah : x(A(x) B(x)) dan x(B(x) C(x))
Kesimpulannya adalah : x(A(x) C(x))

Penjelasannya adalah sebagai berikut :

Langkah-Langkah Alasan
1. x(A(x) B(x)) Premis
2. A(seseorang) B(seseorang)) Universal Instantiation dari (1)
3. A(seseorang) Simplifikasi dari (2)
4. x(B(x) C(x)) Premis
5. B(seseorang) C(seseorang) Universal Instantiation dari (3)
6. C (seseorang) Simplifikasi dari (5)
7. A(seseorang) C(seseorang) Konjungsi dari (3) dan (6)
8. x(A(x) C(x)) Existential Generalization dari (7)

Melalui langkah-langkah tersebut, dapat terlihat bahwa Rule of Inference yang digunakan adalah
seperti berikut :

3
 1. x(A(x) B(x)) : Digunakan universal instantiation untuk mewakili secara umum
kepada salah satu orang (variabel pengganti).
2. x(B(x) C(x)) : Digunakan universal instantiation untuk mewakili kepada salah satu
orang (variabel pengganti).
3. x(A(x) C(x)) : Digunakan existential generalization setelah mengambil konjungsi
yang sudah ada dari seseorang tersebut, untuk ditarik secara umum dari yang telah
mewakilkan tersebut.

2) Untuk tiap argument berikut ini, tentukan apakah argument ini benar atau salah.
a) Semua mahasiswa di kelas ini menguasai programming. Budi adalah mahasiswa di kelas ini.
Berarti, Budi memahami programming.
Jawab :
Misalkan :
A(x) = Mahasiswa di kelas ini
B(x) = Mahasiswa menguasai programming
A(Budi) = Budi di kelas ini
B(Budi) = Budi menguasai programming
Dengan Modus Ponen :
x(A(x) B(x))
A(Budi) B(Budi) --------------- [Universal Instantiation]
A(Budi)
-----------------
Kesimpulan : B(Budi)
Maka, argumen ini benar.

b) Tiap mahasiswa prodi Tekkom mengambil kuliah Struktur Diskrit. Budi mengambil kuliah
Struktur Diskrit. Berarti Budi adalah mahasiswa prodi Tekkom.
Jawab :
Misalkan :
A(x) = Mahasiswa prodi Tekkom
B(x) = Mahasiswa mengambil kuliah Struktur Diskrit
4
 A(Budi) = Budi mahasiswa prodi Tekkom
B(Budi) = Budi mengambil kuliah Stuktur Diskrit
Argumen ini tidak memenuhi logika inferensi apapun :
x(A(x) B(x))
A(Budi) B(Budi) --------------- [Universal Instantiation]
B(Budi)
-----------------
A(Budi)
Maka, argumen ini tidak benar.

c) Semua kendaraan bermesin diesel menggunakan bahan bakar solar. Kendaraan saya tidak
bermesin diesel. Berarti, kendaraan saya tidak menggunakan bahan bakar solar.
Jawab :
Misalkan :
A(x) = Kendaraan bermesin diesel
B(x) = Kendaraan enggunakan bahan bakar solar
A(Saya) = Kendaraan saya tidak bermesin diesel
B(Saya) = Kendaraan saya tidak menggunakan bahan bakar solar
Argumen ini tidak memenuhi logika inferensi apapun :
x(A(x) B(x))
A(Saya) B(Saya) --------------- [Universal Instantiation]
A(Saya)
-----------------
B(Saya)
Maka, argumen ini tidak benar.

3) Terjemahkan setiap statement di bawah ini ke dalam ekspresi logika menggunakan predicate,
quantifier, dan logical connectives.
a) Salah satu mahasiswa di kelas Struktur Data tinggal di Bogor.
Jawab :
A(x) = Mahasiswa di kelas Struktur Diskrit
5
B(x) = Mahasiswa tinggal di Bogor
x(A(x) B(x))

b) Ada seorang mahasiswa di prodi Tekkomp yang tidak bisa berbahasa Indonesia
Jawab :
A(x) = Mahasiswa prodi Tekkomp
B(x) = Mahasiswa bisa berbahasa Indonesia
x(A(x) B(x))

c) Ada seorang mahasiswa di prodi Tekkomp yang sekaligus menguasai Java, Phyton dan C++
Jawab :
A(x) = Mahasiswa prodi Tekkomp
B(x) = Mahasiswa menguasai Java, Phyton, dan C++
x(A(x) B(x))

d) Tiap mahasiswa di kelas Algoritma menyukai programming.

Jawab :
A(x) = Mahasiswa di kelas Algoritma
B(x) = Mahasiswa menyukai programming
x(A(x) B(x))

e) Salah seorang mahasiswa di kelas Jaringan tidak menyukai programming.

Jawab :
A(x) = Mahasiswa di kelas Jaringan
B(x) = Mahasiswa menyukai programming
x(A(x) B(x))

6
4). Nyatakan statement berikut ini dengan menggunakan predicates dan quantifiers.
a) Seorang penumpang pesawat terbang mendapat kualifikasi sebagai Frequent Flyer jika
penumpang tersebut sudah terbang lebih dari 25.000 mil dalam setahun atau melakukan lebih
dari 25 penerbangan dalam setahun.
Jawab :
A(x) = Penumpang sudah terbang lebih dari 25.000 mil dalam setahun
B(x) = Penumpang melakukan lebih dari 25 penerbangan dalam setahun
C(x) = Penumpang pesawat terbang mendapat qualifikasi sebagai Frequent Flyer
x(A(x) B(x)) C(x))

b) Seorang mahasiswa harus mengambil setidaknya 40 sks, dan menulis thesis, dan memiliki
nilai tidak kurang dari B untuk semua matakuliah, agar mendapatkan gelas master.
Jawab :
A(x) = Mahasiswa harus mengambil setidaknya 40 sks
B(x) = Mahasiswa harus menulis thesis
C(x) = Mahasiswa harus memiliki nilai >= B untuk semua mata kuliah
D(x) = Mahasiswa mendapat gelar master
x ((A(x) B(x) C(x)) D(x))

c) Ada seorang mahasiswa yang mengambil lebih dari 21 sks dalam satu semester dan semuanya
mendapat nilai A.
Jawab :
A(x) = Mahasiswa mengambil lebih dari 21 sks dalam satu semester
B(x) = Mahasiswa mendapat nilai A untuk semua sks
x(A(x) B(x))

7
5). Terjemahkan ke dalam narasi dari statemen di bawah ini. F(p) Printer p rusak, B(p) Printer
p sibuk, L(j) Print job j hilang, and Q(j) Print job j antri
a) p(F(p) B(p)) jL(j)
Jawab :
Jika ada printer p yang rusak dan sibuk, maka ada print job j hilang.

b) pB(p) jQ(j)
Jawab :
Jika semua printer p sibuk maka ada print job j antri.

c) j (Q(j) L(j)) pF(p)

Jawab :
Jika ada print job j yang antri dan hilang, maka ada printer p rusak.

d) (pB(p) jQ(j)) jL(j)

Jawab :
Jika semua printer p sibuk dan semua print job j antri, maka ada print job j hilang.

6). Perhatikan statement Q(x, y) dimana x telah mengirim email ke y, domain untuk x and y
terdiri dari semua mahasiswa di kelas. Nyatakan dalam narasi.

a) xyQ(x, y)
Jawab :
Beberapa mahasiswa di kelas x telah mengirim email ke beberapa mahasiswa di kelas y.

b) xyQ(x, y)
Jawab :
Beberapa mahasiswa di kelas x telah mengirim email ke semua mahasiswa di kelas y.

8
c) xyQ(x, y)
Jawab :
Semua mahasiswa di kelas x telah mengirim email ke beberapa mahasiswa di kelas y.

d) yxQ(x, y)
Jawab :
Semua mahasiswa di kelas x telah mengirim email ke beberapa mahasiswa di kelas y.

e) yxQ(x, y)
Jawab :
Beberapa mahasiswa di kelas x telah mengirim email ke semua mahasiswa di kelas y.

f ) xyQ(x, y)
Jawab :
Semua mahasiswa di kelas x telah mengirim email ke semua mahasiswa di kelas y.

7). Pada W(x, y) menyatakan mahasiswa x yang mengunjungi website y, dimana domain untuk x
terdiri dari seluruh mahasiswa di prodi Tekkomp dan domain untuk y terdiri dari semua website.
Nyatakan statemen logika berikut ini dalam narasi.

a) W(Joko, www.google.com)
Jawab :
Joko mahasiswa prodi Tekkomp mengunjungi website www.google.com

b) xW(x, www.imdb.org)
Jawab :
Ada mahasiswa prodi Tekkomp mengunjungi www.imdb.org

9
c) yW(Budi, y)
Jawab :
Budi mahasiswa prodi Tekkomp mengunjungi suatu website.

d) y(W(Wati, y) W(Tuti, y))

Jawab :
Wati dan Tuti mahasiswa prodi Tekkomp mengunjungi suatu website.

e) yz(y _= (Tukul) (W(Tukul, z) W(y,z)))

f ) xyz((x _= y) (W(x, z) W(y, z)))
Jawab :
z tidak didefinisikan

8). Pada M(x, y) menyatakan x telah mengirimkan y sebuah pesan email and T (x, y)
menyatakan x menelepon y, dimana domain terdiri dari seluruh mahasiswa di kelas Struktur
Data. Gunakan quantifiers untuk menyatakan statemen-statemen di bawah ini.

a) Budi tidak pernah mengirimkan pesan email ke Rudi.

Jawab : xyM(Budi, Rudi)

b) Agus tidak pernah mengirimkan pesan email ataupun menelepon Daus.

Jawab : xy(M(Agus, Daus) T(Agus, Daus))

c) Setiap mahasiswa di kelas Struktur Data pernah mengirimkan pesan email ke Dosen
Jawab : xyM(x, Dosen)

d) Tak satupun di kelas Struktur Data yang pernah menelepon Didi.

Jawab : xyT(x, Didi)

10
e) Terdapat seorang mahasiswa di kelas Struktur Data yang tidak pernah menerima pesan email
dari siapapun dari kelas tersebut dan tidak pernah ditelepon dari mahasiswa lainnya di kelas
tersebut.
Jawab : xy (M(x, y) T(x,y))

9). Gunakan quantifiers dan predicates untuk statemen di bawah ini.

a) Setiap mahasiwa prodi Tekkomp perlu mengambil kuliah Diskrit.
Jawab :
A(x) = Mahasiswa prodi Tekkomp
B(x) = Mahasiswa perlu mengambil kuliah Diskrit
x(A(x) B(x))

b) Terdapat mahasiswa di kelas Diskrit yang mempunyai Ferrari

Jawab :
A(x) = Mahasiswa di kelas Diskrit
B(x) = Mahasiswa mempunyai Ferrari
x(A(x) B(x))

c) Tiap mahasiswa di prodi Tekkkomp mengambil setidaknya 1 kuliah lintas fakultas

Jawab :
A(x,y) : dimana x mengambil y, domain dari x adalah semua mahasiswa prodi Tekkomp dan
domain dari y adalah semua kuliah lintas fakultas.
xyA(x,1)

d) Tiap mahasiswa di prodi Tekkomp pernah setidaknya memasuki 1 ruangan dari setiap gedung
di DTE.
Jawab :
A(x,y,z) : dimana x pernah setidaknya memasuki y dari z, domain dari x adalah semua
mahasiswa prodi Tekkomp, domain dari y adalah semua ruangan, dan domain dari z adalah
semua gedung di DTE
xyzA(x,1,z)
11
f ) Ada satu mahasiswa di prodi Tekkomp yang pernah memasuki setiap ruangan dari setidaknya
1 gedung di FTUI
Jawab :
A(x,y,z) : dimana x pernah memasuki y dari z domain dari x adalah semua mahasiswa prodi
Tekkomp, domain dari y adalah semua ruangan, dan domain dari z adalah semua gedung di
FTUI
xyA(1,y,1)

10). Gunakan quantifiers, predicates dan logical connective untuk statemen di bawah ini.
a) Setiap user SSO UI pasti memiliki satu mailbox
Jawab :
A(x,y) : dimana x pasti memiliki y, domain dari x adalah semua user SSO UI dan domain dari
y adalah semua mailbox
xyA(x,1)

b) Semua user di jaringan kampus UI dapat mengakses semua aplikasi web yang memiliki
ekstensi ac.id
Jawab :
A(x,y) : dimana x dapat mengakses y, domain dari x adalah semua user di jaringan kampus UI
dan domain dari y adalah semua aplikasi web yang memiliki ekstensi ac.id.
xyA(x,y)

c) Terdapat 2 buah sistem yang monitor setiap remote server

Jawab :
A(x,y) : dimana x yang monitor y domain dari x adalah semua sistem dan domain dari y adalah
semua remote server.
xyA(2,y)

12