METODE DEDUKSI KALIMAT LOGIKA

Modus Ponen (MP) :

Tautologi : [p (p q)] q
p

p q
q

p q

p (p q)

[p (p q)] q

Contoh Soal 4.1 :

Buktikan validitas argumen di bawah ini :
Jika pintu kereta api ditutup, maka lalu lintas terhenti.
Jika lalu lintas terhenti, maka terjadi kemacetan lalu lintas.
Pintu kereta api ditutup.
Jadi terjadi kemacetan lalu lintas
Jawab :
Pergunakan notasi simbol :
p : Pintu kereta api ditutup.

Pembuktiannya sbb :

q : Lalu lintas terhenti.

1.

pq

Pr

2.

qr

Pr

Rangkaian argumen :

3.

Pr / r

1.

pq

Pr (Premis)

4.

1,3 MP

2.

qr

Pr

5.

2,4 MP

3.

Pr / r

R : Terjadi kemacetan lalu lintas

Contoh Soal 4.2 :

Buktikan validitas berikut :

Jika korupsi merajalela atau persediaan minyak bumi habis, maka jika pendapatan negara
tidak dapat diatasi, maka Negara akan mengalami resesi.
Ternyata pendapatan negara tidak dapat diatasi
Jika persediaan minyak bumi habis, maka Negara kehilangan devisa
Jika Negara kehilangan devisa, maka korupsi merajalela atau persediaan minyak bumi
habis
Jadi Negara mengalami resesi
1.

(p q) (~s r)

Pr

Jawab :

2.

~s

Pr

p : Korupsi merajalela

3.

qt

Pr

q : Persediaan bumi habis

4.

t (p q)

Pr

r : Negara mengalami resesi

5.

Pr /r

s : Pendapatan Negara dapat diatasi

6.

3,5 MP

t : Negara kehilangan devisa

7.

pq

4,6 MP

8.

~s r

1,7 MP

9.

2,8 MP

Modus Tollen (MT) :

Tautologi : [~ q (p q)] ~ p
p q
~q
~p

~q

p q

~ q (p q)

~p

[~q (p q)] ~p

Contoh Soal 4.3 :

Buktikan rangkaian argumen berikut :
1.

pq

Pr

2.

qr

Pr

3.

~ps

Pr

4.

~r

Pr /s

Jawab :
1.

pq

Pr

2.

qr

Pr

3.

~ps

Pr

4.

~r

Pr /s

5.

~q

2,4 MT

6.

~p

1,5 MT

7.

3,6 MP

Simplifikasi (Simp) :

pq
p
Contoh Soal 4.4 :
Buktikan rangkaian argumen berikut :
1.

~pq

Pr

2.

rp

Pr

3.

~rs

P.

4.

st

Pr /t

Jawab :
1.

~pq

Pr

2.

rp

Pr

3.

~rs

Pr

4.

st

Pr /t

5.

~p

1, Simp

6.

~r

2,5 MT

7.

3,6 MP

8.

4,7 MP

Conjuntion (Conj) :
p

q
pq

Contoh Soal 4.5 :

Buktikan rangkaian argumen berikut :
Jawab :

1.

(p q) r

Pr

2.

ps

Pr

1.

(p q) r

Pr

3.

qt

Pr /r

2.

ps

Pr

3.

qt

Pr /r

4.

2, Simp

5.

3. Simp

6.

p q

4,5 Conj

7.

1,6 MP

Hypothetical Syllogism (HS) :

Tautologi :[ (p q) (q r)] (p r)
p q
q r
pr
Contoh Soal 4.6
Buktikan validitas argumen berikut :
Jika kamu mengirim pesan email, maka saya akan menyelesaikan menulis program.
Bila kamu tidak mengirim pesan email kepada saya, maka saya akan cepat tidur.
Jika saya cepat tidur, maka saya akan bangun dengan perasaan segar
Bila saya tidak menyelesaikan menulis program, maka saya akan bangun dengan perasan segar
Jawab :

1. p q

Pr

p : Kamu mengirim pesan email

2. ~ p r

Pr

q : Saya menyelesaikan menulis program

3. r s

Pr / (~ q s)

r : Saya cepat tidur

4. ~ q ~ p 1, Kontrapositip

s : Saya bangun dengan perasaan segar

5. ~ q r

2, 4 HS

6. (~ q s

3, 5 HS

Disjunction Syllogism (DS)

Tautologi :[ (p q) ~ p] q
pq
~p
q
Contoh Soal 4.7 :
Buktikan validitas argumen berikut :
Saya pergi ke Palembang atau berlibur ke Pemalang.

Saya tidak ke Palembang tapi mengikuti kursus di Pemalang.

Jadi saya berlibur ke Pemalang
Jawab :
p : Saya pergi ke Palembang

1. p q

Pr

q : Saya berlibur ke Pemalang

2. ~ p r

Pr / q

r : Saya mengikuti kursus di Pemalang

3. ~ p

2, Simp

4. q

1, 3 DS

Constructive Dilemma (CD)

pq
rs
pq
qs
Contoh Soal 4.8:
Buktikan validitas argumen berikut :
Jika purnama telah hilang, maka malam menjadi gelap gulita

Jika malam semakin larut, maka angin bertiup semakin dingin

Purnama telah hilang atau malam semakin larut
Jadi, malam menjadi gelap gulita atau angin bertiup semakin dingin
p : Purnama telah hilang
q : Malam menjadi gelap gulita
r : Malam semakin larut

S : Angin bertiup semakin dingin

1. p q

Pr

2. r s

Pr

3. p q

Pr / q s

4. q s

1,2,3 CD

Distructive Dilemma (DD)

pq
rs
~ q ~s
ps

Addition (Add)

p
pq
Contoh Soal 4.10

Buktikan validitas argumen berikut :

Jika di Pangandaran nelayan tertawa berdendang ria atau wisatawan ramai berpesta
pora, maka di Pangandaran ada pesta laut
Jika bulan Pebruari telah tiba, maka nelayan di Pangandaran tertawa berdendang ria

Bulan Pebruari telah tiba

Jadi di Pangandaran ada pesta laut

1. (p q) r

Pr

2. s p

Pr

3. s

Pr / r

4. p

2, 3 MP

q : Wisatawan ramai berpesta pora

5. p q

4, Add

r : Di Pangandaran ada pesta laut

6. r

1, 5 MP

p : Di Pangandaran nelayan tertawa

berdendang ria

Resolution (Res)

pq
~pr
q r
Contoh Soal 4.11

Buktikan validitas argumen berikut :

Jasmin sedang bermain ski atau sekarang sedang tidak turun salju
Sekarang sedang turun salju atau Bart sedang bermain hoki
Jasmin sedang bermain ski atau Bart sedang bermain hoki
Jawab :

1. ~ p q

Pr

p : Sekarang sedang turun salju

2. p r

Pr / q r

q : Jasmine sedang bermain ski

3. q r

Res

r : Bart sedang bermain hoki

ATURAN PENARIKAN KESIMPULAN (RULE OF INFERENCE)

1

p
p q

Addition (Add)

pq
qr
pr

Hypothetical Syllogism (HS)

pq
p

Simplification (Simp)

pq
~p
q

Disjunctive Syllogism (DS)

p
q
p q

Conjunction (Conj)

pq
rs
pq
qs

Constructive Dilemma (CD)

pq
p
q

Modus Ponen (MP)

pq
rs
~ q ~s
ps

Destructive Dilemma (DD)

~q
pq
~p

Modus Tollen (MT)

10

pq
~pr
q r

Resolution (Res]

ATURAN PENUKARAN(RULE OF REPLACEMENT)

1

~ (p q) ~ p ~q
~ (p q) ~ p ~q

De Morgan (de M)

pqqp
pqqp

Commutation (Comm))

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

Association (Ass)

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

Distribution (Distr)

~ (~ p) = p

Double Negation(DN)

pq~q~p

Transposition (Trans)

p ~p q

Material Implication (Impl)

p q (p q ) (q p)
p q (p q ) (~ q ~p)

Material Equivalence (Equiv)

p q r p (q r)

Exportation (Exp)

10

ppp
ppp

Tautologi (Taut)

Contoh Soal 4.12

Buktikan argumen di bawah ini :
1. (a b ) (c d)
2. ~ c / ~ b
Jawab :

1.

(a b ) (c d)

Pr

2.

~c/~b

Pr

3.

~c~d

2, Add

4.

~(c d)

3, de M

5.

~ (a b )

4, MT

6.

~a~b

5, de M

7.

~b~a

Comm

8.

~b

Simpl

Contoh Soal 4.13

Buktikan argumen di bawah ini :
1. j (~ k j )
2. k (~ j k) / (j k) (~ j ~ k)
Jawab :
1.

j (~ k j )

Pr

2.

k (~ j k) / (j k) (~ j ~ k)

Pr

3.

(~ k j ) j

Comm

4.

~ k (j j)

Ass

5.

~kj

Taut

6.

kj

Impl

7.

(~ j k ) k

Comm

8.

~ j (k k)

Ass

9.

~jk

Taut

10.

(j k )

Impl

11.

(j k ) (k j)

6,10 Conj

12.

jk

Equiv

13.

(j k) (~ j ~ k)

Equiv

Soal Latihan No 4.1 [2005]

Tentukan validitas argumen berikut :
~ (p m) (s r)
~s
~m

Soal Latihan No 4.2

Diberikan sebuah soal cerita di bawah ini, buktikan
validitasnya
Jika Nuraida pergi ke gunung Gede atau Aryanti tidak
ada di rumah, maka Hasanah tidak akan pergi ke luar
rumah dan Ineke akan setia menemaninya. Ternyata
Hasanah pergi ke luar rumah. Jadi Aryanti ada di rumah

Soal Latihan No. 4.3

Diberikan argumen berikut :

~ (p q) r
pq
p r
Buktikan validitas argumen di atas

Soal Latihan No. 4.4

Diberikan argumen berikut :
Jika Wayan berdagang, maka ia tidak menjadi beban
keluarganya
Jika ia tidak berdagang, maka ia tidak mempunyai
modal.
Jika ia tidak mempunyai modal, maka ia bekerja di toko.
Jika ia bangkrut, maka ia menjadi beban keluarganya.
Jadi ia tidak bangkrut atau ia bekerja di toko
w : Wayan berdagang
k : Wayan menjadi beban keluarganya
m : Wayan mempunyai modal
t : Wayan bekerja di toko
b : Wayan bangkrut

ATURAN PEMBUKTIAN KONDISIONAL

Pernyataan kondisional berkorespondensi dengan suatu argumen
Pernyataan kondisional : [(p q) ~ p ] q berkorespondensi dengan
argumen :
1. p q
2. ~ p
3. q
Premis-premis argumen (1 dan 2) adalah antesenden dari pernyataan kondisional
Konsekuen argumen (3) adalah konklusi dari pernyataan kondisional
Setiap argumen yang valid berkorespondensi dengan pernyataan kondisional yang
merupakan tautologi
Menurut hukum Exportation : a (b c) (a b) c, keduanya tautologi
1. a
2. b c
1. a
2. b
3. c
Ada premis tambahan (b)

rule of Conditional Proof (CP)

Contoh Soal 4.14

Buktikan validitas argumen berikut :
1. a b
2. c d
3. ~ b ~ d
4. ~ a ~ b
5. (a ~ c)
Jawab :
Ubah argumen di atas menjadi :
1.
2.
3.
4.
5.
6.

ab
cd
~b~d
~a~b
a (premis tambahan)
~c

Pembuktian selengkapnya :
1

ab

Pr

c d

Pr

~b~
d

Pr

~a~
b

Pr / a c

Pr tambahan / c

1,5 MP

~ (~b)

6 DN

~d

3,7 DS

~c

2,8 MT

10 a ~c

5,9 CP

Contoh Soal 4.15

Buktikan validitas argumen berikut :

1. a (b c)
2. c (d e)

Pr
Pr /a (b d)

Jawab :
Ubah argumen di atas menjadi :
1.
2.
3.
4.

a (b c) Pr
c (d e)
Pr
a (Pr tambahan) / (b d)
b (Pr tambahan) / d
Pembuktian selengkapnya :
1

a (b c)

Pr

c (d e)

Pr

Pr tambahan

Pr tambahan

bc

1,3 MP

5,4 MP

de

2,6 MP

7 Simp

Latihan Soal 4.5

Buktikan validitas argumen berikut menggunakan aturan pembuktian kondisional
1. (s q) r
Pr
2. (p s) q
Pr /p r

Latihan Soal 4.6

Buktikan validitas argumen berikut menggunakan aturan pembuktian kondisional
1. p r
Pr
2. (~ p r) (s q)
Pr /p (s q)

Latihan Soal 4.7

Buktikan validitas argumen berikut menggunakan aturan pembuktian kondisional
1. t d e
Pr / t e

ATURAN PEMBUKTIAN TAK LANGSUNG

Rule of Indirect Proof (IP)

Membentuk negasi dari konklusinya yang kemudian dijadikan premis tambahan

Bila terjadi kontradiksi, maka argumen valid

Contoh Soal 4.16

Buktikan validitas argumen ini dengan pembuktian tak langsung
1. p q
Pr
2. q r
Pr
1 pq
Pr
3. p
Pr / r
2 qr
Pr
1.
2.
3.
4.

pq
qr
p
~r

Pr
Pr
Pr / r
Pr tambahan

Pr

~r

Pr tambahan

~q

2,4 MT

~p

1,5 MT

p ~p

3,6 conj

Terjadi kontradiksi argumen valid

Contoh Soal 4.17

Buktikan validitas argumen di bawah ini
dengan metode IP, dan lanjutkan sampai
diperoleh konklusi argumennya
1. b j
Pr
2. h d
Pr
3. ~ (~j ~ d) u
Pr
4. ~ u
Pr / ~ b ~ h
Jawab :

Terjadi kontradiksi

bj

Pr

hd

Pr

~ (~j ~ d) u

Pr

~u

Pr / ~ b ~ h

~(~ b ~ h)

IP ,Pr tambahan

bh

De Morgan

6, simp

1,7 MP

hb

6, comm

10

9, simp

11

2,10 MP

12

~j ~ d

3,4 MT

13

~ (~j )

8, DN

14

~d

12,13 DS

15

d~d

11, 14 conj

16

~b~h

1,2, 12 DD

17
18

Latihan Soal 4.8

Buktikan validitas argumen berikut menggunakan aturan pembuktian tak langsung
1. ~ (p m) (s r)
Pr
2. ~ s
Pr /~ m
Latihan Soal 4.9
Buktikan validitas argumen berikut menggunakan aturan pembuktian tak langsung
1. a b c d Pr
2. d e) f
Pr
3. a
Pr / f
Latihan Soal 4.10
Buktikan validitas argumen berikut menggunakan aturan pembuktian kondisional
1. p [q (r s)]
Pr
2. ~r ~s
Pr
3. ~q
Pr / ~ p