Catatan Ringkas: Logika Informatika

Pengenalan Logika

  • Logika berasal dari bahasa Yunani; logika adalah ilmu yang mempelajari jalan pikiran yang diungkapkan dalam bahasa.
  • Logika adalah ilmu berpikir secara sistematis; mempelajari metode dan hukum-hukum untuk membedakan penalaran yang benar dari yang salah.
  • Logika lahir dari pemikiran pemikir Yunani: Aristoteles, Theophrastus, dan kaum Stoic.
  • Logika memanfaatkan kemampuan berfikir manusia untuk mencapai kesimpulan yang absah.

Aristoteles dan Kontribusinya

  • Aristoteles (384 SM – 322 SM): filsuf Yunani, murid Plato, guru Alexander Agung.
  • Belajar dari Plato di Athena selama 20 tahun dimulai pada umur 17 tahun.
  • Ia menulis dalam bidang fisika, politik, etika, biologi, dan psikologi.
  • membagi filsafat menjadi empat persoalan: logika, fisika, metafisika, dan pengetahuan praktis.
  • Analisis filsafat dilakukan dengan silogisme; pemikiran logika yang memanfaatkan metode deduktif dijadikan dasar logika formal.
  • Kepercayaan bahwa ilmu ditujukan untuk mendukung kehidupan manusia.

Konsep Dasar Logika

  • Logika: studi kriteria penalaran yang valid; mengevaluasi argumen sebagai valid atau tidak valid, baik atau tidak baik.
  • Logika sebagai cabang filsafat yang juga dipelajari dalam matematika dan komputer pada era modern.
  • Logika: logika simbolik, logika formal; studi mengenai sistem formal dengan rangkaian rumus/aturan derivasi.
  • Derivasi: pembuktian validitas argumen yang kuat dengan premis yang benar menghasilkan kesimpulan yang benar.
  • Secara umum, logika berhubungan dengan penalaran deduktif (deductive reasoning).
  • Induktif reasoning: pengambilan kesimpulan umum dari observasi/penelitian.

Logika Tradisional vs Logika Modern

  • Logika Tradisional (Aristoteles): ciptaan Aristoteles, pemikiran sistematis tentang logika; sering disebut logika Aristoteles atau logika tradisional.
  • Logika Modern (logika simbolik/matematik): corak baru yang dikenalkan untuk memasukkan prinsip-prinsip matematik ke dalam logika tradisional.
  • Logika modern diperankan oleh Augustus De Morgan dan George Boole, yang memperkenalkan simbol-simbol untuk kalimat lengkap dan perangkai (connectives) seperti "and", "or", "if…then…".
  • Logika modern membahas argumen yang dapat direpresentasikan dalam bentuk lebih luas daripada silogistik saja.

Ringkasan: Apa itu Logika?

  • Logika adalah studi kriteria untuk mengevaluasi argumen:
    • Menentukan mana argumen yang valid dan mana yang tidak valid.
    • Membedakan antara argumen yang baik dan yang kurang baik.

Contoh dan Latihan Logika

  • Contoh Argumen untuk dianalisis:
    • Jika Anda mahasiswa informatika maka Anda tidak sulit belajar Bahasa Java.
    • Jika Anda tidak suka begadang maka Anda bukan mahasiswa Informatika.
    • Tetapi Anda sulit belajar Bahasa Java dan Anda tidak suka begadang.
    • Jadi Anda bukan mahasiswa Informatika.
  • Alat bantu memahami argumen adalah LOGIKA.

Mengapa Belajar Logika Informatika?

  • Logika Informatika merupakan mata kuliah wajib sebelum mempelajari mata kuliah lain.
  • Digunakan dalam mata kuliah lain seperti Algoritma Pemrograman, Digital, dan mata kuliah terkait pemrograman.

Definisi: Logika Informatika

  • Logika Informatika adalah aturan-aturan logika yang menggunakan kaidah-kaidah tertentu dalam informatika untuk membuktikan validitas suatu argumen.

Logika Matematika untuk Informatika (Topik Utama)

  • 1) Pengenalan logika matematika dan komputer.
  • 2) Pengantar logika proposisional.
  • 3) Argumen validitas.
  • 4) Deduksi dan Induksi.
  • 5) Tabel kebenaran.
  • 6) Proposisional majemuk.
  • 7) Tautologi, kontradiktif, ekuivalensi.
  • 8) Modus ponens, modus tollens.
  • 9) Ekivalensi logis.
  • 10) Bentuk normal, Kuantor (all and some).
  • 11) Ekivalen logis; Pengantar logika predikat, argumen dan logika predikat.
  • 12) Pohon kebenaran.

Tanpa Logika, Bisakah Membuat Program?

  • Logika memainkan peranan penting di berbagai bidang seperti matematika dan ilmu komputer.
  • Digunakan untuk membuat dan menguji program komputer.
  • Cabang-cabang ilmu komputer menggunakan logika untuk AI, sistem pakar, pemrograman logika, dll.
  • Konsep gerbang logika (logic gates) dan arsitektur komputer sebagai inti mikroprosesor.
  • Logika terus berkembang, misalnya logika fuzzy.

Pernyataan, Proposisi, dan Argumen

  • Ada hubungan antara pernyataan, proposisi, dan argumen; argumen merupakan rangkaian pernyataan yang bertujuan untuk mendapatkan kesimpulan.
  • Premis-premis mendukung konklusi; jika premis benar dan kesimpulan mengikuti secara logis, argumen bisa dinyatakan sah (sound).

Dasar-dasar Logika

  • Argumen kuat secara logis adalah argumen valid dengan semua premisnya benar.
  • Argumen dapat memiliki proposisi-proposisi yang atomic (tak bisa dipecah lagi) dan proposisi majemuk dengan connectives.
  • Proposisi atomic adalah proposisi dasar yang tidak bisa dibagi lagi menjadi bagian yang lebih sederhana.
  • Proposisi majemuk adalah gabungan beberapa proposisi atomic melalui connectives.

Contoh Proposisi dan Premis/Kesimpulan

  • Contoh pernyataan logis:
    • 4 kurang dari 5
    • Indonesia terdiri atas 33 provinsi
    • 2 adalah bilangan prima yang genap
    • 3 adalah bilangan genap
  • Kalimat seperti ini tidak dibahas sebagai proposisi: kalimat tanya, perintah, atau ungkapan perasaan.

Proposisi dan Proposisi Atomik

  • Proposisi: pernyataan deklaratif yang bernilai benar (T) atau salah (False).
  • Contoh proposisi atomik: Yetno pergi Kuliah; Desy pergi Kuliah.
  • Proposisi atomik adalah bagian terkecil dari proposisi yang tidak memuat operator logika lebih lanjut.

Kalimat vs Proposisi

  • Kalimat yang memuat pernyataan: Yetno mencintai Dessy; Yetno amat mencintai Dessy; Yetno sungguh-sungguh mencintai Dessy.
  • Inti proposisi di sini: Yetno mencintai Dessy.
  • Kalimat seperti permainan “Gajah lebih besar daripada tikus” bisa dibahas sebagai proposisi jika dinilai benar/salah; jika tidak dapat dinilai, maka tidak sebagai proposisi.

Contoh Proposisi dalam Latihan

  • Contoh 1: Semua pernyataan berikut adalah proposisi:
    • (a) 13 adalah bilangan ganjil;
    • (b) Soekarno adalah alumnus UPN;
    • (c) 1 + 1 = 2;
    • (d) 8 A0AAr Kepala akar kuadrat dari 8 + 8;
    • (e) Ada monyet di bulan;
    • (f) Hari ini adalah hari Rabu;
    • (g) Untuk sembarang bilangan bulat n 3 >= 0, maka 2n adalah bilangan genap;
    • (h) x + y = y + x untuk setiap x dan y bilangan riil.
  • Contoh 2: Semua pernyataan di bawah bukan proposisi:
    • (a) Jam berapa kereta api Argo Bromo tiba di Gambir?
    • (b) Isilah gelas tersebut dengan air!
    • (c) x + 3 = 8
    • (d) x > 3

Kalimat dengan Debat (Debatable Sentences)

  • Contoh:
    • "Angka 8 adalah angka keberuntungan" (pernyataan yang bisa diperdebatkan; tidak bisa dipastikan benar/salah tanpa konteks).
    • "Angka 13 adalah angka sial";
    • "Indonesia negara yang kaya raya";
  • Karena pendapat berbeda, kalimat tersebut tidak bisa dijadikan proposisi objektif.

Proposisi Atomik dan Kalimat Terbuka

  • Proposisi atomik: kalimat dasar yang bisa dinilai benar/salah.
  • Kalimat terbuka (fungsional): mengandung variabel seperti $y$, $x$ yang nilai kebenarannya bergantung pada nilai variabel.
  • Contoh: $y > 5$ adalah kalimat terbuka; tidak selalu proposisi karena nilai kebenarannya belum ditentukan.
  • Contoh: $x < y$ jika dan hanya jika $y > x$ adalah proposisi benar karena nilai kebenarannya tidak tergantung pada nilai spesifik $x$ dan $y$ asalkan pernyataan logis terpenuhi (dikonversi sebagai bentuk umum).
  • Bentuk umum: jika suatu kalimat mengandung variabel, ia bisa menjadi fungsi proposisi atau kalimat terbuka.

Contoh Teori dan Latihan Lanjutan

  • Contoh pernyataan yang semua adalah proposisi:
    • (a) 13 adalah bilangan ganjil;
    • (b) Soekarno adalah alumnus UPN;
    • (c) 1 + 1 = 2;
    • (d) 8 adalah akar kuadrat dari 8 + 8;
    • (e) Ada monyet di bulan;
    • (f) Hari ini adalah hari Rabu;
    • (g) Untuk setiap bilangan bulat $n A0\ge 0$, maka $2n$ adalah bilangan genap;
    • (h) $x + y = y + x$ untuk setiap $x$ dan $y$ bilangan real.
  • Contoh pernyataan non-proposisi (bukan proposisi):
    • (a) Jam berapa kereta api Argo Bromo tiba di Gambir?
    • (b) Isilah gelas tersebut dengan air!
    • (c) $x + 3 = 8$ (tergantung konteks)
    • (d) $x > 3$ (mengandung variabel).

Struktur Argumen: Premis, Konklusi, dan Validitas

  • Argumen adalah rangkaian premis yang bertujuan memperoleh konklusi.
  • Premis-premis adalah pernyataan yang mendukung konklusi.
  • Konsep kebenaran premis dan kedekatan konklusi diperlukan untuk penilaian validitas.
  • Validitas logika adalah hubungan antara premis dan konklusi; jika premis benar maka konklusi harus benar, sesuai aturan logika.
  • Validitas tidak menilai kebenaran premis; hanya memeriksa apakah premis menghasilkan konklusi yang benar secara logis.
  • Argumen logis dikatakan kuat secara logis jika dan hanya jika argumennya valid dan semua premisnya benar.

Contoh Konkret Argumen (Berbagai Kasus)

  • Contoh 1: Semua jurusan di … mengajarkan matakuliah Logika Informatika; Jurusan tarbiyah adalah jurusan di …; therefore, jurusan tarbiyah mengajarkan matakuliah logika informatika. Premis 1 salah; Premis 2 benar; Konklusi tetap bisa dianggap valid jika mengikuti premisnya.
  • Contoh 2: Semua mahasiswa IT belajar C++; Rudi adalah mahasiswa IT; Konklusi: Rudi belajar C++.
  • Contoh 3: Semua mahasiswa pandai; Badu adalah mahasiswa; Konklusi: Badu pandai.
  • Contoh 4: Ada mahasiswa dari Maluku; Jason adalah mahasiswa; Konklusi: Jason dari Maluku (tidak valid).
  • Contoh 5: Ada binatang dapat terbang; Harimau binatang; Konklusi: Harimau dapat terbang (tidak valid).
  • Contoh 6: Semua mamalia adalah hewan berkaki empat; Semua manusia adalah mamalia; Konklusi: Semua manusia adalah binatang berkaki empat (valid).
  • Contoh 7: Ada jenis mahluk hidup berkaki dua (for some); Semua manusia adalah mahluk hidup (all); Kesimpulan: Semua manusia berkaki dua (tidak valid).
  • Contoh 8: Semua mahasiswa rajin belajar; Badu seorang mahasiswa; Konklusi: Dewi rajin belajar (tidak kuat secara logis; not sound).
  • Contoh 9: Semua binatang yang dapat terbang; Gajah adalah binatang; Konklusi: Gajah dapat terbang (valid tetapi tidak sound).

Validitas dan Kebenaran Konsep

  • Validitas argumen: premis-premis diikuti oleh konklusi yang benar secara logis jika premis benar.
  • Validitas logis: hubungan antara premis-premis dengan konklusi menggunakan aturan logika; konklusi harus berasal dari premis-premis.
  • Argumen dikatakan kuat secara logis jika valid dan premis-premisnya benar.

Ringkasan Penutup

  • Logika Informatika mengintegrasikan prinsip-prinsip logika ke dalam pemodelan bahasa pemrograman, verifikasi program, dan analisis argumen dalam konteks komputasi.
  • Pemahaman tentang proposisi, kalimat terbuka, logika proposisional, logika predikat, dan argumen menjadi fondasi analisis formal dalam rekayasa perangkat lunak, AI, dan teori komputasi.

Catatan penting (Referensi konsep dalam materi)

  • Derivasi: pembuktian validitas argumen dari premis-premis yang benar.
  • Deduksi vs Induksi: deduktif (premis benar -> konklusi benar) vs induktif (menarik kesimpulan umum dari observasi).
  • Kuantor: universal (all) dan eksistensial (some).
  • Bentuk normal: representasi standar bentuk logika.
  • Ekivalensi logis: hubungan antara dua pernyataan yang selalu memiliki nilai kebenaran yang sama.
  • Modus ponens, modus tollens: aturan inferensi dasar (disingkat sebagai alat dalam pembuktian logika).
  • Gerbang logika: dasar arsitektur komputer dan pemodelan logika digital.
  • Logika fuzzy: perkembangan lanjutan dalam logika yang tidak hanya biner true/false.