Nama : Surahman

NIM : 048399421

DISKUSI 1
Menentukan nilai kebenaran suatu pernyataan, menentukan suatu pernyataan termasuk
implikasi logis atau bukan

Tabel kebenaran (~𝑝𝑣𝑞 ) ⟷ (𝑝 ⟷ 𝑞 )

p q ~𝑝 ~𝑝𝑣𝑞 𝑝⟷𝑞 (~𝑝𝑣𝑞 ) ⟷ (𝑝 ⟷ 𝑞 )
B B S B B B
B S S S S B
S B B B S S
S S B B B B
( ) ( )
Nilai dari penyataan ~𝑝𝑣𝑞 ⟷ 𝑝 ⟷ 𝑞 adalah BBSB (tidak B semua), berarti pernyataan
(~𝑝𝑣𝑞 ) ⟷ (𝑝 ⟷ 𝑞 ) bukan tautologi, sehingga pernyataan tersebut bukan implikasi logis.

Tabel kebenaran (𝑝 → 𝑞 ) → (𝑝𝑣𝑞)

p q (𝑝 → 𝑞 ) 𝑝𝑣𝑞 (𝑝 → 𝑞 ) → (𝑝𝑣𝑞)
B B B B B
B S S B B
S B B B B
S S B S S
Nilai dari penyataan (𝑝 → 𝑞 ) → (𝑝𝑣𝑞) adalah BBBS (tidak B semua), berarti pernyataan
(𝑝 → 𝑞 ) → (𝑝𝑣𝑞) bukan tautologi, sehingga pernyataan tersebut bukan implikasi logis.