NAMA : ZULFANI BAHASOAN

NIM : 045343198
TUGAS 1 : MSIM4103 LOGIKA INFORMATIKA

SOAL !
1. Buatlah sebuah kalimat dan buktikan dengan tabel kebenaran bahwa kalimat tersebut
a. Valid
b. Satisfiable
c. Contradictory
d. implies
2. Jika ada seseorang berargumen:
“Jika saya bersalah, saya harus dihukum”
“Saya tidak bersalah. Karena itu saya tidak boleh dihukum”
Menurut anda apakah argument tersebut benar? Jelaskan
3. Perhatikan kalimat berikut yang dilambangkan dengan F:
F = (¬p ∨ q) ∧ (q → ¬r ∧ ¬p) ∧ (p ∨ r)
kalimat diatas adalah satisfiable. Apakah anda setuju? Buktikan dan jelaskan berdasarkan
tabel kebenaran!

JAWAB:
1. Kalimat: "Semua kucing adalah hewan berkaki empat."

Kucing Hewan berkaki empat

YA YA
TIDAK YA
YA YA
TIDAK YA

a. Valid, karena kalimat tersebut benar secara logika dan tidak ada kemungkinan bahwa
kucing tidak termasuk dalam hewan berkaki empat.
b. Satisfiable, karena terdapat kemungkinan bahwa ada kucing yang termasuk dalam hewan
berkaki empat.
c. Tidak Contradictory, karena kalimat tersebut tidak bertentangan dengan pernyataan lain.
d. Kalimat tersebut tidak dapat diimplikasikan oleh kalimat lain, karena tidak terdapat
kalimat lain yang menyatakan hal yang sama atau sejenis dengan kalimat tersebut.
Namun, kalimat tersebut dapat diimplikasikan oleh fakta bahwa semua kucing memiliki
empat kaki, sehingga secara tidak langsung dapat disimpulkan bahwa semua kucing
adalah hewan berkaki empat.
2. Argumen tersebut tidak benar secara logika karena premis kedua mengandung kesalahan
dalam logika "negasi dari konversi" atau "affirming the consequent". Meskipun benar
bahwa jika seseorang bersalah maka dia harus dihukum, tetapi tidak berarti bahwa jika
seseorang tidak bersalah maka dia tidak boleh dihukum.
Contoh sederhana: Jika hujan, jalan basah. Namun, jika jalan basah, tidak selalu berarti
itu sedang hujan. Kondisi jalan bisa saja basah karena penyebab yang lain, seperti air dari
genangan atau air dari irigasi taman. Oleh karena itu, premis kedua seharusnya berbunyi
"Saya tidak bersalah, karena itu saya tidak harus dihukum." atau "Jika saya tidak
bersalah, maka saya tidak harus dihukum." Dengan premis kedua yang benar,
keseluruhan argumen akan lebih tepat secara logika.
3. Untuk membuktikan apakah kalimat F adalah satisfiable, perlu dilakukan pembuatan
tabel kebenaran sebagai berikut:

p q r ¬p ¬p ∨ q q → ¬r ∧ p ∨ r F = (¬p ∨ q) ∧ (q →
¬p ¬r ∧ ¬p) ∧ (p ∨ r)
Benar Benar Benar Salah Benar Salah Benar Salah
Benar Benar Salah Salah Benar Benar Benar Benar
Benar Salah Benar Salah Salah Salah Benar Salah
Benar Salah Salah Salah Salah Benar Benar Benar
Salah Benar Benar Benar Benar Salah Benar Benar
Salah Benar Salah Benar Benar Benar Benar Benar
Salah Salah Benar Benar Benar Salah Benar Salah
Salah Salah Salah Benar Benar Benar Salah Salah
Dari tabel kebenaran di atas, dapat dilihat bahwa kalimat F adalah satisfiable karena
terdapat kombinasi nilai kebenaran dari p, q, dan r yang membuat F menjadi benar.
Terdapat empat kombinasi nilai kebenaran yang membuat F benar, yaitu (1) p = Benar, q
= Benar, r = Salah, (2) p = Benar, q = Benar, r = Benar, (3) p = Benar, q = Salah, r =
Salah, dan (4) p = Salah, q = Benar, r = Benar.
Dengan demikian, kalimat F adalah satisfiable karena terdapat kombinasi nilai kebenaran
dari proposisi-proposisi di dalamnya yang membuat kalimat tersebut benar.

Sumber :
BMP MSIM4103 LOGIKA INFORMATIKA