New Funday - Jika anda kuliah mengambil Jurusan Teknik Informatika, maka anda akan mendapatkan pelajaran Logika Matematika
Tulisan-tulisan di kategori Logika Matematika ini hanya ditujukan untuk mereka yang sedang belajar hal-hal dasar tentang Logika Matematika. Akan jarang ditemui hal-hal yang baru di sini. Semoga bermanfaat.
Tulisan-tulisan di kategori Logika Matematika ini hanya ditujukan untuk mereka yang sedang belajar hal-hal dasar tentang Logika Matematika. Akan jarang ditemui hal-hal yang baru di sini. Semoga bermanfaat.
Saat mengajar kuliah Pemrograman Non Prosedural (terutama bagian Pemrograman Logika), saya banyak menemui mahasiswa yang belum memahami kegunaan logika matematika, terutama dalam kehidupan sehari-hari. Padahal tujuan utama semua ilmu adalah membantu kehidupan manusia. Demikian juga dengan logika matematika. Salah satu manfaatnya adalah membantu membuat (menarik) kesimpulan yang benar. Tulisan ini akan membahas tentang teknik penarikan kesimpulan dasar, yaitu Modus Ponens dan Modus Tollens.
Agar cakupannya tidak meluas, jenis logika yang saya pakai di tulisan ini adalah logika proposisi (propositional logic). Dalam logika proposisi, sebuah kalimat dinyatakan dengan sebuah simbol (yang mungkin berindeks).









