Nama : lazzu Zainuddin

Nim : 1912001

Tugas : tugas akhir logika informatika TI1b

1. Buktikan ( p ∩ ( q ∩ ͠ p) ) ꓴ ( ͠ p → q ) ≡ p ꓴ q Dengan menggunakan Urutan Hukum

logika ekuivalensi sebagai berikut :

Hukum Asosiatif
Hukum negasi
Hukum ikatan
Hukum identitas
Hukum implikasi
Hukum negasi ganda

Jawab :

Hukum implikasi :p∩(q∩ ͠ p)ꓴ( ͠ p→ q) ≡ pꓴq

Hukum negasi ganda : p∩ ( q ∩ ͠ p ) ꓴ ( p ꓴ q ) ≡ pꓴq
Hukum asosiatif :((p∩ ͠ p)∩q )ꓴ(pꓴq) ≡ pꓴq
Hukum negasi :(0∩q) ꓴ(pꓴq) ≡ pꓴq
Hukum ikatan :0ꓴ(pꓴq) ≡ pꓴq
Hukum identitas :pꓴq

2. Sederhanakan ( ͠ q ∩ ( p ꓴ q ) ) ꓴ ( ͠ q ∩ ͠ P ) dengan mengguanakan urutan hokum

logika ekuivalensi berikut :

Hukum distributif
Hukum asosiatif
Hukum negasi
Hukum ikatan
Hukum ikatan
Hukum identitas

Jawab :

Hukum distributif : ͠ q ∩((pꓴq)ꓴ ͠ p)

Hukum asosiatif : ͠ q ∩((pꓴq)ꓴ ͠ p )
Hukum negasi : ͠ q∩(1ꓴq)
Hukum ikatan : ͠ q ∩1
Hukum identitas : ͠ q
3. Buktikan ( ͠ p ꓴ q ) → ( p ∩ ( q ꓴ p ) ≡ p dengan menggunakan urutan hokum ekuivalen
logika berikut :

Hukum implikasi
Hukum de morgans
Hukum distributif
Hukum asosiatif
Hukum negasi
Hukum ikatan
Hukum identitas

Jawab :

Hukum implikasi : ͠ ( ͠ p ꓴ q ) ꓴ ( p∩(qꓴp) ≡ p

Hukum demorgan :(p∩ ͠ q ) ꓴ (p∩ (qꓴp ) ≡ p
Hukum distributive :p∩( ͠ q ꓴ(qꓴp) ≡ p
Hukum Asosiatif :p∩(pꓴ( ͠ qꓴp) ≡ p
Hukum negasi :p∩(pꓴ0) = p
Hukum ikatan :p∩1 ≡p
Hukum identitas :p

4. Sederhanakan ( p ꓴ ( p ∩ q ) ) → ( p ∩ ( q ∩ ͠ p ) dengan menggunakan urutan hokum

ekuivalen logika berikut :

Hukum absorsi
Hukum asosiatif
Hukum negasi
Hukum ikatan
Hukum implikasi
Hukum identitas

Jawab :

Hukum implikasi : ͠ (pꓴ(p∩q)ꓴ(p∩(q∩ ͠ p )

Hukum absorsi : ͠ pꓴ (p∩(q∩ ͠ p)
Hukum asosiatif : ͠ pꓴ((p∩ ͠ p )∩q)
Hukum ikatan : ͠ pꓴ0
Hukum identitas : ͠ p
5. DIketahui :

Premis 1 : jika mahasiswa mengikuti uas atau mahasiswa mwmpunyai kartu ujian ,
maka mahasiswa tidak datang terlambat.

Premis 2 : mahasiswa datang terlambat dan mahasiswa tidak mempunyai kartu ujian.

Kesimpulan : mahasiswa tidak mengikuti UAS.

Buktikan argument tersebut valid/tidak valid dengan menggunakan metode “ memberi

Negasi pada kesimpulan “

a. Jabarakan variable
b. Ubah kalimat kedalam bentuk ekspresi logika
c. Gabungkan semua ekspresi logika dengan menggunakan metode “ memeberi negasi
pada kesimpulan “
d. Buat table kebenaran
e. Kesimpulan argument valid / tidak valid dengan menggunakan strategi pengembalian
Dengan metode “ meberi negasi Pada kesimpulan “

Jawab :

a. Jabarkan variable

P = mahasiswa mengikuti uas

q = mahasiswa mempunyai kartu ujian
r = mahasiswa datang terlambat

͠ p = mahasiswa tidak mengikuti uas

͠ q = mahasiswa tidak mempunyai kartu ujian
͠ r = mahasiswa datang terlambat

b. Ubah kalimat kedalam bentuk ekspresi logika .

(pvq)→r : premis 1
r ∩ ͠ q : premis 2
͠ p : kesimpulan
c. Gabungkan semua ekspresi logika dengan menggunakan metode “ memberi
negasi pada kesimpulan “

(pꓴq)→ ͠ r) ∩ (r ∩ ͠ q) ∩ ͠ ( ͠ p )

d. Table kebenaran
p q r ͠ p ͠ q ͠ r ͠ ( ͠ p) pꓴq ( p ꓴ q )→ ͠ r r∩ ͠ q (pꓴq)→ ͠ r) ∩ (r ∩ ͠ q) ∩ ͠ ( ͠ p )
T T T F F F T T F F F
T T F F F T T T T F F
T F T F T F T T F T F
T F F F T T T T T F F
F T T T F F F T F F F
F T F T F T F T T F F
F F T T T F F F T T F
F F F T T T F F T F F

e. Kesimpulan

Argument tersebut “ valid “ karena menggunakan strategi pembalikan dengan cara

menambahkan negasi pada kesimpulan

6. Diketahui :

Premis 1 : Hari rabu tidak hujan deras atau jalanan menuju kampus banjir.

Premis 2 : jika hari rabu hujan deras atau jalanan menuju kampus tudak banjir maka
Mahasiswa masuk kuliah,

Kesimpulan : Hari rabu hujan deras .

Buktikan argument tersebut valid / tidak valid dengan menggunakan metode “ memberi nilai
F pada kesimpulan”

a. Jabarkan variable
b. Ubah kalimat menjadi bentuk ekspresi logika
c. Gabungkan semua ekspresi logika
d. Beri nilai premis 1, premis 2, kesimpulan dengan metode memberi “ nilai f pada
kesimpulan
e. Pengecekan dengan urutan
f. Kesimpulan argument valid / tidak valid dengan menggunakan strategi pembalikan
dengan menggunakan metide “ memberi nilai F pada kesimpulan “

Jawab :

a. Jabarkan variable

p = hari rabu hujan deras

q = dalam menuju kampus
r = mahasiswa masuk kuliah
 ͠ p = hari rabu tidak hujan deras
͠ q = jalan menuju kampus tidak banjir

b. Ubah kalimat menjadi ekspresi logika

Premis 1 : ͠ p ꓴ q

Premis 2 : (pꓴ ͠ q )→ r

Kesimpulan :p

c. Gabungkan ekspresi logika

( ͠ pꓴ q ) ∩((p ꓴ ͠ q )→r )∩ ͠ p

d. Beri nilai

Premis 1 : ͠ p ꓴ q =T

Premis 2 : (pꓴ ͠ q )→ r =T

Keimpulan : p =F

e. Pengecekan dengan urutan

Premis 1 : ͠ p ꓴ q =T
͠ FꓴF =T benar
ꓴ(q) =T

Premis 2 :(pꓴ ͠ q )→ r =T
(FꓴF )→r =T salah
( T) → F =F

d. kesimpulan

p=F
F= F salah
ꓴ ( d) = F