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 atau negasi p ekuivalen tautologi terbukti benar
b. pᴧ⌐p≡c

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

b. pᴠp≡p

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
Prodi Pendidikan Matematika Reg A