BUKU JAWABAN TUGAS MATA KULIAH

TUGAS 1

Nama Mahasiswa : HENDRA JACKSON WALUN

Nomor Induk Mahasiswa/ NIM : 044910476

Kode/Nama Mata Kuliah : MSIM4103 / LOGIKA INFORMATIKA

Kode/Nama UPBJJ : 10 / UPBJJ-UT SORONG

Masa Ujian : 2023/2024 Ganjil (2023.2)

KEMENTERIAN PENDIDIKAN DAN KEBUDAYAAN

UNIVERSITAS TERBUKA
1. E : P and notQ
F : notP and Q

i P Q notP notQ P and notQ notP and Q E F

i1 T T F F F F F F
i2 T F F T T F T F
i3 F T T F F T F T
i4 F F T T F F F F

a. Kalimat E maupun kalimat F tidak valid karena keduanya memiliki nilai false di suatu
interpretasi.
b. Kalimat E maupun kalimat F satisfiable karena keduanya memiliki nilai true di suatu
interpretasi.
c. Kalimat E maupun kalimat F tidak contradictory karena keduanya memiliki nilai true di suatu
interpretasi.
d. Kalimat E implies kalimat F tidak berlaku karena terdapat perbedaan nilai pada interpretasi
i2 dan i3.
2. Untuk membuktikan kebenaran atau ketidakbenaran dari argumen tersebut, kita
dapat mempergunakan tabel kebenaran.
Misal P menyatakan "saya bersalah" dan Q menyatakan "saya harus dihukum". Dari premis
pertama "Jika saya bersalah, saya harus dihukum" dapat dilambangkan sebagai P → Q.
Sedangkan dari premis kedua "Saya tidak bersalah. Karena itu saya tidak boleh dihukum"
dapat dilambangkan sebagai ¬P → ¬Q.

Kita akan membuat tabel kebenaran berikut:

P Q ¬P ¬Q P→Q ¬P → ¬Q
T T F F T T
T F F T F T
F T T F T F
F F T T T T

Dari tabel kebenaran tersebut, kita dapat melihat bahwa pada baris pertama dan terakhir, P →
Q dan ¬P → ¬Q keduanya bernilai benar atau valid. Ini berarti argument tersebut adalah benar
dan dapat disimpulkan bahwa jika seseorang tidak bersalah, maka orang tersebut tidak boleh
dihukum.

3. Untuk membuktikan apakah kalimat F satisfiable, kita perlu membuat tabel kebenaran untuk
semua kemungkinan nilai kebenaran dari p, q, dan r. Dalam tabel kebenaran ini, kolom
pertama akan menunjukkan nilai kebenaran dari ¬p, kolom kedua akan menunjukkan nilai
kebenaran dari q, kolom ketiga akan menunjukkan nilai kebenaran dari q → ¬r 𝖠 ¬p, kolom
keempat akan menunjukkan nilai kebenaran dari p ∨ r, dan kolom terakhir akan menunjukkan
nilai kebenaran dari seluruh kalimat F.
Berikut adalah tabel kebenaran untuk kalimat F:

p Q ¬p q → ¬r 𝖠 ¬p p∨r (¬p ∨ q) 𝖠 (q → ¬r 𝖠 ¬p) 𝖠 (p ∨ r)

T T F F T F
T F F F T F
F T T T T T
F F T T T T

Dalam tabel kebenaran di atas, kita melihat bahwa terdapat dua kemungkinan nilai
kebenaran dari F yang bernilai benar (T), yaitu ketika p = F dan q = T, atau ketika p = F dan q =
F. Oleh karena itu, kalimat F adalah satisfiable.
Jadi, saya setuju bahwa kalimat F adalah satisfiable, karena terdapat nilai kebenaran dari p, q,
dan r yang membuat seluruh kalimat F bernilai benar (T).