1 / 22

LOGIKA INFORMATIKA

LOGIKA INFORMATIKA. Pengantar Logika Predikat. Argumen yang tidak bisa diselesaikan dengan logika proposisional diselesaikan dengan logika predikat, terutama pernyataan dalam argumen yang memiliki kata “Semua”, “Ada”, dan arti lain yang mirip.

crevan
Download Presentation

LOGIKA INFORMATIKA

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. LOGIKA INFORMATIKA

  2. Pengantar Logika Predikat

  3. Argumen yang tidak bisa diselesaikan dengan logika proposisional diselesaikan dengan logika predikat, terutama pernyataan dalam argumen yang memiliki kata “Semua”, “Ada”, dan arti lain yang mirip

  4. Dengan logika proposisional, struktur logika kalimat tersebut tidak terlihat

  5. Harus ada mekanisme yang dapat menjelaskan mengenai predikat-predikat, hubungan logika dan ketergantungan yang dimiliki oleh kalimat tersebut secara bersamaan

  6. Contoh : Setiap siswa berusia lebih muda daripada beberapa instruktur

  7. Dalam logika predikat : spesifik S(andi) : Andi adalah seorang siswa I(paul) : Paul adalah seorang instruktur M(andi,paul) : Andi berusia lebih muda daripada Paul

  8. Dalam logika predikat : general S(x) : x adalah seorang siswa I(y) : y adalah seorang instruktur M(x,y) : x berusia lebih muda daripada y

  9. Untuk menjelaskan kata setiap dan beberapa digunakan kuantor :

  10. Hasil dalam logika predikat : Dibaca : Untuk setiap x, jika x adalah seorang siswa, maka terdapat beberapa y yang adalah seorang instruktur dimana x lebih muda daripada y

  11. Contoh : Tidak semua burung bisa terbang

  12. Dalam logika predikat : B(x) : x adalah seekor burung T(x) : x bisa terbang

  13. Hasil dalam logika predikat : Atau

  14. Jika pernyataan memakai kuantor universal maka digunakan perangkai implikasi • Jika pernyataan memakai kuantor eksistensial maka digunakan perangkai konjungsi

  15. Negasi Kuantor :

  16. Pembuktian Logika Predikat

  17. Universal Instantiation (UI):

  18. CONTOH : Semua gajah mempunyai belalai Dumbo seekor gajah Dengan demikian, Dumbo mempunyai belalai

  19. Premis 1 Premis 2 Kesimpulan Pembuktian : UI Premis 1 MP (UI Premis 1, Premis 2) Terbukti

  20. Universal Generalization (UG):

  21. Existential Instantiation (EI):

  22. Eksistensial Generalization (EG):

More Related