LOGIKA INFORMATIKA.

Presentasi berjudul: "LOGIKA INFORMATIKA."— Transcript presentasi:

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 Setiap siswa berusia lebih muda daripada beberapa instruktur
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 Tidak semua burung bisa terbang
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 Terbukti 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):