Knowledge Representation

Ukuran: px
Mulai penontonan dengan halaman:

Download "Knowledge Representation"

Transkripsi

1 Entiti Representasi Pengetahuan Knowledge Representation By: Uro Abdulrohim, S.Kom, MT Fakta Adalah kejadian sebenarnya, fakta ini yang akan kita representasikan Representasi dari fakta Bagaimana cara untuk memodelkan fakta. Dari representasi ini kita akan dapat memanipulasi Knowledge Representation Suatu proses untuk menangkap sifat-sifat penting problema dan membuat informasi tersebut dapat diakses oleh prosedur pemecahan masalah. Bahasa representasi harus dapat membuat seorang programmer mampu mengekpresikan pengetahuan yang diperlukan untuk menyelesaikan permasalahan Representasi yang Baik Mengemukakan hal secara ekplisit Membuat masalah menjadi transparan Komplit dan efisien Menampilkan batasan-batasan alami yang ada Menekan/menghilangkan detil yang tidak diperlukan Dapat dilakukan komputasi 1 2

2 Kategori Represetasi Proses Logika Representasi logika Representasi prosedural Representasi network Representasi struktur Representasi lain berupa kromosom, jaringan saraf, gen dll Input Premis / Fakta Proses Logika Output Inferensi / Konklusi Representasi logika Representasi yang menggunakan ekspresiekspresi dalam logika formal untuk merepresentasikan basis pengetahuan Penalaran Deduktif Penalaran dimulai dari prinsip-prinsip umum untuk mendapatkan konklusi lebih khusus Premis mayor : jika hujan turun saya tidak akan berangkat kuliah Premis minor : hari ini hujan turun Konklusi : hari ini saya tidak akan berangkat kuliah 3 4

3 Penalaran Induktif Penalaran dimulai dari fakta-fakta khusus untuk mendapatkan kesimpulan umum Premis 1 : aljabar adalah pelajaran sulit Premis 2 : geometri adalah pelajaran sulit Premis 3 : kalkulus adalah pelajaran sulit Representasi Prosedural Representasi yang mengambarkan pengetahuan sebagai kumpulan instruksi untuk memecahkan suatu problema Konklusi : Matematika adalah pelajaran sulit Logika Proposisi Konjungsi (and) ^ Disjungsi (or) Negasi (not) Implikasi (if-then) Ekuivalensi Representasi Network Representasi ini menangkap pengetahuan sebagai sebuah graph dimana simpulsimpulnya menggambarkan objek atau konsep dari problema yang dihadapi. Sedangkan edgenya mengambarkan hubungan atau asosiasi antar mereka 5 6

4 Representasi Terstruktur Representasi terstruktur memperluas network dengan membuat setiap simpulnya menjadi struktur komplek Ilustrasi representasi pengetahuan secara lojik Terdapat fakta sbb: Helder adalah anjing Fakta direpresentasikan secara lojik Anjing (Helder) Jika suatu permasalahan dideskripsikan dengan dengan menggunakan representasi yang tepat, maka dapat dipastikan bahwa permasalahan tersebut dapat diselesaikan Kita juga dapat merepresentasikan secara lojik fakta lain, yaitu bahwa semua anjing mempunyai ekor X : Anjing(x) mempunyai_ekor(x) Kemudian secara deduktif dari mekanisme logika ini kita bisa mendapatkan representasi baru Mempunyai_ekor(Anjing) Dengan menggunakan fungsi mapping secara backward, kita dapat menggenarate suatu kalimat yang berbunyi: Helder mempunyai ekor 7 8

5 Contoh kasus representasi pengetahuan Cobalah representasikan pengetahuan dari silsilah keluarga berikut ini: Hari Agus Catatan Kita dapat menggunakan kalimat apapun sebagai predikat Ide dasar untuk membuat notasi adalah: Predicate (argument, argument [, ]) Budi Ani Ria Ita Rudi Hasil Representasi Anaklakilaki(hari, agus) sebagai anak laki-laki dari hari adalah agus Anaklakilaki(agus, budi) Anakperempuan(agus, ani) Anakperempuan(budi, ria) Anakperempuan(budi, ita) Anaklakilaki(ani, rudi) dibaca Simple Query pada Knowledge Database Adalah bagaimana mencari suatu pengetahuan dari representasi yang ada Contoh: Anakperempuan(agus, P) Hasilnya adalah P = ani Bahwa ani adalah anak perempuan dari agus 9 10

6 Contoh lain Anaklakilaki(OT, AL) Hasil: OT = hari AL= agus OT = agus AL= budi OT = ani AL= rudi Meng-extend hubungan antara knowledge Kita dapat menambahkan hubungan antara knowledge, misalkan antara anak laki-laki dan anak perempuan di-extend menjadi hubungan orang tua. Orangtua(C,P) :- anaklakilaki(p,c) Orangtua(C,P) :- anakperempuan (P,C) Contoh Contoh lain: Anaklakilaki(P, budi), anakperempuan(p, D). Untuk menyatakan saudara perempuan dari budi Orangtua(budi,P) Hasilnya : P = agus Hasil : P=agus D=ani 11 12

7 Recursive Description of Relationship Jika ingin mencari silsilah turunan, berikut cara merepresentasikan: Turunan(OT,TR):-orangtua(TR, OT) anak Turunan(OT,TR):-orangtua(TR,P), orangtua(p,ot) cucu Turunan(OT,TR):-orangtua(TR,P), orangtua(p,gp), orangtua(gp, OT) cicit Fakta diatas dapat diekspresikan dengan proses rekursif sbb: Turunan(OT,TR):-orangtua(TR,OT) anak Turunan(OT,TR):- orangtua(tr,p),turunan(ot,p) 13

Knowledge Representation

Knowledge Representation Kecerdasan Buatan Pertemuan 2 Knowledge Representation IT-EEPIS Basis Pengetahuan Langkah pertama untuk membangun Kecerdasan Buatan adalah bagaimana membangun sebuah knowledge base Selanjutnya kita akan

Lebih terperinci

REPRESENTASI PENGETAHUAN

REPRESENTASI PENGETAHUAN REPRESENTASI PENGETAHUAN Farah Zakiyah Rahmanti, M.T Overview Definisi Representasi Pengetahuan Entitas Representasi Pengetahuan Kategori dari Representasi Ilustrasi Representasi Pengetahuan Logika Contoh

Lebih terperinci

BAB 2 REPRESENTASI PENGETAHUAN 8 Dalam representasi sebuah fakta yang kita gunakan dalam sebuah program, kita juga harus konsisten dengan representasi

BAB 2 REPRESENTASI PENGETAHUAN 8 Dalam representasi sebuah fakta yang kita gunakan dalam sebuah program, kita juga harus konsisten dengan representasi Bab2 Representasi Pengetahuan POKOK BAHASAN: Definisi Representasi Pengetahuan Representasi Pengetahuan secara Logik Programmable Logic (Prolog) Contoh Representasi Pengetahuan dengan Prolog TUJUAN BELAJAR:

Lebih terperinci

Bab 2. Representasi Pengetahuan POKOK BAHASAN: TUJUAN BELAJAR: 2.1 DEFINISI REPRESENTASI PENGETAHUAN

Bab 2. Representasi Pengetahuan POKOK BAHASAN: TUJUAN BELAJAR: 2.1 DEFINISI REPRESENTASI PENGETAHUAN Bab 2 Representasi Pengetahuan POKOK BAHASAN: Definisi Representasi Pengetahuan Representasi Pengetahuan secara Logik Programmable Logic (Prolog) Contoh Representasi Pengetahuan dengan Prolog TUJUAN BELAJAR:

Lebih terperinci

Dian Wirdasari, S.Si.,M.Kom

Dian Wirdasari, S.Si.,M.Kom IntelijensiBuatan Dian Wirdasari, S.Si.,M.Kom IntelijensiBuatan Materi-4 Representasi Pengetahuan-1 Dian Wirdasari, S.Si.,M.Kom Definisi: fakta atau kondisi sesuatu atau keadaan yg timbul karena suatu

Lebih terperinci

Praktikum 1. Representasi Pengetahuan

Praktikum 1. Representasi Pengetahuan Praktikum 1 Representasi Pengetahuan A. TUJUAN PEMBELAJARAN Setelah mempelajari materi dalam bab ini, mahasiswa diharapkan mampu: 1. Memahami mengapa Representasi Pengetahuan diperlukan dalam sistem Kecerdasan

Lebih terperinci

REPRESENTASI PENGETAHUAN

REPRESENTASI PENGETAHUAN REPRESENTASI PENGETAHUAN Basis Pengetahuan Langkah pertama dalam membuat sistem kecerdasan buatan adalah membangun basis pengetahuan Digunakan oleh motor inferensi dalam menalar dan mengambil kesimpulan

Lebih terperinci

REPRESENTASI PENGETAHUAN

REPRESENTASI PENGETAHUAN REPRESENTASI PENGETAHUAN Representasi Pengetahuan (Knowledge Representation) dimaksudkan untuk menangkap sifatsifat penting masalah dan membuat infomasi dapat diakses oleh prosedur pemecahan masalah. Bahasa

Lebih terperinci

Dua bagian dasar sistem kecerdasan buatan (menurut Turban) : dalam domain yang dipilih dan hubungan diantara domain-domain tersebut

Dua bagian dasar sistem kecerdasan buatan (menurut Turban) : dalam domain yang dipilih dan hubungan diantara domain-domain tersebut REPRESENTASI PENGETAHUAN (MINGGU 3) Pendahuluan Dua bagian dasar sistem kecerdasan buatan (menurut Turban) : - Basis pengetahuan : Berisi fakta tentang objek-objek dalam domain yang dipilih dan hubungan

Lebih terperinci

Representasi Pengetahuan

Representasi Pengetahuan Representasi Pengetahuan Representasi masalah state space Pengetahuan dan kemampuan melakukan penalaran merupakan bagian terpenting dari sistem yang menggunakan AI. Cara representasi pengetahuan: Logika

Lebih terperinci

REPRESENTASI PENGETAHUAN (KNOWLEDGE REPRESENTATION)

REPRESENTASI PENGETAHUAN (KNOWLEDGE REPRESENTATION) REPRESENTASI PENGETAHUAN (KNOWLEDGE REPRESENTATION) KNOWLEDGE IS POWER! Pengetahuan adalah kekuatan! Representasi Pengetahuan : Definisi dlm ES: Metode yang digunakan untuk mengkodekan pengetahuan dalam

Lebih terperinci

BAB I PENDAHULUAN. 1.1 Latar Belakang

BAB I PENDAHULUAN. 1.1 Latar Belakang BAB I PENDAHULUAN 1.1 Latar Belakang Proposisi adalah pernyataan yang dapat ditentukan nilai kebenarannya, bernilai benar atau salah tetapi tidak keduanya. Sedangkan, Kalkulus Proposisi (Propositional

Lebih terperinci

KECERDASAN BUATAN REPRESENTASI PENGETAHUAN (PART - I) ERWIEN TJIPTA WIJAYA, ST., M.KOM

KECERDASAN BUATAN REPRESENTASI PENGETAHUAN (PART - I) ERWIEN TJIPTA WIJAYA, ST., M.KOM KECERDASAN BUATAN REPRESENTASI PENGETAHUAN (PART - I) ERWIEN TJIPTA WIJAYA, ST., M.KOM KERANGKA MASALAH Logika Logika Predikat Pengukuran Kuantitas PENGETAHUAN Diklasifikasikan menjadi 3 : 1. Procedural

Lebih terperinci

PENGANTAR LOGIKA INFORMATIKA

PENGANTAR LOGIKA INFORMATIKA P a g e 1 PENGANTAR LOGIKA INFORMATIKA 1. Pendahuluan a. Definisi logika Logika berasal dari bahasa Yunani logos. Logika adalah: ilmu untuk berpikir dan menalar dengan benar ilmu pengetahuan yang mempelajari

Lebih terperinci

BAB IV REPRESENTASI PENGETAHUAN

BAB IV REPRESENTASI PENGETAHUAN BAB IV REPRESENTASI PENGETAHUAN Dua bagian dasar sistem kecerdasan buatan (menurut Turban) - Basis pengetahuan : Berisi fakta tentang objek-objek dalam domain yang dipilih dan hubungan diantara domain-domain

Lebih terperinci

MODUL 3 OPERATOR LOGIKA

MODUL 3 OPERATOR LOGIKA STMIK STIKOM BALIKPAPAN 1 MODUL 3 OPERATOR LOGIKA 1. TEMA DAN TUJUAN KEGIATAN PEMBELAJARAN 1. Tema : Operator Logika 2. Fokus Pembahasan Materi Pokok : 1. Operator Logika Konjungsi 2. Operator Logika Disjungsi

Lebih terperinci

Logika Proposisi. Pertemuan 2 (Chapter 10 Schaum, Set Theory) (Chapter 3/4 Schaum, Theory Logic)

Logika Proposisi. Pertemuan 2 (Chapter 10 Schaum, Set Theory) (Chapter 3/4 Schaum, Theory Logic) Logika Proposisi Pertemuan 2 (Chapter 10 Schaum, Set Theory) (Chapter 3/4 Schaum, Theory Logic) Logika Proposisional Tujuan pembicaraan kali ini adalah untuk menampilkan suatu bahasa daripada kalimat abstrak

Lebih terperinci

KOMPARASI PENGGUNAAN METODE TRUTH TABLE DAN PROOF BY FALSIFICATION DALAM PENENTUAN VALIDITAS ARGUMEN. Abstrak

KOMPARASI PENGGUNAAN METODE TRUTH TABLE DAN PROOF BY FALSIFICATION DALAM PENENTUAN VALIDITAS ARGUMEN. Abstrak Komparasi Penggunaan Metode Truth Table Dan Proof By Falsification Untuk Penentuan Validitas Argumen (Yani Prihati) KOMPARASI PENGGUNAAN METODE TRUTH TABLE DAN PROOF BY FALSIFICATION DALAM PENENTUAN VALIDITAS

Lebih terperinci

ARTIFICIAL INTELLIGENCE

ARTIFICIAL INTELLIGENCE ARTIFICIAL INTELLIGENCE Team teaching: Sri Winiarti, Andri Pranolo, dan Anna Hendri SJ Andri Pranolo W : apranolo.tif.uad.ac.id M : 081392554050 E : andri.pranolo@tif.uad.ac.id Informatics Engineering,

Lebih terperinci

BAB I PENDAHULUAN. a. Apa sajakah hukum-hukum logika dalam matematika? b. Apa itu preposisi bersyarat?

BAB I PENDAHULUAN. a. Apa sajakah hukum-hukum logika dalam matematika? b. Apa itu preposisi bersyarat? BAB I PENDAHULUAN 1.1 LATAR BELAKANG Secara etimologi, istilah Logika berasal dari bahasa Yunani, yaitu logos yang berarti kata, ucapan, pikiran secara utuh, atau bisa juga ilmu pengetahuan. Dalam arti

Lebih terperinci

ARGUMENTASI. Kalimat Deklaratif Kalimat Deklaratif (Proposisi) adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya.

ARGUMENTASI. Kalimat Deklaratif Kalimat Deklaratif (Proposisi) adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya. ARGUMENTASI Kalimat Deklaratif Kalimat Deklaratif (Proposisi) adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya. Berikut ini adalah beberapa contoh Proposisi : a. 1 + 2 = 3 b. Kuala

Lebih terperinci

Sistem Pakar Metode Inferensi 1. Kelas A & B Jonh Fredrik Ulysses, ST

Sistem Pakar Metode Inferensi 1. Kelas A & B Jonh Fredrik Ulysses, ST Sistem Pakar Metode Inferensi 1 Kelas A & B Jonh Fredrik Ulysses, ST jonh.fredrik.u@gmail.com Pengantar Bab ini akan mendiskusikan berbagai macam metode penalaran atau inferensi. Topik ini merupakan topik

Lebih terperinci

Artificial Intelegence. Representasi Logica Knowledge

Artificial Intelegence. Representasi Logica Knowledge Artificial Intelegence Representasi Logica Knowledge Outline 1. Logika dan Set Jaringan 2. Logika Proposisi 3. Logika Predikat Order Pertama 4. Quantifier Universal 5. Quantifier Existensial 6. Quantifier

Lebih terperinci

SINTAKS DAN SEMANTIK PADA LOGIKA PROPOSISI. Matematika Logika Semester Ganjil 2011/2012

SINTAKS DAN SEMANTIK PADA LOGIKA PROPOSISI. Matematika Logika Semester Ganjil 2011/2012 SINTAKS DAN SEMANTIK PADA LOGIKA PROPOSISI Matematika Logika Semester Ganjil 2011/2012 PROPOSISI Proposisi atau kalimat dalam logika proposisi bisa berupa Atom/kalimat sederhana Kalimat kompleks, komposisi

Lebih terperinci

BAB III REPRESENTASI PENGETAHUAN

BAB III REPRESENTASI PENGETAHUAN BAB III REPRESENTASI PENGETAHUAN Basis pengetahuan dan kemampuan untuk melakukan penalaran merupakan bagian terpenting dari sistem yang menggunakan kecerdasan buatan. Meskipun suatu sistem memiliki banyak

Lebih terperinci

REPRESENTASI PENGETAHUAN UTHIE

REPRESENTASI PENGETAHUAN UTHIE REPRESENTASI PENGETAHUAN PENDAHULUAN Basis pengetahuan dan kemampuan untuk melakukan penalaran merupakan bagian terpenting dari sistem yang menggunakan kecerdasan buatan. Meskipun suatu sistem memiliki

Lebih terperinci

Artificial Intelligence. uthie 1

Artificial Intelligence. uthie 1 Artificial Intelligence uthie 1 Cabang-cabang AI 1. Logical AI Logika (matematis) yang merepresentasikan sekumpulan fakta dan tujuan ---> RUANG KEADAAN: Graph Tree uthie 2 Cabang-cabang AI 2. Search Pencarian

Lebih terperinci

Logika hanya berhubngan dengan bentukbentuk logika dari argumen-argumen, serta penarikan kesimpulan tentang validitas dari argumen tersebut.

Logika hanya berhubngan dengan bentukbentuk logika dari argumen-argumen, serta penarikan kesimpulan tentang validitas dari argumen tersebut. TABEL KEBENARAN Logika hanya berhubngan dengan bentukbentuk logika dari argumen-argumen, serta penarikan kesimpulan tentang validitas dari argumen tersebut. Logika tidak mempermasalahkan arti sebenarnya

Lebih terperinci

Logika Matematika Diskret (TKE132107) Program Studi Teknik Elektro, Unsoed

Logika Matematika Diskret (TKE132107) Program Studi Teknik Elektro, Unsoed Logika Matematika Diskret (TKE132107) Program Studi Teknik Elektro, Unsoed Iwan Setiawan Tahun Ajaran 2013/2014 Logika Klasik Matematika Diskret (TKE132107) - Program Studi Teknik

Lebih terperinci

INFERENSI DAN PENALARAN. PERTEMUAN 8 Oleh : Diema Hernyka Satyareni, M.Kom

INFERENSI DAN PENALARAN. PERTEMUAN 8 Oleh : Diema Hernyka Satyareni, M.Kom INFERENSI DAN PENALARAN PERTEMUAN 8 Oleh : Diema Hernyka Satyareni, M.Kom Strategi Penalaran Runut Maju / Forward Chaining Runut Balik / Backward Chaining Forward Chaining Penalaran dimulai dari keadaan

Lebih terperinci

BAB 6 EKUIVALENSI LOGIS

BAB 6 EKUIVALENSI LOGIS BAB 6 EKUIVALENSI LOGIS 1. Pendahuluan Bab ini akan membahas persamaan-persamaan antara dua buah ekspresi logika yang mungkin ekuivalen (sama), mungkin berbeda, yang kesamaan atau perbedaan tadi akan dibuktikan

Lebih terperinci

REPRESENTASI PENGETAHUAN. Pertemuan 6 Diema Hernyka Satyareni, M. Kom

REPRESENTASI PENGETAHUAN. Pertemuan 6 Diema Hernyka Satyareni, M. Kom REPRESENTASI PENGETAHUAN Pertemuan 6 Diema Hernyka Satyareni, M. Kom KOMPETENSI DASAR Mahasiswa dapat merepresentasi pengetahuan dalam Sistem Intelegensia MATERI BAHASAN Logika Jaringan Semantik Frame

Lebih terperinci

BAB 3 TABEL KEBENARAN

BAB 3 TABEL KEBENARAN BAB 3 TABEL KEBENARAN 1. Pendahuluan Logika adalah ilmu tentang penalaran (reasoning). Penalaran berarti mencari bukti validitas dari suatu argumen, mencari konsistensi dan pernyataan-pernyataan, dan membahas

Lebih terperinci

Artificial Intelegence EKA YUNIAR

Artificial Intelegence EKA YUNIAR Artificial Intelegence EKA YUNIAR Pokok Bahasan Representasi Pengetahuan Jaringan Semantik Knowledge Base The first step in constructing an AI program is to build a knowledge base Will be used by the inference

Lebih terperinci

Logika Matematika BAGUS PRIAMBODO. Silogisme Silogisme Hipotesis Penambahan Disjungsi Penyederhanaan Konjungsi. Modul ke: Fakultas FASILKOM

Logika Matematika BAGUS PRIAMBODO. Silogisme Silogisme Hipotesis Penambahan Disjungsi Penyederhanaan Konjungsi. Modul ke: Fakultas FASILKOM Modul ke: 7 Fakultas FASILKOM Logika Matematika Silogisme Silogisme Hipotesis Penambahan Disjungsi Penyederhanaan Konjungsi BAGUS PRIAMBODO Program Studi SISTEM INFORMASI http://www.mercubuana.ac.id Kemampuan

Lebih terperinci

Berdasarkan tabel 1 diperoleh bahwa p q = q p.

Berdasarkan tabel 1 diperoleh bahwa p q = q p. PEMAHAAN 1. Pengertian Kata LOGIKA mengacu pada suatu metode atau cara yang sistematis dalam berpikir (reasoning), dan terdapat dua sistem khusus yaitu : suatu metode dasar yang disebut dengan Kalkulus

Lebih terperinci

Pendahuluan. Bab I Logika Manusia

Pendahuluan. Bab I Logika Manusia Bab I Pendahuluan 1.1. Logika Manusia Manusia, diantara makhluk yang lain, merupakan pengolah informasi. Kita membutuhkan informasi mengenai dunia dan menggunakan informasi ini untuk kepentingan yang lebih

Lebih terperinci

PENALARAN DEDUKTIF. Pernyataan generalisasi (premis mayor) : Seseorang boleh mengendarai kendaraan bermotor jika ia mempunyai SIM.

PENALARAN DEDUKTIF. Pernyataan generalisasi (premis mayor) : Seseorang boleh mengendarai kendaraan bermotor jika ia mempunyai SIM. PENALARAN DEDUKTIF Berbeda dengan penalaran induktif, penalaran deduktif berlangsung dari hal yang umum dan diturunkan pada hal-hal yang khusus. Dalam penalaran deduktif tidak menerima generalisasi dari

Lebih terperinci

MATEMATIKA DISKRIT LOGIKA

MATEMATIKA DISKRIT LOGIKA MATEMATIKA DISKRIT LOGIKA Logika Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika maka anda tidak sulit belajar Bahasa Java. Jika anda tidak suka begadang maka anda bukan mahasiswa Informatika.

Lebih terperinci

Matematika Industri I

Matematika Industri I LOGIKA MATEMATIKA TIP FTP - UB Pokok Bahasan Proposisi dan negasinya Nilai kebenaran dari proposisi Tautologi Ekuivalen Kontradiksi Kuantor Validitas pembuktian Pokok Bahasan Proposisi dan negasinya Nilai

Lebih terperinci

TABEL KEBENARAN. Liduina Asih Primandari, S.Si.,M.Si. P a g e 8

TABEL KEBENARAN. Liduina Asih Primandari, S.Si.,M.Si. P a g e 8 P a g e 8 TABEL KEBENARAN A. Logika Proposisional dan Predikat Logika proposional adalah logika dasar yang harus dipahami programmer karena logika ini yang menjadi dasar dalam penentuan nilai kebenaran

Lebih terperinci

BAB III ANALISIS DAN PERANCANGAN

BAB III ANALISIS DAN PERANCANGAN BAB III ANALISIS DAN PERANCANGAN 3.1 Analisis Analisis atau bisa juga disebut dengan Analisis sistem (systems analysis) dapat didefinisikan sebagai penguraian dari suatu sistem informasi yang utuh ke dalam

Lebih terperinci

Logika. Apakah kesimpulan dari argumen di atas valid? Alat bantu untuk memahami argumen tsb adalah Logika

Logika. Apakah kesimpulan dari argumen di atas valid? Alat bantu untuk memahami argumen tsb adalah Logika Pengantar Logika 1 Logika Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika maka anda pasti belajar Bahasa Java. Jika anda tidak suka begadang maka anda bukan mahasiswa Informatika. Tetapi,

Lebih terperinci

: SRI ESTI TRISNO SAMI

: SRI ESTI TRISNO SAMI By : SRI ESTI TRISNO SAMI 08125218506 / 082334051324 E-mail : sriestits2@gmail.com Bahan Bacaan / Refferensi : 1. F. Soesianto dan Djoni Dwijono, Logika Matematika untuk Ilmu Komputer, Penerbit Andi Yogyakarta.

Lebih terperinci

METODE INFERENSI. Level 2. Level 3. Level 4

METODE INFERENSI. Level 2. Level 3. Level 4 METODE INFERENSI Tree (Pohon) dan Graph - Tree (pohon) adalah suatu hierarki struktur yang terdiri dari Node (simpul/veteks) yang menyimpan informasi atau pengetahuan dan cabang (link/edge) yang menghubungkan

Lebih terperinci

BAB I PENDAHULUAN. A. Pengertian Logika. B. Tujuan Penulisan

BAB I PENDAHULUAN. A. Pengertian Logika. B. Tujuan Penulisan BAB I PENDAHULUAN A. Pengertian Logika Logika berasal dari kata Logos yaitu akal, jika didefinisikan Logika adalah sesuatu yang masuk akal dan fakta, atau Logika sebagai istilah berarti suatu metode atau

Lebih terperinci

LANDASAN MATEMATIKA Handout 3 (Kalkulus Proposisi)

LANDASAN MATEMATIKA Handout 3 (Kalkulus Proposisi) LANDASAN MATEMATIKA Handout 3 (Kalkulus Proposisi) Tatik Retno Murniasih, S.Si., M.Pd. tretnom@unikama.ac.id / Hp. 081320649338 Standar Kompetensi Mahasiswa dapat mengerti dan memahami kalkulus proposisi

Lebih terperinci

Berpikir Komputasi. Sisilia Thya Safitri, MT Citra Wiguna, M.Kom. 3 Logika Proposisional (I)

Berpikir Komputasi. Sisilia Thya Safitri, MT Citra Wiguna, M.Kom. 3 Logika Proposisional (I) Berpikir Komputasi Sisilia Thya Safitri, MT Citra Wiguna, M.Kom 3 Logika Proposisional (I) Capaian Sub Pembelajaran Mahasiswa dapat memahami logika proposisional sebagai dasar penerapan algoritma. Outline

Lebih terperinci

Kecerdasan Buatan. Representasi Pengetahuan & Penalaran... Pertemuan 05. Husni

Kecerdasan Buatan. Representasi Pengetahuan & Penalaran... Pertemuan 05. Husni Kecerdasan Buatan Pertemuan 05 Representasi Pengetahuan & Penalaran... Husni Lunix96@gmail.com http://komputasi.wordpress.com S1 Teknik Informatika, STMIK AMIKOM, 2013 Outline Pendahuluan Logika Proposisi

Lebih terperinci

Argumen premis konklusi jika dan hanya jika Tautolog

Argumen premis konklusi jika dan hanya jika Tautolog INFERENSI LOGIKA Argumen adalah suatu pernyataan tegas yang diberikan oleh sekumpulan proposisi P 1, P 2,...,P n yang disebut premis (hipotesa/asumsi) dan menghasilkan proposisi Q yang lain yang disebut

Lebih terperinci

METODE INFERENSI (1)

METODE INFERENSI (1) METODE INFERENSI (1) Tree (Pohon) dan Graph - Tree (pohon) adalah suatu hierarki struktur yang terdiri dari Node (simpul/veteks) yang menyimpan informasi atau pengetahuan dan cabang (link/edge) yang menghubungkan

Lebih terperinci

PERNYATAAN (PROPOSISI)

PERNYATAAN (PROPOSISI) Logika Gambaran Umum Logika : - Logika Pernyataan membicarakan tentang pernyataan tunggal dan kata hubungnya sehingga didapat kalimat majemuk yang berupa kalimat deklaratif. - Logika Predikat menelaah

Lebih terperinci

LOGIKA MATEMATIKA. MATEMATiKA DISKRET S1-SISTEM INFORMATIKA STMIK AMIKOM. proposisi conjungsi tautologi inferensi

LOGIKA MATEMATIKA. MATEMATiKA DISKRET S1-SISTEM INFORMATIKA STMIK AMIKOM. proposisi conjungsi tautologi inferensi LOGIKA MATEMATIKA MATEMATiKA DISKRET S1-SISTEM INFORMATIKA STMIK AMIKOM Definisi Proposisi adalah suatu kalimat yang bernilai benar atau salah dan tidak keduanya Proposisi Kalimat Deklaratif Proposisi

Lebih terperinci

Unit 6 PENALARAN MATEMATIKA. Clara Ika Sari Budhayanti. Pendahuluan. Selamat belajar, semoga Anda sukses.

Unit 6 PENALARAN MATEMATIKA. Clara Ika Sari Budhayanti. Pendahuluan. Selamat belajar, semoga Anda sukses. Unit 6 PENALARAN MATEMATIKA Clara Ika Sari Budhayanti Pendahuluan D alam menyelesaikan permasalahan matematika, penalaran matematis sangat diperlukan baik di bidang aritmatika, aljabar, geometri dan pengukuran,

Lebih terperinci

Representasi Pengetahuan : Logika Predikat

Representasi Pengetahuan : Logika Predikat Representasi Pengetahuan : Logika Predikat Pertemuan 8 Wahyu Supriyatin Logika Predikat Logika predikat digunakan untuk merepresentasikan hal-hal yang tidak dapat direpresentasikan dengan menggunakan logika

Lebih terperinci

MATEMATIKA DISKRIT. Logika

MATEMATIKA DISKRIT. Logika MATEMATIKA DISKRIT Logika SILABUS KULIAH 1. Logika 2. Himpunan 3. Matriks, Relasi dan Fungsi 4. Induksi Matematika 5. Algoritma dan Bilangan Bulat 6. Aljabar Boolean 7. Graf 8. Pohon REFERENSI Rinaldi

Lebih terperinci

IT105 MATEMATIKA DISKRIT. Ramos Somya, S.Kom., M.Cs.

IT105 MATEMATIKA DISKRIT. Ramos Somya, S.Kom., M.Cs. IT105 MATEMATIKA DISKRIT Ramos Somya, S.Kom., M.Cs. TUJUAN Mahasiswa Memahami dan menguasai konsep dasar logika matematika Mahasiswa mempunyai daya nalar yang semakin tajam. POKOK BAHASAN Pernyataan dan

Lebih terperinci

LEMBAR TUGAS MAHASISWA ( LTM )

LEMBAR TUGAS MAHASISWA ( LTM ) LEMBAR TUGAS MAHASISWA ( LTM ) SISTEM PAKAR Program Studi Teknik Informatika Program Strata Satu (S1) Tahun 2015 NIM NAMA KELAS :. :.. :. SEKOLAH TINGGI MANAJEMEN INFORMATIKA DAN KOMPUTER NUSAMANDIRI Jakarta

Lebih terperinci

Praktikum Representasi Pengetahuan

Praktikum Representasi Pengetahuan Sejarah Prolog Praktikum Representasi Pengetahuan - Prolog singkatan dari Programming in Logic. - Dikembangkan oleh Alain Colmenraurer dan P.Roussel di Universitas Marseilles Perancis, tahun1972. - Prolog

Lebih terperinci

Soal UAS Pengantar Kecerdasan Buatan. Kelas 3IA01, 03, 05, 07, 11, 13, 14, 17, 18, 19, 21, 22 dan 23

Soal UAS Pengantar Kecerdasan Buatan. Kelas 3IA01, 03, 05, 07, 11, 13, 14, 17, 18, 19, 21, 22 dan 23 Soal UAS Pengantar Kecerdasan Buatan Kelas 3IA01, 03, 05, 07, 11, 13, 14, 17, 18, 19, 21, 22 dan 23 1. Pengertian kecerdasan menurut Winston dan Pendergast, 1994. Kecuali : a. Kemampuan belajar atau mengerti

Lebih terperinci

Logika Proposisi 1. Definisi 1. (Proposisi) Proposisi adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya sekaligus.

Logika Proposisi 1. Definisi 1. (Proposisi) Proposisi adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya sekaligus. Logika Proposisi 1 I. Logika Proposisi Logika adalah bagian dari matematika, tetapi pada saat yang sama juga merupakan bahasa matematika. Pada akhir abad ke-19 dan awal abad ke-20, ada kepercayaan bahwa

Lebih terperinci

PERTEMUAN Logika Matematika

PERTEMUAN Logika Matematika 1-1 PERTEMUAN 1 Nama Mata Kuliah : Matematika Diskrit ( 3 SKS) Nama Dosen Pengampu : Dr. Suparman E-mail : matdis@netcourrier.com HP : 081328201198 Judul Pokok Bahasan Tujuan Pembelajaran : 1. Logika Matematika

Lebih terperinci

Expert System. Siapakah pakar/ahli. Pakar VS Sistem Pakar. Definisi

Expert System. Siapakah pakar/ahli. Pakar VS Sistem Pakar. Definisi Siapakah pakar/ahli Expert System Seorang pakar atau ahli adalah: seorang individu yang memiliki kemampuan pemahaman superior dari suatu masalah By: Uro Abdulrohim, S.Kom, MT Definisi Program komputer

Lebih terperinci

BAB II LANDASAN TEORI. tubuh. Bagi tubuh, kulit mempunyai fungsi yang sangat penting dan fungsi ini

BAB II LANDASAN TEORI. tubuh. Bagi tubuh, kulit mempunyai fungsi yang sangat penting dan fungsi ini BAB II LANDASAN EORI 2.1. Penyakit Kulit Kulit merupakan salah satu panca indera manusia yang terletak di permukaan tubuh. Bagi tubuh, kulit mempunyai fungsi yang sangat penting dan fungsi ini sepertinya

Lebih terperinci

Hukum-hukum Logika 2/8/ Hukum komutatif: p q q p p q q p. 8. Hukum asosiatif: p (q r) (p q) r p (q r) (p q) r

Hukum-hukum Logika 2/8/ Hukum komutatif: p q q p p q q p. 8. Hukum asosiatif: p (q r) (p q) r p (q r) (p q) r Hukum-hukum Logika Disebut juga hukum-hukum aljabar proposisi. 1. Hukum identitas: p F p p T p 3. Hukum negasi: p ~p T p ~p F 5. Hukum involusi (negasi ganda): ~(~p) p 2. Hukum null/dominasi: p F F p T

Lebih terperinci

MODUL PERKULIAHAN EDISI 1 MATEMATIKA DISKRIT

MODUL PERKULIAHAN EDISI 1 MATEMATIKA DISKRIT MODUL PERKULIAHAN EDISI 1 MATEMATIKA DISKRIT Penulis : Nelly Indriani Widiastuti S.Si., M.T. JURUSAN TEKNIK INFORMATIKA UNIVERSITAS KOMPUTER INDONESIA BANDUNG 2011 DAFTAR ISI Daftar Isi. 2 Bab 1 LOGIKA

Lebih terperinci

Pertemuan 1. Pendahuluan Dasar-Dasar Logika

Pertemuan 1. Pendahuluan Dasar-Dasar Logika Pertemuan 1 Pendahuluan Dasar-Dasar Logika Apakah Matematika Diskrit itu? Apa yang dimaksud dengan kata diskrit (discrete)? Objek disebut diskrit jika: - terdiri dari elemen yang berbeda (distinct) dan

Lebih terperinci

Selamat datang di Perkuliahan LOGIKA MATEMATIKA Logika Matematika Teori Himpunan Teori fungsi

Selamat datang di Perkuliahan LOGIKA MATEMATIKA Logika Matematika Teori Himpunan Teori fungsi Selamat datang di Perkuliahan LOGIKA MAEMAIKA Logika Matematika eori Himpunan eori fungsi Dosen : Dr. Julan HERNADI PUSAKA : Kenneth H Rossen, Discrete mathematics and its applications, fifth edition.

Lebih terperinci

REPRESENTASI PENGETAHUAN

REPRESENTASI PENGETAHUAN REPRESENTASI PENGETAHUAN Representasi pengetahuan adalah cara untuk menyajikan pengetahuan yang diperoleh ke dalam suatu skema/diagram tertentu sehingga dapat diketahui relasi antara suatu pengetahuan

Lebih terperinci

REPRESENTASI PENGETAHUAN

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

Lebih terperinci

Soal Ujian Akhir Semester Pendek TA. 2006/2007 D3-Manajemen Informatika

Soal Ujian Akhir Semester Pendek TA. 2006/2007 D3-Manajemen Informatika Soal Ujian Akhir Semester Pendek TA. 2006/2007 D3-Manajemen Informatika Mata Ujian : Logika dan Algoritma Dosen : Heri Sismoro, S.Kom., M.Kom. Hari, tanggal : Selasa, 07 Agustus 2007 Waktu : 100 menit

Lebih terperinci

AND AND AND THEN AND AND

AND AND AND THEN AND AND Kedelapan pernyataan dapat dibawa ke bentuk logika predikat, dengan menggunakan operator-perator: (implikasi), (not), (dan), (atau), (untuk setiap), (terdapat), sebagai berikut: 1. mahasiswa(andi). 2.

Lebih terperinci

PROPOSISI MATEMATIKA SISTEM INFORMASI 1

PROPOSISI MATEMATIKA SISTEM INFORMASI 1 PROPOSISI MATEMATIKA SISTEM INFORMASI 1 Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan (statements). Proposisi Pernyataan atau kalimat

Lebih terperinci

MAKALAH FILSAFAT ILMU. Penalaran Induktif dan Penalaran Deduktif. Patricia M D Mantiri Pend. Teknik Informatika. Tema: Disusun oleh:

MAKALAH FILSAFAT ILMU. Penalaran Induktif dan Penalaran Deduktif. Patricia M D Mantiri Pend. Teknik Informatika. Tema: Disusun oleh: MAKALAH FILSAFAT ILMU Tema: Penalaran Induktif dan Penalaran Deduktif Disusun oleh: Patricia M D Mantiri 10 312 633 Pend. Teknik Informatika I. Latar Belakang Masalah Sebelum membahas tentang penalaran

Lebih terperinci

BAB III ANALISIS DAN PERANCANGAN

BAB III ANALISIS DAN PERANCANGAN A III ANALII DAN PERANCANGAN 3.1 Analisis Analisis adalah suatu kegiatan penelitian atau kajian yang dimulai dari proses awal didalam mempelajari serta mengevaluasi suatu bentuk permasalahan (case) yang

Lebih terperinci

DASAR-DASAR LOGIKA. Pertemuan 2 Matematika Diskrit

DASAR-DASAR LOGIKA. Pertemuan 2 Matematika Diskrit DASAR-DASAR LOGIKA Pertemuan 2 Matematika Diskrit 25-2-2013 Materi Pembelajaran 1. Kalimat Deklaratif 2. Penghubung kalimat 3. Tautologi dan Kontradiksi 4. Konvers, Invers, dan Kontraposisi 5. Inferensi

Lebih terperinci

BAB II KAJIAN TEORI. A. Analisis. Analisis diuraikan secara singkat memiliki arti penyederhanaan data.

BAB II KAJIAN TEORI. A. Analisis. Analisis diuraikan secara singkat memiliki arti penyederhanaan data. 6 BAB II KAJIAN TEORI A. Analisis Analisis diuraikan secara singkat memiliki arti penyederhanaan data. Secara umum analisis terdiri dari tiga alur kegiatan yaitu: (1) reduksi data merupakan proses pemilihan

Lebih terperinci

Representasi Pengetahuan : LOGIKA

Representasi Pengetahuan : LOGIKA Representasi Pengetahuan : LOGIKA Representasi Pengetahuan : LOGIKA 1/16 Outline Logika dan Set Jaringan Logika Proposisi Logika Predikat Order Pertama Quantifier Universal Quantifier Existensial Quantifier

Lebih terperinci

BAB III DASAR DASAR LOGIKA

BAB III DASAR DASAR LOGIKA BAB III DASAR DASAR LOGIKA 1. Kalimat Deklaratif Kalimat Deklaratif (Proposisi) adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya. Berikut ini adalah beberapa contoh Proposisi : a. 2

Lebih terperinci

Materi 4: Logika. I Nyoman Kusuma Wardana. STMIK STIKOM Bali

Materi 4: Logika. I Nyoman Kusuma Wardana. STMIK STIKOM Bali Materi 4: Logika I Nyoman Kusuma Wardana STMIK STIKOM Bali Logika merupakan dasar dr semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan-pernyataan (statements). Dalam Logika

Lebih terperinci

Representasi Pengetahuan dan Penalaran

Representasi Pengetahuan dan Penalaran Representasi Pengetahuan dan Penalaran PENGETAHUAN Pengetahuan (knowledge) adalah pemahaman secara praktis maupun teoritis terhadap suatu obyek atau domain tertentu. Pengetahuan merupakan hal yang penting

Lebih terperinci

KETIDAKPASTIAN PROBABILITAS & TEOREMA BAYES

KETIDAKPASTIAN PROBABILITAS & TEOREMA BAYES KECERDASAN BUATAN Kuliah ke : 8 PENALARAN KETIDAKPASTIAN PROBABILITAS & TEOREMA BAYES KETIDAKPASTIAN Dalam kenyataan sehari-hari banyak masalah didunia ini tidak dapat dimodelkan secara lengkap dan konsisten.

Lebih terperinci

LOGIKA INFORMATIKA. Bahan Ajar

LOGIKA INFORMATIKA. Bahan Ajar LOGIKA INFORMATIKA Bahan Ajar Digunakan sebagai salah satu bahan ajar mata kuliah Logika Informatika Oleh Achmad Fauzan TEKNIK INFORMATIKA POLITEKNIK HARAPAN BERSAMA TEGAL 2016 Bab 1 Pengantar Logika Proposisional

Lebih terperinci

Modul ke: Logika Matematika. Proposisi & Kuantor. Fakultas FASILKOM BAGUS PRIAMBODO. Program Studi SISTEM INFORMASI.

Modul ke: Logika Matematika. Proposisi & Kuantor. Fakultas FASILKOM BAGUS PRIAMBODO. Program Studi SISTEM INFORMASI. Modul ke: 5 Logika Matematika Proposisi & Kuantor Fakultas FASILKOM BAGUS PRIAMBODO Program Studi SISTEM INFORMASI http://www.mercubuana.ac.id Materi Pembelajaran Kalkulus Proposisi Konjungsi Disjungsi

Lebih terperinci

- Mahasiswa memahami dan mampu membuat kalimat, mengevaluasi kalimat dan menentukan validitas suatu kalimat

- Mahasiswa memahami dan mampu membuat kalimat, mengevaluasi kalimat dan menentukan validitas suatu kalimat LOGIKA Tujuan umum : - Mahasiswa memahami dan mampu membuat kalimat, mengevaluasi kalimat dan menentukan validitas suatu kalimat Tujuan Khusus: - mahasiswa diharapkan dapat : 1. memahami pengertian proposisi,

Lebih terperinci

kusnawi.s.kom, M.Eng version

kusnawi.s.kom, M.Eng version Propositional Logic 3 kusnawi.s.kom, M.Eng version 1.0.0.2009 Adalah sifat-sifat yang dimiliki oleh kalimat logika. Ada 3 sifat logika yaitu : - Valid(Tautologi) - Kontradiksi - Satisfiable(Contingent).

Lebih terperinci

PENGERTIAN. Proposisi Kalimat deklaratif yang bernilai benar (true) atau salah (false), tetapi tidak keduanya. Nama lain proposisi: kalimat terbuka.

PENGERTIAN. Proposisi Kalimat deklaratif yang bernilai benar (true) atau salah (false), tetapi tidak keduanya. Nama lain proposisi: kalimat terbuka. BAB 2 LOGIKA PENGERTIAN Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements). Proposisi Kalimat deklaratif yang

Lebih terperinci

Unit 5 PENALARAN/LOGIKA MATEMATIKA. Wahyudi. Pendahuluan

Unit 5 PENALARAN/LOGIKA MATEMATIKA. Wahyudi. Pendahuluan Unit 5 PENALARAN/LOGIKA MATEMATIKA Wahyudi Pendahuluan D alam menyelesaikan permasalahan matematika, penalaran matematis sangat diperlukan. Penalaran matematika menjadi pedoman atau tuntunan sah atau tidaknya

Lebih terperinci

PENGANTAR MATEMATIKA DISKRIT

PENGANTAR MATEMATIKA DISKRIT PROGRAM STUDI TEKNIK INFORMATIKA FAKULTAS TEKNIK UNIVERSITAS MUHAMMADIYAH JEMBER PENGANTAR MATEMATIKA DISKRIT ILHAM SAIFUDIN Selasa, 04 Oktober 2016 Universitas Muhammadiyah Jember Apa Kalian tau? Jawabannya

Lebih terperinci

ARGUMEN (ARGUMENT) Drs. C. Jacob, M.Pd LOGIKA BERUSAHA UTK MEMBEDAKAN ARGUMEN VALID (CORRECT) & INVALID (INCORRECT)

ARGUMEN (ARGUMENT) Drs. C. Jacob, M.Pd   LOGIKA BERUSAHA UTK MEMBEDAKAN ARGUMEN VALID (CORRECT) & INVALID (INCORRECT) ARGUMEN (ARGUMENT) Drs. C. Jacob, M.Pd Email: cjacob@upi.edu LOGIKA BERUSAHA UTK MEMBEDAKAN ARGUMEN VALID (CORRECT) & INVALID (INCORRECT) SUATU ARGUMEN MEMUAT SATU ATAU LEBIH KALIMAT YG DISEBUT PREMIS

Lebih terperinci

L ctur er: M. Mift Mi ak ft ul Am A i m n i,,s. Kom om,. M. M. ng.

L ctur er: M. Mift Mi ak ft ul Am A i m n i,,s. Kom om,. M. M. ng. POLITEKNIK NEGERI SRIWIJAYA Jurusan Teknik Komputer Program Studi D3 Teknik Komputer Lecturer: M. Miftakul Amin, S. Kom., M. Eng. Intelegensi Buatan Sesi 1 Pengantar Intelegensi Buatan 2015 Intelegensi

Lebih terperinci

LOGIKA (LOGIC) Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataanpernyataan

LOGIKA (LOGIC) Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataanpernyataan LOGIKA (LOGIC) Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataanpernyataan (statements). Proposisi kalimat deklaratif yang bernilai benar (true)

Lebih terperinci

LOGIKA INFORMATIKA. Bahan Ajar

LOGIKA INFORMATIKA. Bahan Ajar LOGIKA INFORMATIKA Bahan Ajar Digunakan sebagai salah satu bahan ajar mata kuliah Logika Informatika Oleh Achmad Fauzan TEKNIK INFORMATIKA POLITEKNIK HARAPAN BERSAMA TEGAL 2016 Daftar Isi Daftar Isi ii

Lebih terperinci

Safitri Juanita, S.Kom, M.T.I. METODOLOGI RISET KONSEP DASAR PENELITIAN

Safitri Juanita, S.Kom, M.T.I. METODOLOGI RISET KONSEP DASAR PENELITIAN Safitri Juanita, S.Kom, M.T.I. METODOLOGI RISET KONSEP DASAR PENELITIAN PENELITIAN PERGURUAN TINGGI LEMBAGA PEMERINTAHAN PERUSAHAAN SWASTA DI INDONESIA PUSAT KEGIATAN PENELITIAN YAITU LEMBAGA ILMU PENGETAHUAN

Lebih terperinci

PERTEMUAN TAUTOLOGI, KONTRADIKSI, DAN CONTINGENT

PERTEMUAN TAUTOLOGI, KONTRADIKSI, DAN CONTINGENT PERTEMUAN 5 1.1 TAUTOLOGI, KONTRADIKSI, DAN CONTINGENT Tautologi adalah suatu bentuk kalimat yang selalu bernilai benar (True) tidak peduli bagaimanapun nilai kebenaran masing-masing kalimat penyusunnya,

Lebih terperinci

PENGENALAN LOGIKA MATEMATIKA

PENGENALAN LOGIKA MATEMATIKA LOGIKA MATEMATIKA By Faradillah dillafarrahakim@gmail.com Sumber : Logika Matematika untuk Ilmu Komputer, F. Soesianto dan Djoni Dwijono, Penerbit Andi ofset PENGENALAN LOGIKA MATEMATIKA Pendahuluan Logika

Lebih terperinci

6. LOGIKA MATEMATIKA

6. LOGIKA MATEMATIKA 6. LOGIKA MATEMATIKA A. Negasi (Ingkaran) Negasi adalah pengingkaran terhadap nilai kebenaran suatu pernyataan. ~ p : tidak p p ~ p B S S B B. Operator Logika 1) Konjungsi adalah penggabungan dua pernyataan

Lebih terperinci

Logika & Himpunan 2013 LOGIKA MATEMATIKA. Oleh NUR INSANI, M.SC. Disadur dari BUDIHARTI, S.Si.

Logika & Himpunan 2013 LOGIKA MATEMATIKA. Oleh NUR INSANI, M.SC. Disadur dari BUDIHARTI, S.Si. LOGIKA MATEMATIKA Oleh NUR INSANI, M.SC Disadur dari BUDIHARTI, S.Si. Logika adalah ilmu yang mempelajari secara sistematis kaidah-kaidah penalaran yang absah/valid. Ada dua macam penalaran, yaitu: penalaran

Lebih terperinci

KONSEP DASAR LOGIKA MATEMATIKA. Riri Irawati, M.Kom Logika Matematika - 3 sks

KONSEP DASAR LOGIKA MATEMATIKA. Riri Irawati, M.Kom Logika Matematika - 3 sks KONSEP DASAR LOGIKA MATEMATIKA Riri Irawati, M.Kom Logika Matematika - 3 sks Agenda 2 Pengantar Logika Kalimat pernyataan (deklaratif) Jenis-jenis pernyataan Nilai kebenaran Variabel dan konstanta Kalimat

Lebih terperinci

kusnawi.s.kom, M.Eng version

kusnawi.s.kom, M.Eng version Propositional Logic 3 kusnawi.s.kom, M.Eng version 1.1.0.2009 Properties of Sentences Adalah sifat-sifat yang dimiliki oleh kalimat logika. Ada 3 sifat logika yaitu : - Valid(Tautologi) - Kontradiksi -

Lebih terperinci