MSIM4103 — Logika Informatika

Mengapa Kita Belajar Logika?

Pengurus koperasi kelas menulis aturan: “Jika kartu anggota masih berlaku, anggota boleh meminjam buku.” Beni mendapat izin meminjam. Apakah itu membuktikan kartunya masih berlaku? Belum tentu: mungkin ada izin khusus dari guru. Logika membantu kita melihat informasi yang benar-benar diberikan sebuah aturan dan informasi yang belum diberikan.

Kita akan memakai dua cerita berulang: aturan koperasi dan daftar siswa kelas. Pada awalnya, satu kalimat utuh diberi nama P atau Q. Sesudah itu, kita membuka isi kalimat: siapa siswanya, barang apa yang dipinjam, dan apakah aturan berlaku untuk semua orang atau hanya sebagian.

Peta hubungan konsep

flowchart TD
    A[Kalimat sehari-hari] --> B[Susun simbol dengan aturan sintaktik]
    B --> C[Berikan interpretasi]
    C --> D[Hitung dengan aturan semantik]
    D --> E[Tabel kebenaran dan pohon semantik]
    E --> F[Sifat kalimat dan pembuktian validitas]
    F --> G[Substitusi kalimat]
    G --> H[Objek, fungsi, predikat, dan kuantifier]
    H --> I[Validitas, agreement, dan closure]
    I --> J[Substitusi aman]

Urutan Belajar

Penguatan

Cara belajar

Baca cerita, jelaskan arti simbol, lalu hitung contoh di kertas. B berarti benar dan S berarti salah. Latihan interaktif tersedia pada berkas HTML pendamping.

Latihan Soal

Latihan Soal MSIM4103

Rujukan

Dr. Suprapto, M.I.Kom., Logika Informatika, BMP MSIM4103, Edisi 2, Universitas Terbuka, Modul 1–9. Studi kasus HRIS adalah materi tambahan.