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