LOGIKA PREDIKAT


1. Pengertian Logika Predikat

https://images.openai.com/static-rsc-4/jsN2JzDFgxGDGLL_3HOZ7EowwGzqmcgAcngBwKclyuKzicQ-i-GYBz3J0L7CGYWt_86n0uPoIcQqgqVnZUGkypvIB7yS1tketOI5p_Nv6gCj1spGoV5YaIVdmz0LyKd4eZZXYuJhsSJyrhoB2gRwBBYgxwKH_sQ-dUbG2JfvQqEL4cNrgir9OZxpPzNJkgtk?purpose=fullsize
https://images.openai.com/static-rsc-4/iOIjDSpW0mzSQFrOQ3YsVH_Kf4JSgxiIpx4o1QCF0NPncFr0-KP5Psi-ksi5lDbdIW2yZEjTzQRoVbjZ0G3NAP3pmj8wLk6VnGQpE0UeRxhkuXgJY9sARaIzjbbrDRggPLaVZn7h378YQxDq7IHfBxwDOyKLvYdgrK7P3G8b37DidsuQtYrdJTE181gMQHPW?purpose=fullsize
https://images.openai.com/static-rsc-4/AwzQpw59DJmV9wc9ROuODpdSaKHsEd8OkuZ691b3km5FJmkvOdK41tGz6QaStVFGOnz3pvsuZuM4T-hKhK_fyW5tDzY98aJacS7RRyd8R5FoSfAeEbubhfufbQSe_Rqc9DKrBFMNy6x3udb6sEkyVS8iewbZ2-m-MtoV0P0D6r7V0G3J5Egq1MApFs5JxBhS?purpose=fullsize

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

https://images.openai.com/static-rsc-4/kCXpJyhuoPy97eibWnavTjYk40kPJpmeqadxq1X-aj-Fvjo0xsP4YN9g830EUzSXFdYRZ2yf1omnzX0nIO9tF7z_7y0yTP8Vr4wsI0kTdOdHZLpEsw0LOoz6dLlNkbE4f6tLO5g8kPZLSVPojWbe0J9Hd1IjJRNLSwTbPUNhPZxBS4GFV5i4HNk-LTTfnV5z?purpose=fullsize
https://images.openai.com/static-rsc-4/KE-AzYdSASfIHQUhuf836OwJevf5efkKiEXJmwu55H5tSACZX_DxmpRD_XFeuxlxu0Y2yuufivi-qOCUjFi5vJRT1urUvhXHXeFb-UAgBS54qDlWBP67NJUAvvMxvIXJcf9ZHTztgltBsLAofNb0FWLiM8maXW1pBzJrHM-TsR6-OUzrk-gews4xJsbFFwyz?purpose=fullsize
https://images.openai.com/static-rsc-4/0KYv8WPhBACV_3yW_0ZbHHw5soiyPXpStekxvRPtX17aKIBeJzwKQR-91AYMAqDRG2ImVzAqviuovvfoSSwtEEExFszqLPE_Prkm604YpOwLXJE3WDOlT6EKUX7KZlCQSuEk3BMDWBj6wOpp9pTSHzcPsMLyUJqRBMNnZItlNa7Pwc7JZ0pDWOehENIrp7wK?purpose=fullsize

7

πŸ“– Deskripsi

Perbandingan dua jenis logika.

🧠 Narasi Penjelasan

πŸ“Š Tabel Perbandingan:

AspekProposisionalPredikat
VariabelTidak adaAda
KompleksitasSederhanaLebih kompleks
EkspresiTerbatasLebih fleksibel

πŸ‘‰ Logika predikat lebih kuat.


3. Komponen Logika Predikat

https://images.openai.com/static-rsc-4/jsN2JzDFgxGDGLL_3HOZ7EowwGzqmcgAcngBwKclyuKzicQ-i-GYBz3J0L7CGYWt_86n0uPoIcQqgqVnZUGkypvIB7yS1tketOI5p_Nv6gCj1spGoV5YaIVdmz0LyKd4eZZXYuJhsSJyrhoB2gRwBBYgxwKH_sQ-dUbG2JfvQqEL4cNrgir9OZxpPzNJkgtk?purpose=fullsize
https://images.openai.com/static-rsc-4/nPqMzOPMn8XnNbC4uGVgWnvtLfnLLDFzBDXQ6OwWS8aqFsfLKKgU3WokzoX_3BF3NhViVkGCt4j2jB-TjJeVOpc6lNtxFDNBPZT_nO3qwVShg5HPHsesehT92X1qXYXN9rzIC050eV9a_4YDf1wUkKIf6Rq4LEzxMhBCpvLz-EJebjeGDsRYArBorqNi-Hcv?purpose=fullsize
https://images.openai.com/static-rsc-4/tkScaaoIit8Utp3Wvq3nJV5-lCqe6WYBbP-BQifxuQbbae9MzJF5vNI8TjzDKU8sFXWi3c4s6w_AV5upYMwS72r0otNjRjPsA5VycxbQBNj660fKBHWmBEAoZJPlTG5U_4oIM2o5cjg4WE6JfV7J92kFBhr1fDo9mAZlh67QWpNcfx4wpnj_73ZdSFWda1MS?purpose=fullsize

9

πŸ“– Deskripsi

Elemen dasar dalam logika predikat.

🧠 Narasi Penjelasan

Komponen:

  • Variabel (x, y)
  • Konstanta
  • Predikat
  • Fungsi

πŸ‘‰ Semua digunakan untuk membentuk pernyataan.


4. Predikat

https://images.openai.com/static-rsc-4/2d-XaeEvIIhk3Z_vOPH39DxyyotppJFvFkveZdDDdNzC1RIRA_G7EbXuG5aDL2CJDt82KEiwRjSOQIpQrtrwPTw9eb_EejspQPyObsIXH2-dhj2p6g0URtFfKn3FdffcJyIm0aL2xcMI3cOSOJv84AYE--e9Kpqo-zmTM_fxpqJS_Eg-1mARaOTYH10i3nBm?purpose=fullsize
https://images.openai.com/static-rsc-4/3HwhmOG7AxN-1xg3m6Mz7xhoDFRDWvMDXNkr3JkxrWC2NeXJxS18yS-l94VviF_GNSHFrZ_k0sPFUd335IPkbQFrdhbpWpQigymVwKIvW1BPW4WbqDzAucHr6aMTIRg8C4Vo_b-Xw33G1LM2lwWDEHfFYILuTIJ0w8rn8Jm9r5dASveIbadbQoQSTfghilbo?purpose=fullsize
https://images.openai.com/static-rsc-4/RkiD4Y2GKkYyXBVVxkNYy9Pp-F01WHyeUL45OyP0eId-SOkkoGoWtaSlDjtO8fgZYHyp46ANBOjZ6IJkM8nvhO29lYT_JpqRg8Iby1lTJWTskA9B1aSLewu5Rh2IGIk3Yvgsy3OsC5Hx118ktk9MRx76Mr08aTlZVwBDOcz3hPYM_MMg4vgFADcXFFdeq7M9?purpose=fullsize

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)

https://images.openai.com/static-rsc-4/jsN2JzDFgxGDGLL_3HOZ7EowwGzqmcgAcngBwKclyuKzicQ-i-GYBz3J0L7CGYWt_86n0uPoIcQqgqVnZUGkypvIB7yS1tketOI5p_Nv6gCj1spGoV5YaIVdmz0LyKd4eZZXYuJhsSJyrhoB2gRwBBYgxwKH_sQ-dUbG2JfvQqEL4cNrgir9OZxpPzNJkgtk?purpose=fullsize
https://images.openai.com/static-rsc-4/mIAJzMkkhT0F9Lc0x7N8zrVtgonUdQYPe4PQCHgDMMuZ12NvV4EPVQ2a1QkSWHOKBOT37fq1pQ-lX5uiLVupG6FItt4oOXZEtSmqJtcpJzfJVf8EegL2GZeLlAW95WtImOgrRD6IixdC9KKVa0Ud8LZqulL16ZV417KxfSobB3TMBFGrrmGhkC5fAt5cPihp?purpose=fullsize
https://images.openai.com/static-rsc-4/xinJCP7apeH1DsyzTrIZf7RNwFos9kiYjitiSrdebPgtSWpzQhoVqC6GQ5pPO4uzQJA81LF9gBFOJzTPHGhOIIWD8sN0iUjdp-7r4ZpZy2Fm79qg4yydI1-_uK7XmQjWTiSatosyTvvY6Zr8mbAWnhJ0ptTRu1-53mzmkhUwskWqpzThhlmSTskESC3WqyQy?purpose=fullsize

7

πŸ“– Deskripsi

Kumpulan nilai yang mungkin untuk variabel.

🧠 Narasi Penjelasan

Contoh:

  • Domain: Mahasiswa
  • Domain: Bilangan

πŸ‘‰ Domain menentukan makna predikat.


6. Kuantor Universal (βˆ€)

https://images.openai.com/static-rsc-4/OYRxIXrCbWh6jelv0P5L2v5LsKHAWrbeLt9jd5oP-NrUW9mgovIMd81DJ2UrT7jg5mD4WUZ_sgddJvy3HMsivE1PHmlO0xNSIOsZeWIFMfC5ENuiyd4KKkcpEYf5bq0tl21PRcfjKGsEf5V4gmrvGidY7OV80oC_Vh0-8XfEhi4K8XzYayJ2ysB67gbaxhYQ?purpose=fullsize
https://images.openai.com/static-rsc-4/2d-XaeEvIIhk3Z_vOPH39DxyyotppJFvFkveZdDDdNzC1RIRA_G7EbXuG5aDL2CJDt82KEiwRjSOQIpQrtrwPTw9eb_EejspQPyObsIXH2-dhj2p6g0URtFfKn3FdffcJyIm0aL2xcMI3cOSOJv84AYE--e9Kpqo-zmTM_fxpqJS_Eg-1mARaOTYH10i3nBm?purpose=fullsize
https://images.openai.com/static-rsc-4/ly8ibX1yluwVzpEJ7eGTTHNfLN3rruGhV2yEmiekFGq_TgQ1xXr9SNW-tMAWG2QUuNzAxX6QYaSqC-yW5Vsx4cHM6Xc4VN1EFRyQU0ZGsB37nAvBX_X0KZNDQ6A5FgqsFOjFLSOP_wuFcFiusndrUhwjCd89g_E5PnpPc1wgnE0b0wg5OJC0jPvDLG5qnrPE?purpose=fullsize

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 (βˆƒ)

https://images.openai.com/static-rsc-4/2d-XaeEvIIhk3Z_vOPH39DxyyotppJFvFkveZdDDdNzC1RIRA_G7EbXuG5aDL2CJDt82KEiwRjSOQIpQrtrwPTw9eb_EejspQPyObsIXH2-dhj2p6g0URtFfKn3FdffcJyIm0aL2xcMI3cOSOJv84AYE--e9Kpqo-zmTM_fxpqJS_Eg-1mARaOTYH10i3nBm?purpose=fullsize
https://images.openai.com/static-rsc-4/HLARiAzvDt8Da83z2r0fLWw4i0fNIrdfCAF6ONkjzLVmZk66Uui8tXsWhSbvUsJea1kXEpcf02bBhM_xUXuQ1wGb_EagD491itsBzUX8aUIR5prOqXISNFn3bKgHtvskx-z-ZvJptxq6biPowzoL2bEvAISk9SN_aUEsxddOmtrDTYFMIcDbjK8SMvytiU4a?purpose=fullsize
https://images.openai.com/static-rsc-4/bTakkxwoMqRmfzcEM73JUKn4ge3M3kRx_j49bl-xW9Xk4h_WrxdD9lb6-Vpfjvz13TiiSJ4UH1oIT9urOHwpc2zFPezs7aJ-kJULH0cDXjZnCBpEUwgnv06JmDiPjcgLc2fLRYjHD9lVe5ZR5MyGPxbQUHI1QLEB5_TNaOEuReruluMI2RnEYx3Mvk1x4V-i?purpose=fullsize

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

https://images.openai.com/static-rsc-4/HLARiAzvDt8Da83z2r0fLWw4i0fNIrdfCAF6ONkjzLVmZk66Uui8tXsWhSbvUsJea1kXEpcf02bBhM_xUXuQ1wGb_EagD491itsBzUX8aUIR5prOqXISNFn3bKgHtvskx-z-ZvJptxq6biPowzoL2bEvAISk9SN_aUEsxddOmtrDTYFMIcDbjK8SMvytiU4a?purpose=fullsize
https://images.openai.com/static-rsc-4/0mx-QMZIkKDUtRKp9Mf8z9xsSBWiGLktLb5OeRYczHIGUBQjr6sbg7Htj1F1mVnJinTGe241M_-4YVPSVseXw4DnLfgyj7YEnNN2OQABqMcQiafSOdZqjwW3kK7tZ3U_1oBZeSYbHXAP8ekWxVveU5SN1tz8zTORAciDTf7u_7vLcKmVAsUu3wjV-F1zCyuA?purpose=fullsize
https://images.openai.com/static-rsc-4/Vbs0P0cZBzvCZalQC6Rd77YlM_s69lzJULznWfBMu-jpO6XRl0gyUNUbA-t7hounATfaVxjgJRN_EFJCeRcC8aRETJz6k--uOadIYGSjjwghJAuEKrJs6-1rhbQ26PHV6SVOm5wWcxwRA0LHUEZMbxcyLlRmHxQFcsBgBMykyGWkoKpZ1T1g4pA71hdOx0SH?purpose=fullsize

6

πŸ“– Deskripsi

Mengubah makna kuantor.

🧠 Narasi Penjelasan

πŸ“Š Aturan:

BentukNegasi
Β¬βˆ€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

https://images.openai.com/static-rsc-4/jsN2JzDFgxGDGLL_3HOZ7EowwGzqmcgAcngBwKclyuKzicQ-i-GYBz3J0L7CGYWt_86n0uPoIcQqgqVnZUGkypvIB7yS1tketOI5p_Nv6gCj1spGoV5YaIVdmz0LyKd4eZZXYuJhsSJyrhoB2gRwBBYgxwKH_sQ-dUbG2JfvQqEL4cNrgir9OZxpPzNJkgtk?purpose=fullsize
https://images.openai.com/static-rsc-4/hN3G9ggnZWHZMkKDGUZHf-4s6Xy2YuOAeUJGaW-6R5aIkPrA4oA3z3ViZjY_A90o7u_IOakHwDX8THJVkSxJSYsEf7X4OYwRAdsnkLWPk1S62mizp4F67Vy8fljGeCbsvaCKV-5QZdJNNB_5vIqnGwQ9A8k5R8y3xZqbfE2frqgLtLzqur0VmslWTO0JJPYV?purpose=fullsize
https://images.openai.com/static-rsc-4/qAClc1vKwawekc15-IqqCTn_ui4KslYDAuCAn7QMR0DuJkC2de4US_AGeZqLMGzEoEkQAAYyymgw9esDAEsOL9npGnR-iclvKTyymcQ4_Di35RMn8ord_aq_vD8mRIyCEXOg5KwzWm9_fzbFJDHc5jLNmkd_-X9VUT3-3fc4JeVR-9QpTctYN4mQLEOHnjgd?purpose=fullsize

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

https://images.openai.com/static-rsc-4/2d-XaeEvIIhk3Z_vOPH39DxyyotppJFvFkveZdDDdNzC1RIRA_G7EbXuG5aDL2CJDt82KEiwRjSOQIpQrtrwPTw9eb_EejspQPyObsIXH2-dhj2p6g0URtFfKn3FdffcJyIm0aL2xcMI3cOSOJv84AYE--e9Kpqo-zmTM_fxpqJS_Eg-1mARaOTYH10i3nBm?purpose=fullsize
https://images.openai.com/static-rsc-4/0b8rPhOvgXk6N_D2QPjcpYR34AGC6Z29n1yvd3B0FCgmoAHf1OpX_zvoBTgZLHEX0MCyB3O-nDhVaVCvd8r-a1i5kDLiuMsfAKL52OVKzmVt5RKFMuK1eS6qa2KNthp8_kbjC_ZVHS7pyWX2ciFNMZtdz_hLvLf8K6ombtZQSpuBPbKr1m5T0VyT3Fv23jHR?purpose=fullsize
https://images.openai.com/static-rsc-4/KE-AzYdSASfIHQUhuf836OwJevf5efkKiEXJmwu55H5tSACZX_DxmpRD_XFeuxlxu0Y2yuufivi-qOCUjFi5vJRT1urUvhXHXeFb-UAgBS54qDlWBP67NJUAvvMxvIXJcf9ZHTztgltBsLAofNb0FWLiM8maXW1pBzJrHM-TsR6-OUzrk-gews4xJsbFFwyz?purpose=fullsize

8

πŸ“– Deskripsi

Digunakan dalam berbagai bidang.

🧠 Narasi Penjelasan

  • Database (SQL)
  • Artificial Intelligence
  • Sistem pakar

πŸ‘‰ Dasar sistem cerdas.


12. Perbandingan Kuantor

πŸ“Š Tabel:

KuantorArtiContoh
βˆ€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

  1. Apa perbedaan proposisi dan predikat?
  2. Jelaskan βˆ€ dan βˆƒ!
  3. Berikan contoh logika predikat!

πŸ“ Tugas

  • Buat 3 contoh predikat
  • Tentukan domain
  • Evaluasi hasilnya