Logika dan Himpunan Matematika doc

Logika dan Himpunan Matematika Buktikan

4.a. pᴧt≡p

p t pᴧt

B B B

S B S

pᴧt≡p (terbukti)

p dan t ekuivalen p hasilnya terbukti benar b. pvc≡p

p c pvc

B S B

S S s

pvc≡p (terbukti)

p atau c ekuivalen p hasilnya terbukti benar 5.a. pᴠ⌐p≡t

p ⌐p pᴠ⌐p t

B S B B

S B B B

pᴠ⌐p≡t (terbukti)

p ⌐p pᴧ⌐p c

B S S S

S B S S

pᴧ⌐p≡c (terbukti)

p dan negasi p ekuivalen kontradiksi terbukti benar 6.⌐(⌐p)≡p

p ⌐p ⌐(⌐p)

B S B

S B S

⌐(⌐p)≡p (terbukti)

Negasi dari negasi p ekuivalen p terbukti benar 7.a. pᴧp≡p

p p pᴧp

B B B

S S S

pᴧp≡p (terbukti)

p dan p ekuivalen p terbukti benar

p p pᴠp

B B B

S S S

pᴠp≡p (terbukti)

p atau p ekuivalen p terbukti benar

Nama : HESTI APRIWIYANI

NIM: 140210101107