4.

Tabel Kebenaran

a. Melalui tabel kebenaran pada operator disjungsi, biimplikasi dan ingkaran, maka
dapat diperoleh tabel kebenarannya berikut.

-( p v q)
p q -p -q pvq -( p v q) -p v -q -( p v q)  -p v -q
B S S B B S B S
B B S S B S S B
S B B S B S B S
S S B B S B B B

b. P  (-q ^ p)
p q -p -q p^q -q^p pq p  (-q^p)
B S S B S B S B
B B S S B S B S
S B B S S S B B
S S B B S S B B

c. ((p  q) ^ (q (p v r)))  (p r)

((p  q) ^ (q (p v
p q r q  (pvr) pq pvr pr
r)))  (p r)
B S S B S B S S
B B S B B B B B
S B B B B B B B
S S B B B B B B

d. – (q^-r)  (-p r)
p q r – (q^-r) (-p r) – (q^-r)  (-p r)
B S S B B B
B B S S B S
S B B S B S
S S B S B S

e. (p -q)  ((-pvr) ^q))

 (p -q) 
p q r (p -q) -pvr ((-pvr) ^q))
((-pvr) ^q))
B S S B S S S
B B S S B B B
S B B B B B B
S S B S B S B

Dimana :

5. Penalaran

a. Modus tollens

b. Modus ponens

c. Silogisme

d. Silogisme

6. Penalaran

a. Diketahui hari ini hujan, maka tanah menjadi licin

b. Ternyata karir Paryo tidak meningkat, berarti Paryo malas bekerja.

MATRIKS

1.

2.
3.

4.