TUGAS

LOGIKA INFORMATIKA
Pertemuan Ke-7

Dosen Pengampu : Rukin Sudarwanto,S.Pd., M.T.I

Disusun Oleh :

KHOLIFUDIN 1957201038

PROGRAM STUDI SISTEM INFORMASI

FAKULTAS SAINS DAN TEKNOLOGI

UNIVERSITAS NAHDLATUL ULAMA

LAMPUNG
2019/2020
 KATA PENGANTAR

Puji syukur kehadirat Allah SWT Tuhan Yang Maha Esa karena berkat
limpahan Rahmat dan Karunia-Nya sehingga kami dapat menyelesaikan Tugas Logika
Informatika Pertemuan Ke-7 ini dengan tepat waktu.

Sholawat beserta salam semoga tetap tercurahkan kepada Nabi Muhammad

SAW, yang telah membimbing kita dari zaman jahiliyah menuju zaman islamiyah..
Kami ucapkan terima kasih kepada Dosen Mata kuliah Logika Informatika yang telah
membimbing kami dalam Mata Kuliah yang bersangkutan.

Tugas Logika Informatika Pertemuan Ke-7 ini dibuat dalam rangka memenuhi
tugas Mata kuliah Pendidikan Agama Islam. Semoga makalah yang kami buat dapat
bermanfaat bagi kami dan semua pihak yang membacanya.
 PEMBAHASAN

A. Tono atau Tini pergi ke pesta. Jika Tini pergi ke pesta, maka Dewi Pergi ke
pesta, jika Bowo tidak pergi ke pesta. Bowo pergi ke pesta jika Tono tidak
pergi ke pesta. Dengan demikian, Dewi pergi ke pesta.

Jawaban:

Misal:

a. : Tono pergi ke peste

b. : Tini pergi ke pesta
c. : Dewi pergi ke pesta
d. : Dowo pergi ke pesta
e. ~A : Tono tidak pergi ke pesta

~D : Bowo tidak pergi ke pesta

Jadi, Ekspresi Logikanya adalah (AvB)^(~D→(B→C)^(~A→D)^C

 Cek Konsistensi ( Tablo Semantik)

(1) AvB
(2) ~D→(B→C)
(3) ~A→D
(4) C
/ \
(5) ~~D (B→C) aturan 3 pada (2)
| / \
(6) D ~B C aturan 5 pada (5)& aturan 3 pada (5)
(tutup) / \ (tutup)
(7) A B aturan 2 pada(1)
/ \ (tutup)
(8) ~~A D aturan 3 pada (3)
| (buka)
(9) A aturan 5 pada (8)
(tutup)
 Seluruh Tablo tidak tertutup, artinya kesatuan ekspresi tersebut konsisten

 Cek Kevalidan (TS + SP menegasikan kesimpulan)

Ekspresi logika setelah dilakukan SP menegasikan kesimpulan :
(1) AvB
(2) ~D→(B→C)
(3) ~A→D
(4) ~C

Langkah 2 Langkah 3
Aturan 3 pada (2) aturan 5 pada (5) & aturan 3
pada 5
(1) AvB (1) AvB
(2) ~D→(B→C) (2) ~D→(B→C)
(3) ~A→D (3) ~A→D
(4) ~C (4) ~C
/ \ / \
(5) ~~D (B→C) (5) ~~D (B→C)
| / \
(6) D ~B C

Langkah 4 Langkah 5
Aturan 2 pada (1) aturan 3 pada (3)
(1) AvB (1) AvB
(2) ~D→(B→C) (2) ~D→(B→C)
(3) ~A→D (3) ~A→D
(4) ~C (4) ~C
/ \ / \
(5) ~~D (B→C) (5) ~~D (B→C)
| / \
(6) D ~B C
(tutup) / \ (tutup)
 (7) A B

2) Jika Bowo tinggal di Jogja, dia tinggal di Indonesia. Bowo tinggal di Jogja.
Dengan

demikian, dia tinggal di Indonesia.

Jawaban:

Misal:

A : Bowo tinggal di Jogja

B : Bowo tinggal di Indonesia

Jadi, Ekspresi logikanya adalah (A→B)^ (A)^(B)

 Cek Konsistensi ( Tablo Semantik)

(1) (A→B)

(2) A

(3) B
|
~~B
|
~~A
/ \
~A B
(tutup)

 Cek Kevalidan (TS + SP menegasikan kesimpulan)

Ekspresi logika setelah dilakukan SP menegasikan kesimpulan :
(1) ~(A → B)
(2) ~B
 Langkah 2

(1) (A→B)

(2) A

(3) B
|
~~B
|
~~A Kesimpulan:
/ \ Ekspresi logika adalah Konsisten
~A B Argumen adalah Tidak Valid
(tutup)

3) Jika Dito tidak tinggal di Jogja, dia tidak tinggal di Indonesia. Dito tinggal di
Indonesia.

Dengan demikian, Dito tidak tinggal di Jogja.

Jawaban:

Misal:

A : Dito tidak tinggal di Jogja

B : Dito tidak tinggal di Jogja

Jadi, Ekspresi logikanya adalah (A→B)^ (~B)^(A)

 Cek Konsistensi ( Tablo Semantik)

(1) (A→B)

(2) ~B

(3) A
|
~~A
|
~B
/ \
~A B
(tutup) (tutup)

 Cek Kevalidan (TS + SP menegasikan kesimpulan)

Ekspresi logika setelah dilakukan SP menegasikan kesimpulan :
(1) ~(A → B)
(2) ~B
(3) A

Langkah 2

(1) (A→B) Kesimpulan:

(2) ~B Ekspresi Logika adalah tidak

Konsisten

(3) A Argumen adalah tidak Valid

|
~~A
|
~B
/ \
 ~A B
(tutup) (tutup)