Penggunaan Tabel Kebenaran Untuk Menyelesaikan Masalah " Tersangka Pembakaran Hutan"

Pada sebuah kejadian terdapat 3 orang tersangka pembakaran hutan yaitu cahyo, ujie dan maulana.
Mereka bertiga tertangkap basah oleh beberapa petugas penjaga hutan saat berada di TKP. Mereka bertiga dibawa kekantor dan di interogasi menggunakan alat deteksi kebohongan. Saat di interogasi tersangka 1 yaitu cahyo mengatakan bahwa dia tidak bersalah. Tersangka 2 yaitu ujie mengatakan bahwa cahyo bersalah tetapi tidak bersalah. Tersangka 3 yaitu maulana mengatakan jika cahyo bersalah maka ujie bersalah.
Dari alat tersebut siapakah tersangka sebenarnya yang telah membakar hutan ?

Penyelesaian :

p : cahyo bersalah
q : ujie bersalah
r : maulana bersalah

Proposisi Logika :
Cahyo   : saya tidak bersalah (~p)
ujie        : cahyo bersalah tetapi maulana tidak bersalah (~p ^ r)
maulana : jika cahyo bersalah maka ujie bersalah (~p -> ~q)

Dari tabel kebenaran di atas,kita dapat melihat bahwa cahyo dan ujie tidak bersala. Jadi tersangka pembakaran hutan diatas adalah ujie.


Kelompok 6 : Yayang Sari (D1041151014)
                      Andi Ahmad Mulya (D1041151054)
                      Sumarno Dwi Saputra (D1041151026)