Oleh :
F55118165
Kelas B
Universitas Tadulako
Fakultas Teknik
2020
Langkah 0 :
Berdasarkan asas praduga tak bersalah maka diasumsikan bahwa Mike, John dan Tim akan
mengasumsikan bahwa “tertuduh bersalah” memiliki CF = 0.
Langkah 1 :
Perhatikan bahwa premis pertama pada P1 (yang disimbolkan dengan E1) merupakan
konklusi dari R5 dan R6. Sistem akan mengerjakan RS terlebih dahulu karena RG memiliki
nilai CF lebih besar daripada R6, maka :
Langkah 2 :
CF John(F2) = 1 x (-0,9) = -0,9
Maka CF John = 0 + (-0,9) x (1-0)
= 0 + (-0,9)
= -0,9
Langkah 3 :
CF Mike(E3) = 1 x 0,4 = 0,4
Maka CF Mike = 0,95 + 0,4 x (1 – 0,95)
= 0,95 + 0,02
= 0,97
Langkah 4 :
CF John(E4) = 1 x (-0,4) = -0,4
Maka CF John = (-0,9) + (-0,4) x (1 + 0,9)
= (-0,9) – 0,76
= -1,66
Langkah 5 :
CF Mike (E5) = 1 x (0,7) = 0,7
Maka CF Mike = 0,97 + (-0,7) x (1 - 0,97)
= 0,97 – 0,021
= 0,949
Langkah 6 :
CF John(E6) = 1 x 0,7 = 0,7
Maka CF John = -1,46 + 0,7 x (1 + 1,46)
= -1,46 + 1,722
= 0,262
Langkah 7 :
CF Tim(F7) = 1 x 0,9 = 0,9
Maka CF Tim = 0 + 0,9 x (1 - 0)
= 0,9
Langkah 8 :
CF Mike(E8) = 0,6 x 0,5 = 0,3
Maka CF Mike = 0,949 + 0,3 x (1 – 0,949)
= 0,949 + 0,0153
= 0,9643
Langkah 9 :
CF John(E9) = 0,8 x (-0,5) = -0,4
Maka CF John = 0,262 + (-0,4) x (1 – 0,262)
= 0,262 – 0,2952
= -0,0332
Langkah 10 :
CF Mike(E10) = 0,85 x (-0,8) = -0,68
Maka CF Mike = 0,9643 + (-0,68) x (1 – 0,9643)
= 0,9643 – 0,24276
= 0,72154
Langkah 11 :
CF John (E11) = 0,2 x (-0,8) = -0,16
Maka CF John = -0,0332 + (-0,16) x (1 + 0,0332)
= -0,0322 – 0,165312
= -0,198512
Berdasarkan pada hasil diatas maka dapat disimpulkan bahwa dari ketiga pembuktian diatas
yang layak untuk dituduk sebagai pelaku pencurian mobil adalah Tim.