1.

Pembuktian Tautologi
a. [(𝑝̅ ⇒ 𝑞)∧(r ⇒s)] ⇒ [(p v r) ⇒ (p v s)]
p 𝑝̅ q r 𝑠 𝑝̅ ⇒ 𝑞 r ⇒s (𝑝̅ ⇒ 𝑞)∧(r ⇒s) pvr pvs (p v r) ⇒ (p v s) [(𝑝̅ ⇒ 𝑞)∧(r ⇒s)] ⇒ [(p v r) ⇒ (p v s)]

B S B B B B B B B B B B
B S B B S B S S B B B B
B S B S B B B B B B B B
B S B S S B B B B B B B
B S S B B B B B B B B B
B S S B S B S S B B B B
B S S S B B B B B B B B
B S S S S B B B B B B B
S B B B B B B B B B B B
S B B B S B S S B S S B
S B B S B B B B S B B B
S B B S S B B B S S B B
S B S B B B B S B B B B
S B S B S S S S B S S B
S B S S B S B S S B B B
S B S S S S B S S S B B

Karena nilai kebenarannya adalah semua benar, maka terbukti bahwa [(𝑝̅ ⇒ 𝑞)∧(r ⇒s)] ⇒ [(p v r) ⇒ (p v s)] adalah Tautologi
 b. (p ⇒ q) ⇒ [(𝑞 ∧ 𝑟) ⇒ (𝑟̅̅̅̅̅̅̅̅
̅̅̅̅̅̅̅̅ ∧ 𝑝)]

P Q r p⇒q q∧r ̅̅̅̅̅̅̅̅

𝑞 ∧ 𝑟 r ∧p (𝑟̅̅̅̅̅̅̅̅
∧ 𝑝) [(𝑞 ∧ 𝑟) ⇒ (𝑟̅̅̅̅̅̅̅̅
̅̅̅̅̅̅̅̅ ∧ 𝑝)] (p ⇒ q) ⇒ [(𝑞 ∧ 𝑟) ⇒ (𝑟̅̅̅̅̅̅̅̅
̅̅̅̅̅̅̅̅ ∧ 𝑝)]

B B B B B S B S B B
B B S S S B S B B B
B S B B S B B S S B
B S S S S B S B B B
S B B B B S S B B B
S B S S S B S B B B
S S B B S B S B B B
S S S S S B S B B B
B B B B B S B S B B
B B S S S B S B B B
B S B B S B B S S B
B S S S S B S B B B
S B B B B S S B B B
S B S S S B S B B B
S S B B S B S B B B
S S S S S B S B B B
Karena nilai kebenarannya adalah semua benar, maka terbukti bahwa (p ⇒ q) ⇒ [(𝑞 ∧ 𝑟) ⇒ (𝑟̅̅̅̅̅̅̅̅
̅̅̅̅̅̅̅̅ ∧ 𝑝)] adalah Tautologi
 2. Kesimpulan yang dapat diperoleh dari pertanyaan berikut adalah :
a. Para pecandu narkoba tidak dapat berpikir dengan jernih
b. Tidak seorangpun dilecehkan adalah matematikawan
c. Orang tidak dapat berpikir dengan jernih pasti dilecehkan

Misalkan :

Para pecandu narkoba = p

Berpikir jernih =q

Dilecehkan =r

Matematikawan =s

Maka pernyataan menjadi :

 p ⇒ ∼q (premis 1)
 ∼r ⇒ s (premis 2)
 ∼q ⇒ r (premis 3)

Dengan Silogisme : p ⇒ ∼q (premis 1)

∼q ⇒ r (premis 3)

p⇒r
 p⇒r

∼r ⇒ s (premis 2)

p ⇒ ∼s

Jadi kesimpulannya adalah : Para pecandu narkoba bukan matematikawan.