LOGIKA MATEMATIKA

Latihan 1
Misalkan I dan J adalah dua interpretasi yang didefinisikan untuk proposisi-proposisi atom
berikut:
 I (p) = T, I (q) = F, I (r) = F,
 J (p) = F, J (q) = F, J (r) = T.
Tentukan interpretasi dari formula p → q ∨ r dan (p → q) ∨ (p → r) terhadap interpretasi I dan
J
Jawab:

Misal, formula 1 : p → q ∨ r

formula 2 : (p → q) ∨ (p → r)

a. Formula 1 : p → q ∨ r
 I (p  q v r) = (I (p)  I (q)) v I (r)
= (T  F) v F
=FvF
=F
 J (p  q v r) = (J (p)  J (q)) v J (r)
= (F  F) v T
=TvT
=T
b. Formula 2 : (p → q) ∨ (p → r)
 I ((p → q) ∨ (p → r)) = (I (p)  I (q)) v (I (p)  I (r))
= (T  F) v (T  F)
=FvF
=F
 J ((p → q) ∨ (p → r)) = (J (p)  J (q)) v (J (p)  J (r))
= (F  F) v (F  T)
=TvT
=T
Latihan 2
 Periksa apakah formula A yang berupa (p ∨ q) ∧ (~p ∧~q) bersifat absah, terpenuhi,
atau kontradiksi.

Jawab:

p q ~p ~q (p v q) (~p ^ ~q) A

T T F F T F F
T F F T T F F
F T T F T F F
F F T T F T F

Dari tabel kebenaran di atas, dapat disimpulkan bahwa formula A bersifat

kontradiksi karena setiap interpretasi yang diberikan pada A bernilai salah (F).

 Periksa apakah formula A yang berupa (p ∨ q) ∧ ~r bersifat terpenuhi. Apakah A

bersifat absah? Apakah A bersifat kontradiksi? Apakah A merupakan contingency?
Jawab:

p q ~r (p v q) A

T T F T F
T T T T T
T F F T F
T F T T T
F T F T F
F T T T T
F F F F F
F F T F F

Dari tabel kebenaran di atas, dapat disimpulkan bahwa formula A bersifat terpenuhi
karena terdapat tiga buah interpretasi I pada A bernilai benar (T). Selain itu, formula
A juga bersifat contingency karena formula A tidak bersifat absah dan kontradiksi.
Latihan 3
Buktikan keabsahan formula berikut tanpa menggunakan tabel kebenaran!
1. (p  q v p  r) ↔ (p  q ^ r)
Jawab:
Misalkan (p  q v p  r) ↔ (p  q ^ r) tidak absah, maka terdapat suatu interpretasi
I yang mengakibatkan I ((p  q v p  r) ↔ (p  q ^ r)) = F.
Misalkan A = (p  q v p  r) dan B = (p  q ^ r). Formula yang akan diperiksa
dapat ditulis sebagai A ↔ B = F.
I (A ↔ B) = F tepat ketika I (A) ↔ I (B) = F, maka memiliki dua kemungkinan, yaitu
I (A) = T dan I (B) = F atau I (A) = F dan I (B) = T.
Misalkan I1 (A) = T dan I1 (B) = F, serta I2 (A) = F dan I2 (B) = T.
a. Untuk kasus I1, terdapat I1 (A) = T dan I1 (B) = F
Dari I1 (B) = I1 (p  q ^ r) = F diperoleh I1 (p) = I1 (q) = I1 (r) = F. Dari hasil ini,
didapat I1 (A) = I1 (p  q v p  r) = T. Hal ini tidak bertentangan dengan I1 (A) =
I1 (p  q v p  r) = T untuk kasus I1.
b. Untuk kasus I2, terdapat I2 (A) = F dan I2 (B) = T
Dari I2 (A) = I2 (p  q v p  r) = F diperoleh I2 (p) = I2 (q) = I2 (r) = F. Dari hasil
ini, didapat I2 (B) = I2 (p  q ^ r) = F. Hal ini bertentangan dengan I2 (B) = I2 (p
 q ^ r) = T untuk kasus I2.
Jadi, ada interpretasi I yang mengakibatkan I ((p  q v p  r) ↔ (p  q ^ r)) = F.
Dengan demikian (p  q v p  r) ↔ (p  q ^ r) bersifat tidak absah.

2. (p ^ q v ~r)  (~(p ↔ r) ^ ~q)

Jawab:
Misalkan (p ^ q v ~r)  (~(p ↔ r) ^ ~q) tidak absah, maka terdapat suatu interpretasi
I yang mengakibatkan I ((p ^ q v ~r)  (~(p ↔ r) ^ ~q)) = F.
Misalkan A = (p ^ q v ~r) dan B = (~(p ↔ r) ^ ~q), sehingga dapat dituliskan menjadi
A  B = F.
I (A  B) = F tepat ketika I (A) = T dan I (B) = F, akibatnya diperoleh I (p ^ q v ~r)
= T dan I (~(p ↔ r) ^ ~q) = F.
Dari I (B) = I (~(p ↔ r) ^ ~q) = F, diperoleh I (~p) = I (~q) = I (~r) = F, akibatnya I
(p) = T dan I (q) = T. Dari hasil ini, didapat I (p ^ q v ~r) = T. Hal ini tidak
bertentangan dengan I (A) = I (p ^ q v ~r) = T.
 Jadi, ada interpretasi I yang mengakibatkan I ((p ^ q v ~r)  (~(p ↔ r) ^ ~q)) = F.
Dengan demikian (p ^ q v ~r)  (~(p ↔ r) ^ ~q) bersifat tidak absah.
3. ((p  q) ^ (r  s) ^ (~p  ~s))  (r  q)
Jawab:
Misalkan ((p  q) ^ (r  s) ^ (~p  ~s))  (r  q) tidak absah, maka terdapat suatu
interpretasi I yang mengakibatkan I (((p  q) ^ (r  s) ^ (~p  ~s))  (r  q)) = F.
Misalkan A = ((p  q) ^ (r  s) ^ (~p  ~s)) dan B = (r  q), sehingga dapat
dituliskan menjadi A  B = F.
I (A  B) = F tepat ketika I (A) = T dan I (B) = F, akibatnya diperoleh I ((p  q) ^ (r
 s) ^ (~p  ~s) = T dan I (r  q) = F.
Dari I (A) = I ((p  q) ^ (r  s) ^ (~p  ~s)) = T, diperoleh I (p) = I (q) = I (r) = I (s)
= F. Dari hasil ini, didapat I (r  q) = T. Hal ini bertentangan dengan I (B) = I (r 
q) = F.
Jadi, tidak ada interpretasi I yang mengakibatkan I (((p  q) ^ (r  s) ^ (~p  ~s))
 (r  q)) = F. Dengan demikian ((p  q) ^ (r  s) ^ (~p  ~s))  (r  q)
bersifat absah.
4. p ⊕ q  ~(p ↔ q)
Jawab:
Misalkan p ⊕ q  ~(p ↔ q) tidak absah, maka terdapat suatu interpretasi I yang
mengakibatkan I (p ⊕ q)  ~(p ↔ q)) = F.
Misalkan A = (p ⊕ q) dan B = ~(p ↔ q), sehingga dapat dituliskan menjadi A  B =
F.
I (A  B) = F tepat ketika I (A) = T dan I (B) = F, akibatnya diperoleh I (p ⊕ q) = T
dan I ~(p ↔ q) = F.
Karena I (B) = I ~(p ↔ q) = F, maka I (p ↔ q) = T.Akibatnya I (p) = I (q) = T. Dari
hasil ini, didapat I (p ⊕ q) = F. Hal ini bertentangan dengan I (B) = I (p ⊕ q) = T.
Jadi, tidak ada interpretasi I yang mengakibatkan I (p ⊕ q)  ~(p ↔ q)) = F.
Dengan demikian p ⊕ q  ~(p ↔ q) bersifat absah.
5. (p v q) ^ (~p ^ ~q) ↔ (p ^ ~q) v (~p ^ q)
Misalkan (p v q) ^ (~p ^ ~q) ↔ (p ^ ~q) v (~p ^ q) tidak absah, maka terdapat suatu
interpretasi I yang mengakibatkan I ((p v q) ^ (~p ^ ~q) ↔ (p ^ ~q) v (~p ^ q)) = F.
Misalkan A = (p v q) ^ (~p ^ ~q) dan B = (p ^ ~q) v (~p ^ q). Formula yang akan
diperiksa dapat ditulis sebagai A ↔ B = F.
 I (A ↔ B) = F tepat ketika I (A) ↔ I (B) = F, maka memiliki dua kemungkinan, yaitu
I (A) = T dan I (B) = F atau I (A) = F dan I (B) = T.
Misalkan I1 (A) = T dan I1 (B) = F, serta I2 (A) = F dan I2 (B) = T.
c. Untuk kasus I1, terdapat I1 (A) = T dan I1 (B) = F
Dari I1 (B) = I1 ((p ^ ~q) v (~p ^ q)) = F diperoleh I1 (p) = I1 (q) = F, akibatnya I1
(~p) = I1 (~q) = T. Dari hasil ini, didapat I1 (A) = I1 (p v q) ^ (~p ^ ~q) = F. Hal ini
bertentangan dengan I1 (A) = I1 (p v q) ^ (~p ^ ~q) = T untuk kasus I1.
d. Untuk kasus I2, terdapat I2 (A) = F dan I2 (B) = T
Dari I2 (A) = I2 (p v q) ^ (~p ^ ~q) = F diperoleh I2 (p) = I2 (q) = F, akibatnya I2
(~p) = I2 (~q) = T. Dari hasil ini, didapat I2 (B) = I2 (p ^ ~q) v (~p ^ q) = I2 (p ^ q)
v (~p ^ ~q) = T. Hal ini tidak bertentangan dengan I2 (B) = I2 (p ^ ~q) v (~p ^ q) =
T untuk kasus I2.
Jadi, ada interpretasi I yang mengakibatkan I ((p v q) ^ (~p ^ ~q) ↔ (p ^ ~q) v (~p ^
q)) = F. Dengan demikian (p v q) ^ (~p ^ ~q) ↔ (p ^ ~q) v (~p ^ q) bersifat tidak
absah.

Latihan 4

1. Tunjukkan bahwa ((p  q) ^ ~q)  ~p

p q ~p ~q (p  q) ((p  q) ^ ~q) ((p  q) ^ ~q)  ~p

T T F F T F T
T F F T F F T
F T T F T F T
F F T T T T T

Dari tabel di atas, dapat disimpulkan bahwa ((p  q) ^ ~q)  ~p merupakan

konsekuensi logis dan juga dinamakan sebagai modus ponens.
2. Tunjukkan bahwa ~(p ^ q) ≡ ~p v ~q

p q ~p ~q (p ^ q) ~(p ^ q) ~p v ~q ~(p ^ q) ≡ ~p v ~q

T T F F T F F T
T F F T F T T T
F T T F F T T T
F F T T F T T T

Dari tabel di atas, dapat disimpulkan bahwa ~(p ^ q) ≡ ~p v ~q merupakan

konsekuensi logis dan juga dinamakan sebagai modus ponens.