BAB 1

ALJABAR PROPOSISI

1.1 Hukum-hukum Aljabar Proposisi

Suatu bentuk logical equivalence dari proposisi-proposisi yang merupakan hokum-hukum

yang dapat dipakai untuk penyederhanaan suatu bentuk proposisi disebut hukum-hukum
aljabar proposisi.
HUKUM-HUKUM ALJABAR PROPOSISI yang sering kita jumpai adalah sebagai
berikut:

1) Idempoten

p p  p
p p  p

2) Asosiatif

 p  q  r  p  q  r 
 p  q  r  p  q  r 

3) Komutatif

pq  q  p
pq  q  p

4) Distributif

p  q  r    p  q    p  r 
p  q  r    p  q    p  r 

5) Identitas

p f  p
pt  t
p f  f
pt  p
t  true dan f  false

1
 6) Komplemen

p ~ p  t
p ~ p  f
~ t  f
~ f  t

7) Involution

~~ p p
8) De Morgan’s

~  p  q   ~ p ~ q
~  p  q   ~ p ~ q

9) Absorbsi

p  ( p  q)  p

p  ( p  q)  p

CATATAN : Untuk menunjukkan/membuktikan bahwa hokum-hukum 1 sampai 9 di atas

benar silahkan buat table kebenaran dan nyatakan apakah proposisi-proposisi pada
hokum-hukum tersebut logical equivalence. Proposisi t = true merupakan suatu
pernyataan yang selalu bernilai benar dan proposisi f = false merupakan suatu
pernyataan yang selalu bernilai salah.

PEMBUKTIAN HK DE’MORGAN dengan table kebenaran sebagai berikut:

~  p  q  ~ p ~ q

p q ~p ~q p^q ~(p^q) ~pv~q

+ + - - + - -
+ - - + - + +
- + + - - + +
- - + + - + +

Sama
Pernyataan benar = +, Pernyataan salah = -

2
PEMBUKTIAN hukum-hukum yang lain silahkan lakukan sebagai sarana menguji
pemahaman.

CONTOH :

1) Jika pernyataan p = Rizal pandai, ~p = Rizal bodoh dan q = Rizal kaya ~q = Rizal
miskin maka proposisi berikut adalah equvalence.

a. Tidak benar Rizal pandai dan kaya = Rizal bodoh atau miskin.
b. Tidak benar Rizal bodoh atau kaya = Rizal pandai tetapi miskin.

2) Jika lawan (negasi) dari lebih dari adalah kurang dari atau sama dengan dan negasi
dari kurang dari adalah lebih dari atau sama dengan maka pernyataan-pernyataan
berikut equivalence.

a. Tidak benar 12 kurang dari 7 = 12 lebih dari atau sama dengan tujuh
b. 13 lebih dari 25 dan kurang dari atau sama dengan 9 = Tidak benar 13
kurang dari atau sama dengan 25 atau lebih dari 9.

PENJELASAN CONTOH :
1) Pada contoh a proposisi dapat ditulis dalam bentuk: Tidak benar Rizal
pandai dan kaya = ~(pq) = ~p~q = Rizal bodoh atau miskin, ini
merupakan aplikasi dari hukum de’Morgan jadi keduanya equvalence.
Pada contoh b dapat ditulis dalam bentuk Tidak benar Rizal bodoh atau
kaya = ~(~pq), maka dengan hukum de’Morgan dan Involisi kita
dapatkan ~(~pq) = ~~p~q = p~q = Rizal pandai tetapi miskin.

2) Pada contoh a bila p = 12 < 7 maka ~p = 12  7, sehingga kalimat Tidak

benar 12 kurang dari 7 = ~p = 12  7 = 12 lebih dari atau sama dengan
tujuh. Pada contoh b, bila r = 13 > 25 dan q = 13  9, maka ~r = 13  25
dan q = 13 > 9. Sehingga kalimat 13 lebih dari 25 dan kurang dari atau
sama dengan 9 = r  q =~(~r~q) = tidak benar 13  25 atau 13 > 9 =
Tidak benar 13 kurang dari atau sama dengan 25 atau lebih dari 9.

CONTOH : Bentuk permasalahan lain dari aljabar proposisi adalah menyederhanakan

suatu pernyataan majemuk sehingga ekivalen dengan suatu bentuk pernyataan majemuk
yang sederhana.

1) Sederhanakan aljabar proposisi [p~(p~q)]q.

2) Buktikan bahwa ~(~pq)(pr) = p(~qr)
PENJELASAN CONTOH :

1) Dengan memakai hukum-hukum aljabar maka bentuk sederhana dari

[p~(p~q)]q adalah
 p  ~  p ~ q   q

jawab :  p  ~  p  ~ q   q   p  ~ p  ~~ q   q  de Morgan' s
  p  ~ p  q   q  involution
  p  ~ p   q   q  asosiatif
  f  q   q  komplemen
 f  q  identitas
 q  identitas 3
2) Pembuktian equivalensi dari contoh dua dapat dipakai table kebenaran
atau dengan hokum-hukum aljabar proposisi sebagai berikut:

~(~pq)(pr) = (p~q)(pr), hkm De’Morgan dan involusi

= [(p~q)p][(p~q)r], hkm distributive
= p(~qp)(pr)(~qr), hkm distributive
= p(~qr), hkm absorbsi.

4
SOAL - JAWAB
Nyatakan apakah setiap kalimat pada nomor 1-5 adalah proposisi. Jika kalimat
tersebut proposisi, tuliskan negasinya. (Anda tidak perlu mencari nilai kebenarannya.)

1. Pelayan, apakah Anda akan menghidangkan kacang untuk tamu?

2. Untuk beberapa bilangan bulat n, 19640 = n  17 .
3. Kupaskan saya jeruk bali.
4. Kalimat “Play it again, Sam” muncul dalam film Casablanca.
5. Selisih dua bilangan prima.

Jawaban
1. Bukan sebuah proposisi
2. Sebuah proposisi, dengan negasi untuk setiap bilangan bulat positif n, 19340 ≠
n.17
3. Bukan sebuah proposisi
4. Sebuah proposisi, dengan negasi : “Play it again, Sam, tidak muncul dalam
film Casablanca
5. Bukan sebuah proposisi

Evaluasi setiap proposisi pada Nomor 6-9 untuk nilai kebenaran

p = F, q = T, r = F.

6. pq
7. pq
8.  p  q   p  r 
9. p  r  q  t   r  p
Jawaban
6. True
7. True
8. False
9. False

Tuliskan tabel kebenaran dari setiap proposisi pada nomor 10-14.

 
10. p  q  p
11.  p  q   p
 
12.  p  q   p  q
13.  p  q   r  p 
14.  p  q   q  r 

5
Jawaban

10. --------------------------------------
p q  
pq  pr  
---------------------------------------
T T T
T F T
F T T
F F T
--------------------------------------
11. --------------------------------------
p q  p  q  p
---------------------------------------
T T F
T F F
F T T
F F F
--------------------------------------
12. ----------------------------------------
p q 
 p  q  p  q 
---------------------------------------
T T T
T F F
F T T
F F T
-------------------------------------
13. ------------------------------------------------------
p q r  
pq  r  p  
------------------------------------------------------
T T T F
T T F F
T F T T
T F F T
F T T T
F T F T
F F T T
F F F T
---------------------------------------------------
14. ------------------------------------------------------
p q r  pq  qr   
------------------------------------------------------
T T T T
T T F F
T F T T
T F F T

6
 F T T T
F T F T
F F T T
F F F T
---------------------------------------------------

Pada Latihan 15-16 nyatakan dengan symbol pernyataan yang diberikan dengan
pemisalan: p: 5 < 9, q: 9 < 7, r: 5 < 7

Nyatakan apakah setiap kalimat berikut true atau false.

15. Adalah tidak benar bahwa (5 < 9 dan 9 < 7).

16. 5 < 9 atau tidak benar bahwa (9 < 7 dan 5 < 7).

Jawaban
15.  p  q  adalah True

16. p  q  r  adalah True

Pada Latihan 17-20, rumuskan pernyataan simbolik dengan kata-kata dengan

menggunakan
p: Hari ini adalah hari Senin
q: Hujan turun
r : Hari ini panas
17. p  q  r 
18. p  q  r
19.  p  q  r   r  q  p 
20. Buatlah tabel kebenaran untuk atau-eksklusif dari p dan q dengan p exor q
benar apabila salah satu p atau q benar tapi tidak keduanya benar.

Jawaban

17. Hari ini tidak Senin dan hujan turun atau hari panas

18. Hari ini tidak Senin dan tidak turun hujan dan hari ini panas

19. Hari ini hari Senin dan hujan turun dan panas dan hari ini hari Senin atau
hujan turun atau panas

20.

7
 ----------------------------------------
p q p exor q
---------------------------------------
T T F
T F T
F T T
F F F
-------------------------------------

21. Tuliskan bentuk pernyataan majemuk dari kalimat berikut ini :

“Jika ia minum kopi maka ia tidak minum teh, dan jika ia makan kue maka ia
minum teh”

Jawaban. Misal p = ia minum kopi; q= ia minum teh ; r= ia makan kue

maka pernyataan majemuk adalah (p  ~q) ^ (r  q)

22.Tentukan pernyataan yang senilai dengan pernyataan “jika Josua kaya maka
Josua punya rumah”

Jawaban.
Misal p = Josua kaya dan q = Josua punya rumah, maka pernyataan di atas adalah p
 q. Sehingga yang senilai dengan pernyataan itu adalah ~q  ~p karena untuk
setiap baris yang sama akan benilai sama pula, jadi pernyataan yang senilai
yaitu : ”jika Josua tidak punya rumah maka Josua tidak kaya”

23. Selidikilah apakah pernyataan berikut sebuah kontradiksi ?

(p ^ q) ^ ~(p v q) gunakan tabel kebenaran.

Jawaban
--------------------------------------------------------------------------------------
p q p^q p v q ~(p v q) (p^q) ^ ~(p v q)
--------------------------------------------------------------------------------------
T T T T F F
T F F T F F
F T F T F F
F F F F T F
----- --------------------------------------------------------------------------------
Karena semua nilai kebenaran pernyataan (p ^ q)^ ~(p v q) bernilai False, maka
pernyataan tersebut kontradiksi.

24. Selidikilah apakah pernyataan berikut sebuah tautologi ?

p v ~(p ^ q) gunakan tabel kebenaran.

Jawaban

8
 -----------------------------------------------------------
p q p ^ q ~(p^ q) pV ~(p v q)
----------------------------------------------------------
T T T F T
T F F T T
F T F T T
F F F T T
-----------------------------------------------------------
Karena semua nilai kebenaran pernyataan p v ~(p ^q) bernilai True, maka pernyataan
tersebut tautologi.

25. untuk pernyataan berikut ” Jika hari hujan maka udara dingin” maka tentukan
kontrapositif dan konversi dari pernyataan di atas ?

Jawaban
25. misal p = hari hujan ; q = udara dingin
Maka pernyataan di atas secara simbol dapat ditulis menjadi p  q
Kontrapositif : ~q  ~p yang pernyataannya adalah
” jika hari tidak dingin maka udara tidak hujan”
Konversi : q  p yang pernyataannya adalah
” jika udara dingin maka hari hujan”