1. Pengertian Logika Predikat
8
π Deskripsi
Logika Predikat adalah pengembangan dari logika proposisional yang melibatkan variabel, predikat, dan kuantor untuk menyatakan hubungan yang lebih kompleks.
π§ Narasi Penjelasan
Jika logika proposisional hanya menyatakan benar atau salah secara sederhana, maka logika predikat:
- Mampu menyatakan hubungan antar objek
- Lebih fleksibel dan detail
- Digunakan dalam AI dan database
π Disebut juga First-Order Logic (FOL).
2. Perbedaan Logika Proposisional dan Predikat
7
π Deskripsi
Perbandingan dua jenis logika.
π§ Narasi Penjelasan
π Tabel Perbandingan:
| Aspek | Proposisional | Predikat |
|---|---|---|
| Variabel | Tidak ada | Ada |
| Kompleksitas | Sederhana | Lebih kompleks |
| Ekspresi | Terbatas | Lebih fleksibel |
π Logika predikat lebih kuat.
3. Komponen Logika Predikat
9
π Deskripsi
Elemen dasar dalam logika predikat.
π§ Narasi Penjelasan
Komponen:
- Variabel (x, y)
- Konstanta
- Predikat
- Fungsi
π Semua digunakan untuk membentuk pernyataan.
4. Predikat
8
π Deskripsi
Predikat adalah fungsi logika.
π§ Narasi Penjelasan
Contoh:
- P(x): βx adalah mahasiswaβ
Jika x = Ahmad β P(x) = benar
π Predikat menjadi proposisi jika variabel diisi.
5. Domain (Semesta Pembicaraan)
7
π Deskripsi
Kumpulan nilai yang mungkin untuk variabel.
π§ Narasi Penjelasan
Contoh:
- Domain: Mahasiswa
- Domain: Bilangan
π Domain menentukan makna predikat.
6. Kuantor Universal (β)
7
π Deskripsi
Kuantor yang berarti βuntuk semuaβ.
π§ Narasi Penjelasan
Ditulis:
- βx P(x)
Artinya:
- Semua x memenuhi P
Contoh:
- βx (x > 0) β semua bilangan positif
π Digunakan untuk generalisasi.
7. Kuantor Eksistensial (β)
9
π Deskripsi
Kuantor yang berarti βadaβ.
π§ Narasi Penjelasan
Ditulis:
- βx P(x)
Artinya:
- Ada minimal satu x yang memenuhi
Contoh:
- βx (x = 0)
π Digunakan untuk menyatakan keberadaan.
8. Negasi Kuantor
6
π Deskripsi
Mengubah makna kuantor.
π§ Narasi Penjelasan
π Aturan:
| Bentuk | Negasi |
|---|---|
| Β¬βx P(x) | βx Β¬P(x) |
| Β¬βx P(x) | βx Β¬P(x) |
π Sangat penting dalam pembuktian.
9. Kalimat Terbuka dan Tertutup
π Deskripsi
Jenis ekspresi dalam logika predikat.
π§ Narasi Penjelasan
- Kalimat terbuka β ada variabel
- Kalimat tertutup β sudah memiliki nilai kebenaran
π Kuantor membuat kalimat menjadi tertutup.
10. Contoh Evaluasi Logika Predikat
8
π Deskripsi
Cara mengevaluasi predikat.
π§ Narasi Penjelasan
Contoh:
- Domain: {1,2,3}
- P(x): x > 1
Evaluasi:
- P(1) = F
- P(2) = T
- P(3) = T
11. Aplikasi Logika Predikat
8
π Deskripsi
Digunakan dalam berbagai bidang.
π§ Narasi Penjelasan
- Database (SQL)
- Artificial Intelligence
- Sistem pakar
π Dasar sistem cerdas.
12. Perbandingan Kuantor
π Tabel:
| Kuantor | Arti | Contoh |
|---|---|---|
| β | Semua | βx P(x) |
| β | Ada | βx P(x) |
13. Kesalahan Umum
π Deskripsi
Kesalahan dalam logika predikat.
π§ Narasi Penjelasan
- Salah domain
- Salah kuantor
- Salah interpretasi
14. Manfaat Logika Predikat
π Deskripsi
Keuntungan mempelajari.
π§ Narasi Penjelasan
- Representasi pengetahuan
- Analisis sistem
- AI dan database
15. Ringkasan Materi
π Deskripsi
Inti pembelajaran.
π§ Narasi Penjelasan
- Logika predikat lebih kompleks
- Menggunakan variabel dan kuantor
- Digunakan dalam sistem cerdas
16. Kesimpulan
- Logika predikat adalah pengembangan logika proposisional
- Lebih fleksibel dan kuat
- Sangat penting dalam informatika modern
π― Latihan / Diskusi
- Apa perbedaan proposisi dan predikat?
- Jelaskan β dan β!
- Berikan contoh logika predikat!
π Tugas
- Buat 3 contoh predikat
- Tentukan domain
- Evaluasi hasilnya