Muh,Sulthan Nazhim

H071191047

1. Tabel kebenaran

a. ( p  p )  p

p pp (pp)p
B B B
S B S

b. p  ( p  p )

p pp p (pp)

B B B
S B B

c. ( p  q )  ( p  q )

p q (pq) (pq) (pq)(pq)

B B B B B

B S B S S

S B B S S

S S S S B

d. p  ( q  p )
 p q qp

B B B

B S B

S B S

S S B

e. ( p  q )  ( p  q )

p q pq pq (pq)  (pq)

B B S B S

B S B S B

S B S S B

S S S B S

f. p  ( q  r )  ( p  r )  q

p q r qr p (qr) pr (pr)q p (qr)(pr)q

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

g. ( p  q )  ( (pr)  q )
 p q r p  q pr (pr)  q (pq)((pr)q)
B B B B S S B
B B S B B B B
B S B B S B B
S S S S S B B
S B B B S S B
S B S B S S B

h. ( p  q )  ( p  r  q )  (q  r  p )

p q r pq prq qrp (pq)(prq)(qrp)

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

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

S B B B B S S

S B S B B S S
2. Tautologi (valid), Kontradiksi, atau bukan keduanya :

a. ( p  q )  ( q  p ) : BUKAN TAUTOLOGI

p q pq q  p (pq)  (q  p)

B B B B B

B S S S S

S B B B B

S S B B B

b. ( p  q )  ( p  q ) : BUKAN TAUTOLOGI

p q pq p  q ( p  q)  (p  q)

B B B S S

B S S B B

S B B B B

S S B B B

c. ( p  q  r )  p  q : TAUTOLOGI

p q r pqr (pqr)pq

B B B B B

B B S S B

B S B B B

S S S B B

S B B B B

S B S S B
 d. (pq)(prq)(qrp) : KONTRADIKSI

p q r pq p rq q rp (pq)(prq)(qrp)

B B B B B S S

B B S B S B S

B S B B S B S

S S S S B B S

S B B B B S S

S B S B B S S

e. (p(qr))  ((pq)  (qr)) : BUKAN TAUTOLOGI

p q r qr p(qr) pq (pq)(qr) (p(qr))((pq)(qr)

B B B B B B B B

B B S S S B S B

B S B B B S B B

S S S B B B B B

S B B B B B B B

S B S S B B S S

3. Periksa ekuivalensi (kesetaraan)

a. pq  pq : TIDAK EKIVALEN

p q pq pq

B B B B

B S S B

S B B B

S S B S

b. (pq)  p  q : EKIVALEN

p q (pq) p  q
B B S S
B S B B
S B B B
S S B B

c. (pq)  (p  q)  q : TIDAK EKIVALEN

p q pq p  q
B B B B
B S B B
S B B S
S S S B

d. (pq)  q  (pq)  q : EKIVALEN

 p q pq)  q (pq)  q
B B B B
B S S S
S B B B
S S S S

e. ( (pq)  q)  q  pq : EKIVALEN

p q ( (pq)  q)  q pq

B B B B

B S S S

S B B B

S S B B