Pertemuan 1 Logika.

Slides:



Advertisements
Presentasi serupa
LOGIKA Viska Armalina ST., M.Eng.
Advertisements

Kuliah matematika diskrit Program Studi Teknik Elektro
DASAR – DASAR LOGIKA INFORMATIKA
DASAR-DASAR LOGIKA Septi Fajarwati, S.Pd..
LOGIKA LOGIKA LOGIKA.
BY : NI WAYAN SUARDIATI PUTRI, m.pd
MATEMATIKA DISKRIT By DIEN NOVITA.
MATEMATIKA DISKRIT By DIEN NOVITA.
REPRESENTASI PENGETAHUAN
REPRESENTASI PENGETAHUAN.
PROPORSI (LOGIKA MATEMATIKA)
Modul Matematika Diskrit
MATEMATIKA DISKRIT MATEMATIKA DISKRIT ADALAH CABANG MATEMATIKA YANG MEMPELAJARI OBJEK-OBJEK DISKRIT OBJEK DISKRIT ADALAH SEJUMLAH BERHINGGA ELEMEN-ELEMEN.
ILMU KOM PUTER FAK MIPA UGM.
Representasi Pengetahuan (II)
Matematika Diskrit Oleh Ir. Dra. Wartini.
LOGIKA INFORMATIKA
Logika Proposisional [Kalkulus Proposisi]
REPRESENTASI PENGETAHUAN
Model Representasi Pengetahuan
© STMIK-Indonesia 2012 SEKOLAH TINGGI MANAJEMEN INFORMATIKA DAN TEKNIK KOMPUTER INDONESIA KALKULUS PROPOSISI 1 DosenAlbaar Rubhasy, S.Si., M.T.I. Mata.
REPRESENTASI PENGETAHUAN
Riri Irawati, M.Kom 3 SKS Aljabar Proposisi.
Pertemuan ke 1.
Logika informatika 4.
BAB 1 Logika Pengantar Logika
Pertemuan 3 Predicate Logic
DASAR LOGIKA MATEMATIKA
LOGIKA Logika mempelajari hubungan antar pernyataan-pernyataan yang berupa kalimat-kalimat atau rumus-rumus, sehingga dapat menentukan apakah suatu pernyataan.
Matematika Informatika 2
Logika dan Pembuktian.
PROPOSISI Citra N, S.Si, MT.
LOGIKA STRUKTUR DISKRIT K-2 Program Studi Teknik Komputer
Matematika Diskrit Logika.
Matematika Diskrit Bab 1-logika.
Logika (logic).
DU.116 Lise Sri Andar Muni Teknik Informatika STT Wastu Kencana 2013
Logika proposisi Pertemuan kedua.
Model Representasi Pengetahuan
REPRESENTASI PENGETAHUAN
Logika Informatika Fajrian nur adnan, mcs.
IMPLIKASI (Proposisi Bersyarat)
REPRESENTASI PENGETAHUAN
ALGORITMA DAN PEMROGRAMAN
Matematika diskrit Logika Proposisi
Reasoning : Propositional Logic
Core Jurusan Teknik Informatika Kode MK/SKS : TIF /2
PRESENTASI PERKULIAHAN
Agiska Ria Supriyatna, S.Si, MTI
Logika (logic).
KECERDASAN BUATAN (ARTIFICIAL INTELLIGENCE)
Oleh : Cipta Wahyudi, S.Kom, M.Eng, M.Si
Aljabar Logika. 1. Kalimat Deklarasi. 2. Penghubung Kalimat. 3
REPRESENTASI PENGETAHUAN dan Reasoning (Penalaran)
Core Jurusan Teknik Informatika Kode MK/SKS : TIF /2
Adalah cabang dari matematika yang mengkaji objek-objek diskrit.
Core Jurusan Teknik Informatika Kode MK/SKS : TIF /2
Proposisi Lanjut Hukum Ekuivalensi Logika
1.1 Proposisi & Proposisi Majemuk
Hukum Proposisi.
Proposisi Sri Nurhayati.
REPRESENTASI PENGETAHUAN
LoGiKa InFoRmAtIkA Asrul Sani, ST. M.Kom MT Asrul Sani, ST M.Kom MT - Logika Informatika.
Asrul Sani, ST. M.Kom MT Pertemuan 3 Asrul Sani, ST M.Kom MT - Logika Informatika.
IMPLIKASI DAN BIIMPLIKASI
Pertemuan 1 Logika.
Logika Informatika A Pertemuan 1
1 Logika Matematik. 2 Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan (statements).
Materi Kuliah Matematika Diskrit
BAB I DASAR-DASAR LOGIKA
Transcript presentasi:

Pertemuan 1 Logika

Pengetahuan Pengetahuan adalah fakta yang timbul karena keadaan (Sutojo, 2011) Contoh : Pengetahuan tentang penyakit , gejala-gejala dan pengobatannya. Pengetahuan tentang tanaman, jenis-jenis dan cara hidupnya

Representasi Pengetahuan Cara untuk menyajikan pengetahuan yg diperoleh ke dalam suatu skema/diagram tertentu sehingga dapat diketahui relasi antara suatu pengetahuan dengan pengetahuan yg lain dan dapat dipakai utk menguji kebenaran penalarannya.

Representasi Logika Logika adalah ilmu untuk berfikir dan menalar dgn benar sehingga dapat dihasilkan kesimpulan. Tujuan : memberikan aturan penalaran sehingga orang dpt menentukan apakah suatu kalimat bernilai benar atau salah tetapi tidak keduanya.

Representasi Logika Logika proposisi (propositional logic) Logika predikat (predicate logic)

1. Logika proposisi (propositional logic) Proposisi (pernyataan) adalah suatu kalimat deklaratif yg bernilai benar atau salah saja, tetapi tidak keduanya.

“Gajah lebih besar daripada tikus.” Permainan “Gajah lebih besar daripada tikus.” Apakah ini sebuah pernyataan? YA Apakah ini sebuah proposisi? YA Apakah nilai kebenaran dari proposisi ini? BENAR

Permainan Apakah ini sebuah pernyataan? YA “520 < 111” Apakah ini sebuah pernyataan? YA Apakah ini sebuah proposisi? YA Apakah nilai kebenaran dari proposisi ini? SALAH

Permainan Apakah ini sebuah pernyataan? YA Apakah ini sebuah proposisi? TIDAK Nilai kebenaran dari pernyataan tersebut bergantung pada y, tapi nilainya belum ditentukan. Pernyataan jenis ini kita sebut sebagai fungsi proposisi atau kalimat terbuka.

“Tolong untuk tidak tidur selama kuliah” Permainan “Tolong untuk tidak tidur selama kuliah” Apakah ini sebuah pernyataan? TIDAK Ini adalah sebuah permintaan. Apakah ini sebuah proposisi? TIDAK Hanya pernyataanlah yang bisa menjadi proposisi.

“x < y jika dan hanya jika y > x.” Permainan “x < y jika dan hanya jika y > x.” Apakah ini pernyataan ? YA Apakah ini proposisi ? YA … karena nilai kebenarannya tidak bergantung harga spesifik x maupun y. Apakah nilai kebenaran dari proposisi ini ? BENAR

LAMBANG-LAMBANG PROPOSIONAL LOGIC 1. Lambang pernyataan proposisional p,q,r,s,t,... (disebut sebagai atom-atom) 2. Lambang kebenaran Benar (True) , salah (False) 3. Lambang penghubung  (konjungsi),  (disjungsi),  (negasi),  (implikasi),  (Bi-implikasi),  (equivalen)

Logika proposisi (propositional logic) Beberapa operator penghubung dasar yang seringkali dipakai dalam propositional logic ditunjukkan dalam Tabel 2.1 sedangkan tabel kebenaran untuk masing-masing operator dapat dilihat pada Tabel 2.2.

Logika proposisi (propositional logic) Misalnya, seseorang sedang memegang dua buah benda, buku dan pensil. Lalu orang tersebut mengatakan: "saya sedang memegang buku dan pensil". Maka kita tahu bahwa peryataan tersebut adalah BENAR (TRUE).

Logika proposisi (propositional logic) Jika kemudian orang tersebut mengatakan: "saya sedang memegang buku dan spidol", maka kita tahu bahwa pernyataan tersebut SALAH (FALSE). Tetapi jika ia mengubah pernyataan menjadi: "saya sedang memegang buku atau spidol", maka pernyataan tersebut adalah BENAR (TRUE).

Contoh 3. Diketahui proposisi-proposisi berikut: p : Hari ini hujan q : Murid-murid diliburkan dari sekolah p  q : Hari ini hujan dan murid-murid diliburkan dari sekolah p  q : Hari ini hujan atau murid-murid diliburkan dari sekolah p : Tidak benar hari ini hujan (atau: Hari ini tidak hujan)   

Suatu kalimat (formula) P dianggap equivalen dengan formula Q jika dan hanya jika ‘truth value’ dari P sama dengan ‘truth value’ dari G untuk setiap interpretasinya. (ditulis sbg. P  Q)

HUKUM PROPOSISIONAL P, Q,DAN R 1.Hukum de Morgan : (PQ)  (PQ) 2.Hukum de Morgan : (PQ)  (PQ) 3.Hukum distributif : P(QR)  (PQ)  (PR) P(QR)  (PQ) (PR) 4.Hukum komutatif : (PQ)  (QP) (PQ)  (QP) 5.Hukum asosiatif : ((PQ) R)  (P (QR)) ((PQ) R)  (P (QR)) 6.Hukum kontrapositif : (PQ)  (Q P)

Wassalamualaikum Wr. Wb.