DENGAN

ATURAN BUKTI
BERSYARAT
(ABB) DAN BUKTI TAK
LANGSUNG (BTL)
Oleh:
Dra. Emi Pujiastuti, M.Pd.
Dr. Mulyono, M.Si.
Drs. Sugiarto, M.Pd.
(ABB)
 Bilamanakah ABB digunakan
untuk membuktikan kesahan
argumen?

Kesahan argumen bisa digunakan ABB

apabila konklusinya
... merupakan implikasi
Apa dasar kebenaran ABB?
implikasi
Argumen

1) P/(A → C) Dinyatakn
P →?(A → C)
dengan

Ekivalen dengan
Sama- (hukum eksportasi)
sama sah

1) P
?
Dinyatakn
dengan ? →C
(P  A)
2) A / C

argumen implikasi
Langkah pembuktian ABB

1. menarik anteseden dari konklusi

menjadi premis baru (premis
tambahan)
2. menuliskan konsekuen dari konklusi
menjadi konklusi dari argumen.
Buktikan kesahan argumen
berikut dengan ABB.

1) (a  b) (c  d)
2) (d  e)  f /a
f
premis
? konklusi
? apa?
Merupakan
implikasi
Buktikan kesahan argumen dengan ABB.

1) (a  b) (c  d)
2) (d  e)  f /  a a f f
3) /  (asumsi)
4) a v b (3 adisi)
5) c  d (1, 4 MP)
6) d (5 simp)
7) d v e (6 adisi)
8) f (2, 7 MP)
9) a  f (3-8 ABB)
terbukti
Buktikan kesahan argumen
berikut

1) (a  b) (c  d)
2) (d  e)  f /af
dengan bukti langsung.
Kemudian bandingkanlah
banyaknya langkah!
 BUKTI TAK
LANGSUNG (BTL)
 Bagaimanakah langkah bukti BTL ?

Langkah-langkahnya adalah sebagai berikut.

1. Menarik ingkaran dari konklusi menjadi
premis baru (premis tambahan).
2. Dengan menggunakan aturan penyirnpulan
dan hokum penggantian ditunjukkan adanya
kontradiksi.
3. Setelah ditemukan kontradiksi kita tinggal
menggunakan prinsip Adisi dan Distributif
Silogisme
Buktikan kesahan argumen berikut
dengan BTL
1. a → (b  c
1. (b  d) → e
2. d  a /  e
 1. a → (b  c
2. (b  d) → e
3. d a /e
BUKTI 4.
5.
–e (asumsi)
– (b  d) (2,4 MT)
6. – b  – d ( 5 DM)
7. –b ( 6 simp)
8. –d ( 6 simp)
9. –d→a ( 3 Imp)
10. a ( 8, 9 MP)
11. b c ( 1, 10 MP)
12. b ( 11 simp)
13. b–b ( 7, 12 konj)
14. be ( 13 Add)
15. e (14, 7
DS)
Terbukti