Nama : Dhergy Bintang Pratama Putra

Nim : 043153794

Assalamualikum bpk/ibu

Izinkan saya menajawab Tugas 1

No 1 kalimat P, Q, dan R dalaam tabl kebenaran

A. Tabel kebenaran Valid

Q
Kalimat : (p -> q) ꓥ (q -> r)->(p -> r)
P Q R (p -> q) (q -> r) (p -> q) ꓥ (q -> r) P -> r (p -> q) ꓥ (q -> r)->(p -> r)
T T T T T T T T
T T F T F F F T
T F T F T F T T
T F F F T T F T

B. Tabel Kebenaran Statisfiabel

Kalimat : (p ꓥ q) v ( -p ꓥ r)

P Q r -p pꓥq -p ꓥ r (p ꓥ q) v ( -p ꓥ r)
T T F F T F T
T F T F F F F
F T F T F F F
F F T T F T T

C. Tabel kebenaran Contradictory

kalimat : p ꓥ -q

P -q p ꓥ -q
T T T
T F F
F T F
F F F

D. Tabel kebenaran Implies

Kalimat : (p ꓥ q) -> r

p q r (p ꓥ q) (p ꓥ q) -> r
T T F T F
T F T F T
F T F F F
F F T F T
No 2
Jika ada seseorang berargumen:
“Jika saya bersalah, saya harus dihukum”
“Saya tidak bersalah. kerana itu saya tidak boleh dihukum”
Apakah argument tersebut benar? Jelaskan
untuk argumen diatas tidak bisa di katakan benar harus mentukan dia benar dari argumen diatas dengan
menggunakan kalimat :
a) (p -> q)
jika saya bersalah, maka saya dihukum
b) (-p v q) -> -r
jika saya tidak bersalah, saya tidak di hukum

No 3

Perhatikan kalimat berikut yang dilambangkan degan 7:

7 = (¬p ∨ q) ∧ (q → ¬r ∧ ¬p) ∧ (p ∨ r)
kalimat diatas adalah statisfiable. Apakan anda setuju? Buktikan dan jelaskan berdasarkan Kebenaran!

p q r -p ¬p ∨ q ¬r ∧ ¬p q → ¬r ∧ ¬p p∨r (¬p ∨ q) ∧ (q → ¬r ∧ ¬p) ∧ (p ∨ r)

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