Nama: Ghina Anggraini Rahayu

NIM: 049182469
MK: Matematika Dasar
Diskusi 1
Menentukan nilai kebenaran suatu pernyataan, menentukan suatu pernyataan termasuk
implikasi logis atau bukan

(~𝑝∨𝑞) ⟷ (𝑝⟷𝑞)
p q ~p (~𝑝∨𝑞) (𝑝⟷𝑞) (~𝑝∨𝑞) ⟷ (𝑝⟷𝑞)

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

 Hasil dari (~𝑝∨𝑞) ⟷ (𝑝⟷𝑞) = BBSB, karena salah satunya ada S atau tidak B semua,
maka pernyataan tersebut bukan tautologi dan bukan implikasi logis.

(𝑝⟶𝑞) ⟶ (𝑝∨𝑞)
p q 𝑝⟶𝑞 𝑝∨𝑞 (𝑝⟶𝑞) ⟶ (𝑝∨𝑞)

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

 Hasil dari (𝑝⟶𝑞) ⟶ (𝑝∨𝑞) = BBBS, karena salah satunya ada S atau tidak B semua,
maka pernyataan tersebut bukan tautologi dan bukan implikasi logis.