MSIM4103-1

NASKAH TUGAS MATA KULIAH

UNIVERSITAS TERBUKA
SEMESTER: 2021/22.2 (2022.1)

Fakultas : FST/Fakultas Sains dan Teknologi

Kode/Nama MK : MSIM4103/Logika Informatika
Tugas :1

No. 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!

1 dari 1