Tugas IV Logika Informatika:

1. Diketahui himpunan A sebagai berikut: A = {1, 2, 3, 4, 5},

a. Berikan contoh dan perhitungannya bahwa Relasi R yang menyatakan Refleksif dan
tidak Refleksif dari himpunan A tersebut di atas.
b. Berikan contoh dan perhitungannya bahwa Relasi R yang menyatakan Menghantar
dan tidak Menghantar dari himpunan A tersebut di atas.
c. Berikan contoh dan perhitungannya bahwa Relasi R yang menyatakan Setangkup dan
tidak Setangkup dari himpunan A tersebut di atas.
d. Berikan contoh dan perhitungannya bahwa Relasi R yang menyatakan Tolak
Setangkup dan tidak Tolak Setangkup dari himpunan A tersebut di atas.

2. Dengan menggunakan relasi n-ary

Diketahui himpunan sebagai berikut:
NIM = {13598011, 13598014, 13598015, 13598019,
13598021, 13598025, 13598026}
Nama = {Arfan, Santi, Irwan, Ahmad, Cecep, Hamdan, Sony}
MatKul = {Logika Informatika, Algoritma, Struktur Data,
Arsitektur Komputer, Bahasa dan Otomata}
Nilai = {A, B, C, D, E}

Diketahui relasi yang bernama MHS adalah

MHS = { (13598011, Arfan, Logika Informatika, A),

(13598011, Arfan, Arsitektur Komputer, B),
(13598014, Santi, Arsitektur Komputer, D),
(13598015, Irwan, Algoritma, C),
(13598015, Irwan, Struktur Data C),
(13598015, Irwan, Arsitektur Komputer, B),
(13598019, Ahmad, Algoritma, E),
(13598021, Cecep, Algoritma, A),
(13598021, Cecep, Arsitektur Komputer, B),
(13598025, Hamdan, Logika Informatika, B),
(13598025, Hamdan, Algoritma, A, B),
(13598026, Sony, Struktur Data, C),
(13598026, Sony, Ars. Komputer, B) }

Carilah :
a. Carilah (NIM Nama MatKul Nilai)
b. Matkul=Logika Informatika (MHS)
c. Nama, MatKul, Nilai (MHS)
d. NIM, Nama (MHS)
e. NIM, Nama(MHS1, MHS2)

Tabel 3.7
1
 NIM Nama JK
13598001 Hananto L
13598002 Guntur L
13598004 Heidi W
13598006 Harman L
13598007 Karim L

Tabel 3.8
NIM Nama MatKul Nilai
13598001 Hananto Algoritma A
13598001 Hananto Basisdata B
13598004 Heidi Kalkulus I B
13598006 Harman Teori Bahasa C
13598006 Harman Agama A
13598009 Junaidi Statisitik B
13598010 Farizka Otomata C

2
Jawaban :

1. A x A = {(1,1), (1,2), (1,3), (1,4), (1,5), (2,1), (2,2), (2,3), (2,4), (2,5), (3,1), (3,2),
(3,3), (3,4), (3,5), (4,1), (4,2), (4,3), (4,4), (4,5), (5,1), (5,2), (5,3), (5,4), (5,5)}

a. Refleksif dan Tidak Refleksif

A = { 1, 2, 3, 4, 5 }
R = { (1,1), (2,2), (3,3), (4,4), (5,5) } Refleksif
R = { (1,1), (2,2), (3,3), (5,5) } Tidak Refleksif

b. Menghantar dan Tidak Menghantar

A = { 1, 2, 3, 4, 5 }
R = { (1,3), (1,4), (2,1), (2,3), (3,4), (4,3) }
Menghantar :
(a,b) (b,c) (a,c)
(1,3) (3,4) (1,4)
(1,4) (4,5) (1,5)
(2,1) (1,3) (2,3)
(2,1) (1,4) (2,4)
(2,3) (3,4) (2,4)
(3,4) (4,5) (3,5)
(4,3) (3,4) (4,4)

Tidak Menghantar
R = { (1,1), (1,2),(2,3),(4,5) }
(a,b) (b,c) (a,c)
(1,2) (2,3) (1,3) R Tidak Menghantar

c. Setangkup dan Tidak Setangkup

A = { 1, 2, 3, 4, 5 }
R = { (1,2), (1,3), (2,1), (2,3), (3,1), (3,2) } Setangkup
R = { (1,2), (1,3), (2,3), (2,4), (3,5) } Tidak Setangkup

d. Tolak Setangkup dan Tidak Tolak Setangkup

A = { 1, 2, 3, 4, 5 }
R = { (1,1), (2,2), (3,3), (4,4), (5,5) } Tolak Setangkup
R = { (1,2), (1,3), (1,4), (1,5), (2,2) } Tidak Tolak Setangkup

2. a. Carilah (NIM Nama MatKul Nilai)

MHS = { (13598011, Arfan, Logika Informatika, A),
(13598011, Arfan, Logika Informatika, B),

3
(13598011, Arfan, Logika Informatika, C),
(13598011, Arfan, Logika Informatika, D),
(13598011, Arfan, Logika Informatika, E),
(13598011, Arfan, Algoritma, A),
(13598011, Arfan, Algoritma, B),
(13598011, Arfan, Algoritma, C),
(13598011, Arfan, Algoritma, D),
(13598011, Arfan, Algoritma, E),
(13598011, Arfan, Struktur Data, A),
(13598011, Arfan, Struktur Data, B),
(13598011, Arfan, Struktur Data, C),
(13598011, Arfan, Struktur Data, D),
(13598011, Arfan, Struktur Data, E),
(13598011, Arfan, Arsitektur Komputer, A),
(13598011, Arfan, Arsitektur Komputer, B),
(13598011, Arfan, Arsitektur Komputer, C),
(13598011, Arfan, Arsitektur Komputer, D),
(13598011, Arfan, Arsitektur Komputer, E),
(13598011, Arfan, Bahasa dan Otomata, A),
(13598011, Arfan, Bahasa dan Otomata, B),
(13598011, Arfan, Bahasa dan Otomata, C),
(13598011, Arfan, Bahasa dan Otomata, D),
(13598011, Arfan, Bahasa dan Otomata, E),
(13598014, Santi, Logika Informatika, A),
(13598014, Santi, Logika Informatika, B),
(13598014, Santi, Logika Informatika, C),
(13598014, Santi, Logika Informatika, D),
(13598014, Santi, Logika Informatika, E),
(13598014, Santi, Algoritma, A),
(13598014, Santi, Algoritma, B),
(13598014, Santi, Algoritma, C),
(13598014, Santi, Algoritma, D),
(13598014, Santi, Algoritma, E),
(13598014, Santi, Struktur Data, A),
(13598014, Santi, Struktur Data, B),
(13598014, Santi, Struktur Data, C),
(13598014, Santi, Struktur Data, D),
(13598014, Santi, Struktur Data, E),
(13598014, Santi, Arsitektur Komputer, A),
(13598014, Santi, Arsitektur Komputer, B),
(13598014, Santi, Arsitektur Komputer, C),
(13598014, Santi, Arsitektur Komputer, D),
(13598014, Santi, Arsitektur Komputer, E),
(13598014, Santi, Bahasa dan Otomata, A),
(13598014, Santi, Bahasa dan Otomata, B),
(13598014, Santi, Bahasa dan Otomata, C),
(13598014, Santi, Bahasa dan Otomata, D),
(13598014, Santi, Bahasa dan Otomata, E),
(13598015, Irwan, Logika Informatika, A),
(13598015, Irwan, Logika Informatika, B),
(13598015, Irwan, Logika Informatika, C),
4
(13598015, Irwan, Logika Informatika, D),
(13598015, Irwan, Logika Informatika, E),
(13598015, Irwan, Algoritma, A),
(13598015, Irwan, Algoritma, B),
(13598015, Irwan, Algoritma, C),
(13598015, Irwan, Algoritma, D),
(13598015, Irwan, Algoritma, E),
(13598015, Irwan, Struktur Data, A),
(13598015, Irwan, Struktur Data, B),
(13598015, Irwan, Struktur Data, C),
(13598015, Irwan, Struktur Data, D),
(13598015, Irwan, Struktur Data, E),
(13598015, Irwan, Arsitektur Komputer, A),
(13598015, Irwan, Arsitektur Komputer, B),
(13598015, Irwan, Arsitektur Komputer, C),
(13598015, Irwan, Arsitektur Komputer, D),
(13598015, Irwan, Arsitektur Komputer, E),
(13598015, Irwan, Bahasa dan Otomata, A),
(13598015, Irwan, Bahasa dan Otomata, B),
(13598015, Irwan, Bahasa dan Otomata, C),
(13598015, Irwan, Bahasa dan Otomata, D),
(13598015, Irwan, Bahasa dan Otomata, E),
(13598019, Ahmad,Logika Informatika, A),
(13598019, Ahmad,Logika Informatika, B),
(13598019, Ahmad,Logika Informatika, C),
(13598019, Ahmad,Logika Informatika, D),
(13598019, Ahmad,Logika Informatika, E),
(13598019, Ahmad, Algoritma, A),
(13598019, Ahmad, Algoritma, B),
(13598019, Ahmad, Algoritma, C),
(13598019, Ahmad, Algoritma, D),
(13598019, Ahmad, Algoritma, E),
(13598019, Ahmad, Struktur Data, A),
(13598019, Ahmad, Struktur Data, B),
(13598019, Ahmad, Struktur Data, C),
(13598019, Ahmad, Struktur Data, D),
(13598019, Ahmad, Struktur Data, E),
(13598019, Ahmad, Arsitektur Komputer, A),
(13598019, Ahmad, Arsitektur Komputer, B),
(13598019, Ahmad, Arsitektur Komputer, C),
(13598019, Ahmad, Arsitektur Komputer, D),
(13598019, Ahmad, Arsitektur Komputer, E),
(13598019, Ahmad, Bahasa dan Otomata, A),
(13598019, Ahmad, Bahasa dan Otomata, B),
(13598019, Ahmad, Bahasa dan Otomata, C),
(13598019, Ahmad, Bahasa dan Otomata, D),
(13598019, Ahmad, Bahasa dan Otomata, E),
(13598021, Cecep, Logika Informatika, A),
(13598021, Cecep, Logika Informatika, B),
(13598021, Cecep, Logika Informatika, C),
(13598021, Cecep, Logika Informatika, D),
5
(13598021, Cecep, Logika Informatika, E),
(13598021, Cecep, Algoritma, A),
(13598021, Cecep, Algoritma, B),
(13598021, Cecep, Algoritma, C),
(13598021, Cecep, Algoritma, D),
(13598021, Cecep, Algoritma, E),
(13598021, Cecep, Struktur Data, A),
(13598021, Cecep, Struktur Data, B),
(13598021, Cecep, Struktur Data, C),
(13598021, Cecep, Struktur Data, D),
(13598021, Cecep, Struktur Data, E),
(13598021, Cecep, Arsitektur Komputer, A),
(13598021, Cecep, Arsitektur Komputer, B),
(13598021, Cecep, Arsitektur Komputer, C),
(13598021, Cecep, Arsitektur Komputer, D),
(13598021, Cecep, Arsitektur Komputer, E),
(13598021, Cecep, Bahasa dan Otomata, A),
(13598021, Cecep, Bahasa dan Otomata, B),
(13598021, Cecep, Bahasa dan Otomata, C),
(13598021, Cecep, Bahasa dan Otomata, D),
(13598021, Cecep, Bahasa dan Otomata, E),
(13598025, Hamdan,Logika Informatika, A),
(13598025, Hamdan,Logika Informatika, B),
(13598025, Hamdan,Logika Informatika, C),
(13598025, Hamdan,Logika Informatika, D),
(13598025, Hamdan,Logika Informatika, E),
(13598025, Hamdan, Algoritma, A),
(13598025, Hamdan, Algoritma, B),
(13598025, Hamdan, Algoritma, C),
(13598025, Hamdan, Algoritma, D),
(13598025, Hamdan, Algoritma, E),
(13598025, Hamdan, Struktur Data, A),
(13598025, Hamdan, Struktur Data, B),
(13598025, Hamdan, Struktur Data, C),
(13598025, Hamdan, Struktur Data, D),
(13598025, Hamdan, Struktur Data, E),
(13598025, Hamdan, Arsitektur Komputer, A),
(13598025, Hamdan, Arsitektur Komputer, B),
(13598025, Hamdan, Arsitektur Komputer, C),
(13598025, Hamdan, Arsitektur Komputer, D),
(13598025, Hamdan, Arsitektur Komputer, E),
(13598025, Hamdan, Bahasa dan Otomata, A),
(13598025, Hamdan, Bahasa dan Otomata, B),
(13598025, Hamdan, Bahasa dan Otomata, C),
(13598025, Hamdan, Bahasa dan Otomata, D),
(13598025, Hamdan, Bahasa dan Otomata, E),
(13598026, Sony, Logika Informatika, A),
(13598026, Sony, Logika Informatika, B),\
(13598026, Sony, Logika Informatika, C),
(13598026, Sony, Logika Informatika, D),
(13598026, Sony, Logika Informatika, E),
6
 (13598026, Sony, Algoritma, A),
(13598026, Sony, Algoritma, B),
(13598026, Sony, Algoritma, C),
(13598026, Sony, Algoritma, D),
(13598026, Sony, Algoritma, E),
(13598026, Sony, Struktur Data, A),
(13598026, Sony, Struktur Data, B),
(13598026, Sony, Struktur Data, C),
(13598026, Sony, Struktur Data, D),
(13598026, Sony, Struktur Data, E),
(13598026, Sony, Arsitektur Komputer, A),
(13598026, Sony, Arsitektur Komputer, B),
(13598026, Sony, Arsitektur Komputer, C),
(13598026, Sony, Arsitektur Komputer, D),
(13598026, Sony, Arsitektur Komputer, E),
(13598026, Sony, Bahasa dan Otomata, A),
(13598026, Sony, Bahasa dan Otomata, B),
(13598026, Sony, Bahasa dan Otomata, C),
(13598026, Sony, Bahasa dan Otomata, D),
(13598026, Sony, Bahasa dan Otomata, E) }

b. Matkul=Logika Informatika (MHS)

MHS = { (13598011, Arfan, Logika Informatika, A),
(13598025, Hamdan, Logika Informatika, B) }

c. Nama, MatKul, Nilai

(MHS)
MHS = { (Arfan, Logika Informatika, A),
(Arfan, Arsitektur Komputer, B),
(Santi, Arsitektur Komputer, D),
(Irwan, Algoritma, C),
(Irwan, Struktur Data C),
(Irwan, Arsitektur Komputer, B),
(Ahmad, Algoritma, E),
(Cecep, Algoritma, A),
(Cecep, Arsitektur Komputer, B),
(Hamdan, Logika Informatika, B),
(Hamdan, Algoritma, A, B),
(Sony, Struktur Data, C),
(Sony, Arsitektur Komputer, B) }

d. NIM, Nama (MHS)

MHS = { (13598011, Arfan),
(13598014, Santi),
(13598015, Irwan),
(13598021, Cecep),
(13598025, Hamdan),
(13598026, Sony) }

7
e. NIM, Nama (MHS1, MHS2)
NIM Nama JK MatKul Nilai
13598001 Hananto L Algoritma A
13598001 Hananto L Basis Data B
13598004 Heidi W Kalkulus I B
13598006 Harman L Teori Bahasa C
13598006 Harman L Agama A