Logika informatika 6.

Slides:



Advertisements
Presentasi serupa
Oleh: Sanusi, S.Ag Guru Matematika SMP Negeri 7 Yogyakarta
Advertisements

Logika.
Kalimat Berkuantor.
Dasar Logika Matematika
PREDIKAT dan FUNGSI PROPOSISIONAL
KUANTOR DAN TEORI KUANTIFIKASI
ILMU KOM PUTER PRODI ILKOMP UGM GP DALIYO Daliyo.
1.2. Logika Predikat Pada pembahasan pasal sebelumnya kita telah
PENALARAN Pengertian Penalaran merupakan suatu proses berpikir manusia untuk menghubung-hubungkan dat atau fakta yang ada sehingga sampai pada suatu kesimpulan.
Kalimat Berkuantor Matematika Diskrit.
Proposisi. Pengantar  Pokok bahasan logika, atau objek dari logika adalah pernyataan-pernyataan atau kalimat yang memiliki arti tertentu dan memiliki.
LOGIKA INFORMATIKA Pengantar.
Ingkaran Kalimat Berkuantor
Matematika Informatika 1
TOPIK 1 LOGIKA.
1.2. Logika Predikat Pada pembahasan pasal sebelumnya kita telah
Bahan kuliah IF2120 Matematika Diskrit
KALKULUS PREDIKAT/ KALIMAT BERKUANTOR
Logika informatika 5.
Bab V : Logika Order Pertama
Logika informatika 6.
KUANTOR DAN TEORI KUANTIFIKASI
Pengantar Kuliah Bahasa Indonesia
Pengantar Kuliah Bahasa Indonesia
Logika informatika 4.
REPRESENTASI PENGETAHUAN DENGAN TEKNIK LOGIKA
BENTUK KLAUSA DAN PRINSIP RESOLUSI UNTUK LOGIKA PREDIKAT
Bab VI : Inferensi pada FOL
DPH1A3-Logika Matematika
Logika informatika 1.
Proposisi.
Bab IV : Relational Logic
REPRESENTASI PENGETAHUAN
KALIMAT BERKUANTOR.
Pendahuluan (Himpunan dan Sub himpunan)
Bahan kuliah Matematika Diskrit
COUNTER EXAMPLE & KUANTOR DUA-VARIABEL ATAU LEBIH
KALKULUS PREDIKAT/ KALIMAT BERKUANTOR
TOPIK 1 LOGIKA M. A. INEKE PAKERENG, M.KOM.
F. Metode Inferensi Teknik untuk mendapatkan konklusi yang valid berdasarkan premise yang ada tanpa menggunakan Tabel Kebenaran Ada beberapa Metode antara.
Logika informatika 5.
Logika informatika 7.
Logika Matematika Pernyataan.
Latihan Soal Logika Matematika
Logika informatika soal pengayaan 2
Logika matematika Kel. 4 Nama Kelompok: Naptia eka wulandari
Logika informatika 6.
LOGIKA INFORMATIKA Kuantor.
IF34220 Matematika Diskrit Nelly Indriani W. S.Si., M.T
KALKULUS PREDIKAT/ KALIMAT BERKUANTOR
Reasoning : Propositional Logic ( Predikat Calculus )
Logika Matematika Fadjar Shadiq, M.App.Sc
QUANTIFIER (KUANTOR) dan Induksi matematika
Mata Kuliah: MATEMATIKA DISKRIT Harni Kusniyati
KALKULUS PREDIKAT/ KALIMAT BERKUANTOR
Predicate & quantifier
logika matematika Standar Kompetensi:
CCM110 MATEMATIKA DISKRIT Pertemuan ke 3-4, Aljabar Proposisi
LOGIKA MATEMATIKA Pertemuan I Apaan tuh?.
LOGIKA MATEMATIKA Disusun Oleh : 2.Emi Suryani ( ) 5A4
Representasi Pengetahuan Logika Predikat
MATEMATIKA FAKULTAS SAINS DAN TEKNOLOGI UNIVESITAS JAMBI 2017
ASESMEN PEMAHAMAN KONSEP MATEMATIKA
LOGIKA MATEMATIS Program Studi Teknik Informatika
Logika Matematika Himpunan Sri Nurhayati.
Dasar Logika Matematika
LOGIKA INFORMATIKA Pengantar.
Quantifier (Kuantor) dan Induksi matematika
1 Himpunan Bahan kuliah Matematika Diskrit. 2 Definisi Himpunan (set) adalah kumpulan objek-objek yang berbeda. Objek di dalam himpunan disebut elemen,
QUANTIFIER (KUANTOR) dan Induksi matematika
Transcript presentasi:

Logika informatika 6

Logika relasional : kuantor fol

Proposisi berkuantor Bandingkan proposisi berikut : 1. Budi adalah mahasiswa 2. Semua manusia adalah mahluk hidup 3. Beberapa binatang adalah hewan menyusui

Proposisi berkuantor 1. Budi adalah mahasiswa dapat ditulis : mahasiswa(Budi)

Proposisi berkuantor 2. Semua manusia adalah mahluk hidup 3. Beberapa binatang adalah hewan menyusui bagaimana ? Proposisi seperti ini dikatakan bersifat umum

Proposisi berkuantor Proposisi yang bersifat umum dapat ditulis dalam Logika Relasional dengan tambahan KUANTOR, yaitu : 1. Kuantor Umum  (Universal Quantifier) 2. Kuantor Khusus  (Existential Quantifier)

Proposisi berkuantor Proposisi yang bersifat umum, yaitu terdapat kata : Semua, Setiap ciri dari UQ Beberapa, Paling sedikit, ada ciri dari EQ maka proposisi tersebut melibatkan kuantor

Proposisi berkuantor Ada tiga Istilah Natural : proposisi yang ditulis secara umum Literal : proposisi yang artinya menjelaskan dari Natural Logika Relasional (FoL) : penulisanya dengan simbol

Proposisi berkuantor Contoh 1 proposisi Semua mahasiswa adalah entelektual Literalnya : untuk setiap objek dimana objek itu adalah mahasiswa maka objek itu adalah intelektual

FoL jika kata objek dan kata objek itu diganti variabel X, maka : untuk setiap X dimana X adalah mahasiswa maka X adalah intelektual

FoL untuk setiap X dimana X adalah mahasiswa maka X adalah intelektual untuk setiap X = x X adalah mahasiswa = mhs(X) X adalah intelektual = intlktl(X) x(mhs(x)  intlkl(x))

FoL Contoh 2 proposisi Semua bilangan integer mempunyai faktor prima Literalnya : untuk setiap objek dimana objek itu adalah bilangan integer maka objek itu adalah mempunyai faktor prima

FoL jika kata objek dan kata objek itu diganti variabel X, maka : untuk setiap X dimana X adalah bilangan integer maka X adalah mempunyai faktor prima

FoL untuk setiap X dimana X adalah bilangan integer maka X adalah mempunyai faktor prima Jika : untuk setiap X = x X adalah bilangan integer = Int(x) X adalah mempunyai faktor prima = fak_prim(x)

FoL Logika Relasionalnya : x(int(x)  fak_prim(x))

FoL Soal diketahui proposisi 1. Semua guru adalah pendidik 2. Semua penyair adalah sastrawan 3. Semua profesor adalah orang kaya 4. Semua ahli matematika adalah orang yang menarik 5. Semua ilmuwan adalah peneliti

FoL Contoh 2 proposisi Beberapa mahasiswa adalah entelektual Literalnya ? :

FoL Literalnya ? : Paling sedikit ada satu objek dimana objek itu mahasiswa dan objek itu intelektual Jika kata objek dan objek itu diganti variabel X

FoL Literalnya : Paling sedikit ada satu X dimana X mahasiswa dan X intelektual x(mahasiswa(x)  intelektual(x))

FoL Soal diketahui proposisi 1. Beberapa guru adalah pengusaha 2. Beberapa sastrawan adalah penyair 3. Beberapa profesor adalah seorang menteri 4. Beberapa ahli matematika adalah ahli komputer 5. Beberapa ilmuwan adalah bukan peneliti

FoL Contoh 1 - Setiap orang kehilangan uang pada saat nonton bola

FoL Contoh 2 - Setiap kesatria pemberani adalah pahlawan

FoL Contoh 3 - Beberapa filosofer sayang pada semua ahli matematika

FoL Contoh 4 - Setiap orang yang menonton bola kehilangan uang kecuali orang yang cerdik

FoL Contoh 5 - Beberapa filosofer yang bukan ahli matematika sayang pada Alysa

FoL Contoh 6 - Setiap ahli matematika yang sayang pada Alysa adalah seorang filosofer

SLIDE 6 SELESAI