Materi: Inferensi Logika
Pagi itu, kawasan UI bersahabat dan menyenangkan. Kicauan burung menemani cuaca yang cukup cerah. Mentari terlihat tersenyum, membangunkan manusia untuk beraktifitas. Langit tampak biru dihiasi awan berarak yang jalannya tampak sangat lambat. Tetesan air yang jatuh dari ujung daun seolah-olah sedang berdzikir menyebut Asma Allah. Semuanya masih segar. Inilah salah satu kenikmatan di pagi hari setelah terbitnya mentari.
Putra berjalan menyusuri jalan kecil ditemani pepohonan hijau menuju Fasilkom. Berangkat ke kampus hijau UI saat pagi hari memang menyenangkan baginya. UI yang hutannya masih lebat ini memiliki udara yang segar dan sejuk. Putra tampak senang dengan kondisi di lingkungan kampusnya. Betapa tentram dan tenang jiwanya.
Tiba-tiba Putra menghentikan langkahnya. Ada sesuatu mengganjal pikirannya. Sejenak ia berpikir. Lalu ia segera melihat-lihat isi tasnya. Putra tersadar bahwa ada sesuatu benda yang tertinggal. Benda itu adalah flash disk atau disingkat fd yang berharga. Ternyata, fd miliknya tertinggal di kosan. Akan tetapi, Putra lupa dimana ia meletakkannya.
Setelah mengingat-ingat, ada beberapa yang dipastikan olehnya.
- Jika fd Putra ada di meja ruang santai di kosan, Putra pasti sudah melihatnya ketika sarapan pagi.
- Putra menggunakan laptop di kamar atau di ruang santai kosan.
- Jika Putra menggunakan laptop di kamar kosan, Putra pastilah meletakkan fd di laci meja kamar.
- Putra tidak melihat fd ketika sarapan pagi.
- Jika Putra menggunakan laptop di ruang santai, fd Putra pastilah ada di meja ruang santai.
Berdasarkan fakta-fakta tersebut, dimana ya letak fd Putra?
Dimana ya?
Point-point yang diketahui Putra di atas dinyatakan terlebih dahulu dengan simbol-simbol logika untuk memudahkan permasalahan.
p: fd Putra ada di meja ruang santai di kosan
q: Putra melihat fd miliknya ketika sarapan pagi
r: Putra menggunakan laptop di kamar kosan
s: Putra menggunakan laptop di ruang santai
t: Putra meletakkan fd di laci meja kamar
Metode inferensi logika diperlukan dalam kasus ini. Metode ini menurunkan kesimpulan berdasarkan hipotesis yang ada tanpa harus menggunakan tabel kebenaran.
Pernyataan-pernyataan di atas dapat disimbolkan sebagai berkut.
(1) p→ q
(2) r V s
(3) r → t
(4) ⌐q
(5) s → p
Inferensi logika yang dapat dilakukan adalah sebagai berikut.
Penjelasan dari inferensi logika di atas adalah sebagai berikut. Kesimpulan (1) mengatakan fd Putra tidak ada di meja ruang santai di kosan.. Kesimpulan (2) mengatakan Putra tidak menggunakan laptop di ruang santai. Kesimpulan (3) mengatakan Putra menggunakan laptop di kamar kosan. Ketiga kesimpulan ini belum menunjukkan letak fd Putra. Kita harus mencari kesimpulan yang lain. Akhirnya kesimpulan berikutnya memberikan informasi letak fd Putra yang sesungguhnya. Fd Putra terletak di laci meja kamar berdasarkan informasi kesimpulan (4).
Sesampainya di kosan, benar saja fd miliknya terletak di laci meja kamar. Duh, Putra lupa memasukkan kembali fd-nya ke dalam tas. Repot juga ya jika ada barang penting tertinggal, mau tidak mau harus kembali untuk mengambilnya.
Hari masih pagi. Perjalanan ditemani mentari pagi dan pepohonan rindang dilanjutkan. Langkah kaki Putra tertuju ke tempat menuntut ilmu. Dalam hatinya berharap Allah akan memudahkan langkah-langkahnya menuju jannah di kemudian hari.
Akhir kata, tetap semangat!
Recent Comments