LOGIKA PREDIKAT Teknik Informatika UNIKOM Kalkulus Proposisi Kalimat
![LOGIKA PREDIKAT Teknik Informatika - UNIKOM LOGIKA PREDIKAT Teknik Informatika - UNIKOM](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-1.jpg)
![Kalkulus Proposisi Kalimat pada kalkulus proposisi tidak dapat menjelaskan konsep objek dan relasi antar Kalkulus Proposisi Kalimat pada kalkulus proposisi tidak dapat menjelaskan konsep objek dan relasi antar](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-2.jpg)
![ILUSTRASI Pernyataan: Batuan di Mars berwarna putih atau Batuan di Mars tidak berwarna putih ILUSTRASI Pernyataan: Batuan di Mars berwarna putih atau Batuan di Mars tidak berwarna putih](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-3.jpg)
![PENDAHULUAN ▷ Logika proposisional sudah cukup untuk menangani pernyataan-pernyataan yang sederhana. ▷ Pernyataan yang PENDAHULUAN ▷ Logika proposisional sudah cukup untuk menangani pernyataan-pernyataan yang sederhana. ▷ Pernyataan yang](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-4.jpg)
![PENDAHULUAN ▷ Bila menginginkan diselesaikan dengan logika proposisi, pernyataan-pernyataannya harus dirubah menjadi A→B =Jika PENDAHULUAN ▷ Bila menginginkan diselesaikan dengan logika proposisi, pernyataan-pernyataannya harus dirubah menjadi A→B =Jika](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-5.jpg)
![LOGIKA PREDIKAT “ pengembangan dari logika proposisional dengan masalah pengkuantoran dan menambah istilah-istilah baru. LOGIKA PREDIKAT “ pengembangan dari logika proposisional dengan masalah pengkuantoran dan menambah istilah-istilah baru.](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-6.jpg)
![Istilah Dalam Logika Predikat ▷Term : kata benda atau subjek ▷Predikat : properti dari Istilah Dalam Logika Predikat ▷Term : kata benda atau subjek ▷Predikat : properti dari](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-7.jpg)
![Predikat Misalkan x > 2015 adalah suatu pernyataan (statement), tetapi bukan proposisi. • variabel Predikat Misalkan x > 2015 adalah suatu pernyataan (statement), tetapi bukan proposisi. • variabel](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-8.jpg)
![Predikat (lanjutan) P (x) tidak memiliki nilai kebenaran hingga x diganti dengan suatu elemen Predikat (lanjutan) P (x) tidak memiliki nilai kebenaran hingga x diganti dengan suatu elemen](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-9.jpg)
![Dengan logika predikat, proposisi-proposisi atom yang serupa memiliki struktur sama. Misalkan proposisi Budi adalah Dengan logika predikat, proposisi-proposisi atom yang serupa memiliki struktur sama. Misalkan proposisi Budi adalah](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-10.jpg)
![](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-11.jpg)
![Kuantor § Universal: yang selalu bernilai benar (∀). § Eksistensial: bisa bernilai benar atau Kuantor § Universal: yang selalu bernilai benar (∀). § Eksistensial: bisa bernilai benar atau](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-12.jpg)
![Contoh Kuantor Universal Semua gajah mempunyai belalai ▷G(x) = gajah ▷B(x) = belalai Bentuk Contoh Kuantor Universal Semua gajah mempunyai belalai ▷G(x) = gajah ▷B(x) = belalai Bentuk](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-13.jpg)
![Contoh Kuantor Eksistensial Ada bilangan prima yang bernilai genap. ▷P(x) = bilangan prima ▷G(x) Contoh Kuantor Eksistensial Ada bilangan prima yang bernilai genap. ▷P(x) = bilangan prima ▷G(x)](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-14.jpg)
![Nilai Kebenaran Predikat dengan Kuantor Nilai Kebenaran Predikat dengan Kuantor](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-15.jpg)
![Mengubah proposisi ke predikat Contoh : ada seseorang yang mengenal setiap orang a. Kenali Mengubah proposisi ke predikat Contoh : ada seseorang yang mengenal setiap orang a. Kenali](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-16.jpg)
![Mengubah proposisi ke predikat Langkah 1: ubah “x kenal y” menjadi K(x, y) Langkah Mengubah proposisi ke predikat Langkah 1: ubah “x kenal y” menjadi K(x, y) Langkah](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-17.jpg)
![Kalkulus Predikat - Variabel Bebas/Terikat 18 ▷Suatu variabel dikatakan terikat dalam sebuah ekspresi jika Kalkulus Predikat - Variabel Bebas/Terikat 18 ▷Suatu variabel dikatakan terikat dalam sebuah ekspresi jika](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-18.jpg)
![Kalkulus Predikat - Variabel Bebas/Terikat Kemunculan variabel terikat dipengaruhi oleh kemunculan kuantifier yang paling Kalkulus Predikat - Variabel Bebas/Terikat Kemunculan variabel terikat dipengaruhi oleh kemunculan kuantifier yang paling](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-19.jpg)
![](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-20.jpg)
![Kalkulus Predikat - Kalimat Tertutup 21 Sebuah kalimat dikatakan tertutup jika tidak mempunyai variabel-variabel Kalkulus Predikat - Kalimat Tertutup 21 Sebuah kalimat dikatakan tertutup jika tidak mempunyai variabel-variabel](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-21.jpg)
![Representasi Kalimat Contoh representasi bahasa alami ke dalam Kalkulus Predikat Ada apel berwarna merah Representasi Kalimat Contoh representasi bahasa alami ke dalam Kalkulus Predikat Ada apel berwarna merah](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-22.jpg)
![Representasi Kalimat Ani dicintai banyak orang (FOR ALL x) LOVES(x, Ani) Semua Apel berwarna Representasi Kalimat Ani dicintai banyak orang (FOR ALL x) LOVES(x, Ani) Semua Apel berwarna](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-23.jpg)
![Latihan-Representasi Kalimat 1. 2. 3. 4. Tidak ada gading yang tidak retak Ada gajah Latihan-Representasi Kalimat 1. 2. 3. 4. Tidak ada gading yang tidak retak Ada gajah](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-24.jpg)
![Kalkulus Predikat-Representasi Kalimat Tidak ada gading yang tidak retak NOT ( x) [Gading(x) AND Kalkulus Predikat-Representasi Kalimat Tidak ada gading yang tidak retak NOT ( x) [Gading(x) AND](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-25.jpg)
![Kalkulus Predikat - Representasi Kalimat Barang siapa meminjam barang orang lain dan tidak mengembalikannya Kalkulus Predikat - Representasi Kalimat Barang siapa meminjam barang orang lain dan tidak mengembalikannya](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-26.jpg)
![](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-27.jpg)
![LATIHAN : Ubah dalam bentuk logika predikat 1. Jika Siti mirip Dewi dan Dewi LATIHAN : Ubah dalam bentuk logika predikat 1. Jika Siti mirip Dewi dan Dewi](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-28.jpg)
![Ubahlah pernyataan kuantor-kuantor berikut kedalam bahasa Indonesia jika B(x) adalah pernyataan “x belajar lima Ubahlah pernyataan kuantor-kuantor berikut kedalam bahasa Indonesia jika B(x) adalah pernyataan “x belajar lima](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-29.jpg)
- Slides: 29
![LOGIKA PREDIKAT Teknik Informatika UNIKOM LOGIKA PREDIKAT Teknik Informatika - UNIKOM](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-1.jpg)
LOGIKA PREDIKAT Teknik Informatika - UNIKOM
![Kalkulus Proposisi Kalimat pada kalkulus proposisi tidak dapat menjelaskan konsep objek dan relasi antar Kalkulus Proposisi Kalimat pada kalkulus proposisi tidak dapat menjelaskan konsep objek dan relasi antar](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-2.jpg)
Kalkulus Proposisi Kalimat pada kalkulus proposisi tidak dapat menjelaskan konsep objek dan relasi antar objek atau kuantisasi dari objek. Kalkulus Predikat Menangani kelemahan kalkulus proposisi dengan menambahkan representasi objek yang memiliki sifat tertentu dan relasi antar objek Kalkulus Predikat-Pendahuluan 2
![ILUSTRASI Pernyataan Batuan di Mars berwarna putih atau Batuan di Mars tidak berwarna putih ILUSTRASI Pernyataan: Batuan di Mars berwarna putih atau Batuan di Mars tidak berwarna putih](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-3.jpg)
ILUSTRASI Pernyataan: Batuan di Mars berwarna putih atau Batuan di Mars tidak berwarna putih Dengan aturan kalkulus proposisi Skema kalimat menjadi (p or not p) Sedangkan, pernyataan : Ada batuan di Mars berwarna putih atau Semua batuan di Mars berwarna putih tidak dapat dibentuk menjadi skema kalimat kalkulus proposisi. 3
![PENDAHULUAN Logika proposisional sudah cukup untuk menangani pernyataanpernyataan yang sederhana Pernyataan yang PENDAHULUAN ▷ Logika proposisional sudah cukup untuk menangani pernyataan-pernyataan yang sederhana. ▷ Pernyataan yang](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-4.jpg)
PENDAHULUAN ▷ Logika proposisional sudah cukup untuk menangani pernyataan-pernyataan yang sederhana. ▷ Pernyataan yang mengandung kata, semua, ada atau kata yang lain, tidak bisa diselesaikan. ▷ Untuk pernyataan yang lebih rumit, misal: A=semua mahasiswa pandai. B=Badu seorang mahasiswa. C=Dengan demikian, Badu pasti pandai. bentuk ekspresi logika (A∧B) C
![PENDAHULUAN Bila menginginkan diselesaikan dengan logika proposisi pernyataanpernyataannya harus dirubah menjadi AB Jika PENDAHULUAN ▷ Bila menginginkan diselesaikan dengan logika proposisi, pernyataan-pernyataannya harus dirubah menjadi A→B =Jika](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-5.jpg)
PENDAHULUAN ▷ Bila menginginkan diselesaikan dengan logika proposisi, pernyataan-pernyataannya harus dirubah menjadi A→B =Jika Badu mahasiswa, maka ia pasti pandai. A=Badu seorang mahasiswa. B=Dengan demikian, ia pasti pandai ((A→B)∧A)→B
![LOGIKA PREDIKAT pengembangan dari logika proposisional dengan masalah pengkuantoran dan menambah istilahistilah baru LOGIKA PREDIKAT “ pengembangan dari logika proposisional dengan masalah pengkuantoran dan menambah istilah-istilah baru.](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-6.jpg)
LOGIKA PREDIKAT “ pengembangan dari logika proposisional dengan masalah pengkuantoran dan menambah istilah-istilah baru.
![Istilah Dalam Logika Predikat Term kata benda atau subjek Predikat properti dari Istilah Dalam Logika Predikat ▷Term : kata benda atau subjek ▷Predikat : properti dari](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-7.jpg)
Istilah Dalam Logika Predikat ▷Term : kata benda atau subjek ▷Predikat : properti dari term ▷Fungsi proposisional=fungsi Kuantor
![Predikat Misalkan x 2015 adalah suatu pernyataan statement tetapi bukan proposisi variabel Predikat Misalkan x > 2015 adalah suatu pernyataan (statement), tetapi bukan proposisi. • variabel](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-8.jpg)
Predikat Misalkan x > 2015 adalah suatu pernyataan (statement), tetapi bukan proposisi. • variabel x yang berasal dari suatu himpunan tertentu, katakanlah himpunan D; • predikat “lebih dari” 2015 Himpunan D disebut domain atau semesta pembicaraan (universe of discourse). Pernyataan x > 2015 ditulis sebagai P(x), dengan P adalah predikat dan x adalah variabel.
![Predikat lanjutan P x tidak memiliki nilai kebenaran hingga x diganti dengan suatu elemen Predikat (lanjutan) P (x) tidak memiliki nilai kebenaran hingga x diganti dengan suatu elemen](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-9.jpg)
Predikat (lanjutan) P (x) tidak memiliki nilai kebenaran hingga x diganti dengan suatu elemen dari D. Banyaknya variabel dalam suatu predikat dinamakan dengan ariti (arity) dari predikat tersebut. o o Predikat uner adalah predikat dengan ariti Predikat biner adalah predikat dengan ariti 2. Predikat terner adalah predikat dengan ariti 3. Predikat n ari (atau n-ner) adalah predikat dengan ariti n.
![Dengan logika predikat proposisiproposisi atom yang serupa memiliki struktur sama Misalkan proposisi Budi adalah Dengan logika predikat, proposisi-proposisi atom yang serupa memiliki struktur sama. Misalkan proposisi Budi adalah](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-10.jpg)
Dengan logika predikat, proposisi-proposisi atom yang serupa memiliki struktur sama. Misalkan proposisi Budi adalah mahasiswa proposisi tersebut ditulis sebagai Mahasiswa (Budi), Pada proposisi-proposisi ini, § Mahasiswa dinamakan sebagai predikat § Budi dinamakan sebagai konstanta. Dalam hal ini, Mahasiswa adalah predikat dengan ariti 1 dengan domain D dapat berupa semua orang di dunia.
![](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-11.jpg)
![Kuantor Universal yang selalu bernilai benar Eksistensial bisa bernilai benar atau Kuantor § Universal: yang selalu bernilai benar (∀). § Eksistensial: bisa bernilai benar atau](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-12.jpg)
Kuantor § Universal: yang selalu bernilai benar (∀). § Eksistensial: bisa bernilai benar atau salah(∃).
![Contoh Kuantor Universal Semua gajah mempunyai belalai Gx gajah Bx belalai Bentuk Contoh Kuantor Universal Semua gajah mempunyai belalai ▷G(x) = gajah ▷B(x) = belalai Bentuk](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-13.jpg)
Contoh Kuantor Universal Semua gajah mempunyai belalai ▷G(x) = gajah ▷B(x) = belalai Bentuk logika predikat (∀x)(G(x)→B(x)) ▷Dibaca: untuk semua x, jika x seekor gajah, maka x mempunyai belalai.
![Contoh Kuantor Eksistensial Ada bilangan prima yang bernilai genap Px bilangan prima Gx Contoh Kuantor Eksistensial Ada bilangan prima yang bernilai genap. ▷P(x) = bilangan prima ▷G(x)](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-14.jpg)
Contoh Kuantor Eksistensial Ada bilangan prima yang bernilai genap. ▷P(x) = bilangan prima ▷G(x) = bernilai genap Bentuk logika predikat (∃x)(P(x)∧G(x)) Dibaca: ada x, yang x adalah bilangan prima dan x bernilai genap.
![Nilai Kebenaran Predikat dengan Kuantor Nilai Kebenaran Predikat dengan Kuantor](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-15.jpg)
Nilai Kebenaran Predikat dengan Kuantor
![Mengubah proposisi ke predikat Contoh ada seseorang yang mengenal setiap orang a Kenali Mengubah proposisi ke predikat Contoh : ada seseorang yang mengenal setiap orang a. Kenali](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-16.jpg)
Mengubah proposisi ke predikat Contoh : ada seseorang yang mengenal setiap orang a. Kenali term-nya sebagai variabel umum (x dan y) b. Ubah menjadi bahasa alami Ada x, yang x kenal semua y c. Ubah menjadi ekspresi logika seperti pada langkah 1 sd 3
![Mengubah proposisi ke predikat Langkah 1 ubah x kenal y menjadi Kx y Langkah Mengubah proposisi ke predikat Langkah 1: ubah “x kenal y” menjadi K(x, y) Langkah](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-17.jpg)
Mengubah proposisi ke predikat Langkah 1: ubah “x kenal y” menjadi K(x, y) Langkah 2: ubah “x kenal semua y” menjadi ∀y K(x, y) Langkah 3 : ubah “ada x, yang x kenal semua y” menjadi (∃x) (∀y)K(x, y)
![Kalkulus Predikat Variabel BebasTerikat 18 Suatu variabel dikatakan terikat dalam sebuah ekspresi jika Kalkulus Predikat - Variabel Bebas/Terikat 18 ▷Suatu variabel dikatakan terikat dalam sebuah ekspresi jika](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-18.jpg)
Kalkulus Predikat - Variabel Bebas/Terikat 18 ▷Suatu variabel dikatakan terikat dalam sebuah ekspresi jika sedikitnya ada satu kemunculan x terikat pada ekspresi tersebut ▷Sebaliknya dikatakan variabel bebas jika sedikitnya ada satu kemunculan bebas dalam ekspresi tersebut. Contoh : (FOR ALL x) [p(x, y) AND (FOR SOME y) q(y, z, x)] x pada p(x, y) adalah terikat y pada p(x, y) adalah bebas y pada q(y, z) adalah terikat z pada q(y, z) adalah bebas
![Kalkulus Predikat Variabel BebasTerikat Kemunculan variabel terikat dipengaruhi oleh kemunculan kuantifier yang paling Kalkulus Predikat - Variabel Bebas/Terikat Kemunculan variabel terikat dipengaruhi oleh kemunculan kuantifier yang paling](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-19.jpg)
Kalkulus Predikat - Variabel Bebas/Terikat Kemunculan variabel terikat dipengaruhi oleh kemunculan kuantifier yang paling dekat. Contoh : (FOR ALL x) [p(x) OR (FOR SOME x) (FOR ALL y) r(x, y)] variabel x pada p(x) dipengaruhi kuantifier FOR ALL x variabel x pada r(x, y) dipengaruhi kuantifier FOR SOME x Catatan, Perbedaan antara variabel Bebas dan Variabel Terikat adalah Variabel Bebas, Nilainya diberikan oleh interpretasi Variabel Terikat, Nilainya terbatas dari interpretasi yang diberikan 19
![](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-20.jpg)
![Kalkulus Predikat Kalimat Tertutup 21 Sebuah kalimat dikatakan tertutup jika tidak mempunyai variabelvariabel Kalkulus Predikat - Kalimat Tertutup 21 Sebuah kalimat dikatakan tertutup jika tidak mempunyai variabel-variabel](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-21.jpg)
Kalkulus Predikat - Kalimat Tertutup 21 Sebuah kalimat dikatakan tertutup jika tidak mempunyai variabel-variabel bebas Contoh : 1. (FOR ALL x) (FOR SOME y) p(x, y) adalah kalimat tertutup 2. (FOR ALL x) p(x, y) bukan merupakan kalimat tertutup
![Representasi Kalimat Contoh representasi bahasa alami ke dalam Kalkulus Predikat Ada apel berwarna merah Representasi Kalimat Contoh representasi bahasa alami ke dalam Kalkulus Predikat Ada apel berwarna merah](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-22.jpg)
Representasi Kalimat Contoh representasi bahasa alami ke dalam Kalkulus Predikat Ada apel berwarna merah (FOR SOME x) (Apel(x) AND Merah(x)) Semua apel berwarna merah (FOR ALL x) ( IF Apel(x) THEN Merah(x)) Setiap orang mencintai seseorang (FOR ALL x) (FOR SOME y) LOVES(x, y) 22
![Representasi Kalimat Ani dicintai banyak orang FOR ALL x LOVESx Ani Semua Apel berwarna Representasi Kalimat Ani dicintai banyak orang (FOR ALL x) LOVES(x, Ani) Semua Apel berwarna](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-23.jpg)
Representasi Kalimat Ani dicintai banyak orang (FOR ALL x) LOVES(x, Ani) Semua Apel berwarna merah terasa manis (FOR ALL x) (IF (apel(x) AND merah(x)) THEN manis(x)) (FOR ALL x) (IF apel(x) THEN (IF merah(x) THEN manis(x))) Tidak semua apel berwarna merah terasa manis NOT [(FOR ALL x) (IF apel(x) AND merah(x) THEN manis(x)) ] [NOT (FOR ALL x)] [NOT (IF apel(x) AND merah(x) THEN manis(x))] (FOR SOME x) (apel(x) AND merah(x) AND NOT manis(x)) 23
![LatihanRepresentasi Kalimat 1 2 3 4 Tidak ada gading yang tidak retak Ada gajah Latihan-Representasi Kalimat 1. 2. 3. 4. Tidak ada gading yang tidak retak Ada gajah](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-24.jpg)
Latihan-Representasi Kalimat 1. 2. 3. 4. Tidak ada gading yang tidak retak Ada gajah yang jantan dan ada yang betina Tidak semua pegawai negeri itu manusia korup Hanya polisilah yang berwenang mengadakan penyidikan, kalau ada orang yang melanggar hukum 5. Semua orang komunis itu bukan pancasilais. Ada orang komunis yang anggota tentara. Jadi, ada anggota tentara yang bukan pancasilais 6. Barang siapa meminjam barang orang lain dan tidak mengembalikannya adalah penipu. Ada penipu yang begitu lihai, sehingga tidak ketahuan. Kalau orang menipu dan itu tidak ketahuan, ia tidak dapat dihukum. Jadi ada penipu yang tidak dapat dihukum 24
![Kalkulus PredikatRepresentasi Kalimat Tidak ada gading yang tidak retak NOT x Gadingx AND Kalkulus Predikat-Representasi Kalimat Tidak ada gading yang tidak retak NOT ( x) [Gading(x) AND](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-25.jpg)
Kalkulus Predikat-Representasi Kalimat Tidak ada gading yang tidak retak NOT ( x) [Gading(x) AND NOT Retak(x)] Ada gajah yang jantan dan ada yang betina : ( x)[ (Gajah(x) AND Jantan(x)) OR (Gajah(x) AND Betina(x))] Tidak semua pegawai negeri itu manusia korup ( x) [Pegawai_Negeri(x) AND Manusia(x) AND NOT Korup(x)] 25
![Kalkulus Predikat Representasi Kalimat Barang siapa meminjam barang orang lain dan tidak mengembalikannya Kalkulus Predikat - Representasi Kalimat Barang siapa meminjam barang orang lain dan tidak mengembalikannya](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-26.jpg)
Kalkulus Predikat - Representasi Kalimat Barang siapa meminjam barang orang lain dan tidak mengembalikannya adalah penipu. Ada penipu yang begitu lihai, sehingga tidak ketahuan. Kalau orang menipu dan itu tidak ketahuan, ia tidak dapat dihukum. Jadi ada penipu yang tidak dapat dihukum x [IF Meminjam(x) AND NOT Mengembalikan(x) THEN Penipu(x)]; x [Penipu(x) AND Lihai(x) AND NOT Ketahuan(x)] x [IF Penipu(x) AND NOT Ketahuan(x) THEN NOT Hukum(x)] x [Penipu(x) AND Not Hukum(x)] 26
![](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-27.jpg)
![LATIHAN Ubah dalam bentuk logika predikat 1 Jika Siti mirip Dewi dan Dewi LATIHAN : Ubah dalam bentuk logika predikat 1. Jika Siti mirip Dewi dan Dewi](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-28.jpg)
LATIHAN : Ubah dalam bentuk logika predikat 1. Jika Siti mirip Dewi dan Dewi mirip Santi, maka Siti mirip Santi. 2. Amir kenal Bapak Bowo, tetapi Pak Bowo tidak kenal Amir. 3. Tidak semua orang kaya raya. 4. Ada harimau yang hanya memangsa kijang. 5. Hanya polisilah yang berwenang mengadakan penyidikan, kalau ada orang yang melanggar hukum 6. Semua orang asing itu bukan bangsa Indonesia Ada orang asing yang berbahasa Indonesia. Jadi, ada orang asing yang bukan bangsa Indonesia.
![Ubahlah pernyataan kuantorkuantor berikut kedalam bahasa Indonesia jika Bx adalah pernyataan x belajar lima Ubahlah pernyataan kuantor-kuantor berikut kedalam bahasa Indonesia jika B(x) adalah pernyataan “x belajar lima](https://slidetodoc.com/presentation_image_h/9453a55b24da9d7a848852c2a0bd0303/image-29.jpg)
Ubahlah pernyataan kuantor-kuantor berikut kedalam bahasa Indonesia jika B(x) adalah pernyataan “x belajar lima jam per hari selama kuliah” dan x adalah semua mahasiswa. a. b. c. d. (∃x)B(x) (∃x)¬B(x) (∀x) ¬B(x)
Program studi unikom
Predikat adalah
Kalkulus 2 teknik informatika
Contoh disjungsi eksklusif
Hasilnya adalah
Didalam proposisi besyarat, proposisi p disebut, kecuali
Contoh soal proposisi majemuk
Dilema konstruktif
Mksks
Contoh kalkulus predikat
Simbol kuantor
Contoh kalkulus predikat
Ubahlah pernyataan berikut ke dalam bentuk logika predikat
Contoh representasi logika
Contoh kalkulus predikat
Contoh hukum negasi adalah
Soal logika proposisi
Contoh partikular afirmatif
Bojan ribić
John adler unikom
If unikom
Kalimat denotasi kendaraan
Simbol logika informatika
Tautologi, kontradiksi, dan kontingensi
Prinsip resolusi logika informatika
Premis-premis
Set theory in computer science
Bentuk klausa logika informatika
Bentuk klausa logika informatika
Manfaat logika informatika