TUGAS 1

MSIM4103/LOGIKA INFORMATIKA
SEMESTER: 2019/2020.2 (20.1)

No Soal Skor
1. Buatlah sebuah kalimat dan buktikan dengan tabel kebenaran bahwa kalimat tersebut.
40
a. Valid dan buktikan!
b. Satisfiable dan buktikan!
c. Contradictory dan buktikan!
d. Implies dan buktikan!

2. Seseorang berargumen:
“Jika saya bersalah, maka saya harus dihukum. Saya tidak bersalah. Jadi saya tidak
boleh dihukum”.
30
Menurut Anda apakah argumen tersebut benar? Buktikan dan jelaskan dengan tabel
kebenaran!

3. Diberikan kalimat berikut:

F: (¬p ∨ q) ∧ (q → ¬r ∧ ¬p) ∧ (p ∨ r)
30
F merupakan kalimat satisfiable. Buktikan dengan menggunakan tabel kebenaran!

Skor Total 100