Logika Deduktif & Sylogisme
|
|
|
- Susanto Sudirman
- 8 tahun lalu
- Tontonan:
Transkripsi
1 Metode Inferensi Logika Deduktif & Sylogisme Pertemuan 10
2 Umum Salah satu dari banyak metode yang paling sering digunakan untuk menggambarkan inferensi adalah deduktive logic (logika deduktif), yang digunakan sejak awal untuk menentukan validitas dari Argumen. Satu type argumen logika adalah Sylogisme, yang memiliki dua premises dan satu conclusion. Dalam argumen, premises digunakan sebagai bukti untuk mendukung conclusion (kesimpulan). Premises disebut juga dengan antecedent dan kesimpulan disebut consequent. Karakteristik pokok dari logika deduktif adalah bahwa kesimpulan benar harus mengikuti dari premises yang benar.
3 Penulisan Argumen Argumen harus ditulis dalam bentuk yang lebih singkat seperti : Anyone who can program is intelligent John can program Jhon is intelligent Dimana simbol digunakan untuk menyatakan berarti/jadi (therefor) dan garis lurus digunakan untuk memisahkan conclusion dari premises
4 Catagorical Syllogism Pada umumnya, sylogisme merupakan argumen deduktif yang valid yang mempunyai dua premises dan satu conclusion. Sylogisme klasik merupakan type yang disebut sebagai catagorical syllogisme, dimana premises dan conclusion ditentukan sebagai pernyataan catagorical dari empat bentuk berikut : Bentuk Skema Pengertian A All S is P Universal affirmative E No S is P Universal negative I Some S is P Particular affirmative O Some S is not P Particular negative
5 Bentuk Argumen dalam Sylogisme Dalam logika, skema kata digunakan untuk menunjukkan bentuk esensial dari argumen. Skema juga menunjukkan bentuk logika dari seluruh sylogisme seperti dalam bentuk berikut : All M is P All S is M All S is P Subject pada conclusion (S) disebut minor term, dan predikat pada conclusion (P) disebut major term. Premis yang berisi minor term disebut minor premise yang berisi major term disebut major premise
6 Contoh : Major Premise : Minor Premise : Conclusion : All M is P All S is M All S is P Adalah sylogisme yang disebut sebagai standard form dengan premise major dan minor yang ditentukan. Subject merupakan sesuatu yang digambarkan/ dijelaskan, sedangkan predicate menggambarkan beberapa property / sifat dari subject. Contoh lain : All microcumputers are computers All microcomputers with 512 megabytes are computers with a lot of memory
7 Middle Term Adalah bentuk ketiga dalam sylogisme yang pada umumnya terdapat dikedua premises. Middle term memilki kedudukan yang penting dalam sylogisme karena dalam sylogisme, kesimpulan tidak dapat di turunkan dari satu premis saja, sehingga middle term pada umumnya akan berfungsi sebagai penghubung dari dua premis
8 Mood Sylogisme Mood dari syllogisme ditentukan dengan tiga huruf yang memberikan bentuk major premise, minor premise dan kesimpulan secara respektif, berdasarkan tabel kategaori pernyataan. Contoh : All M is P All S is M All S is P disebut memiliki mood AAA. * Beri contoh mood lain
9 Type Sylogisme Type dari sylogisme ditentukan berdasarkan mood dan figure dari penyusunan minor term (S), major term (P) dan middle term (M), dimana akan ada empat kemungkinan figure susunan S,P dan M, yaitu : Figure 1 Figure 2 Figure 3 Figure 4 Major premise Minor Premise M P P M M P P M S M S M M S M S
10 Bentuk : All M is P All S is M All S is P Disebut bertype AAA-1 Bentuk : All M is P No S is M No S is P Disebut bertype AEE-1 dst Contoh :
11 Validitas Argumen Untuk membuktikan validitas argumen sylogisme, digunakan dicision procedure, yaitu suatu metode mekanik umum atau algoritma yang dapat menentukan validitas secara otomatis. Decision procedure untuk sylogisme dapat dikerjakan dengan menggunakan diagram Venn dengan tiga lingkaran yang saling beririsan dimana tiap lingkaran mewakili minor term (S), major term (P) dan middle term (M).
12 Algoritma penggambaran digram venn Beri arsiran untuk daerah yang tidak digunakan / diabaikan Pernyataan bentuk universal (A dan E) selalu dikerjakan lebih dulu dari pernyataan particular (O dan I) Jika kedua premise universal atau kedua premise particular maka kerjakan major premise dulu Untuk daerah yang diwakili dengan some beri tanda * Jika ada dua daerah berdampingan yang harus diberi tanda *, maka tanda * diletakkan pada garis yang membatasi kedua daerah tsb Untuk daerah yang sudah diarsir tidak dapat lagi diberi tanda *
13 Contoh Bentuk AEE-1 All M is P No S is M No S is P Bukan sylogisme valid, dengan contoh : All microcumputers are computers No mainframe is a microcomputer No mainframe is a computer * Buktikan dengan digram Venn
14 Contoh Bentuk EAE-1 No M is P All S is M No S is P Sylogisme valid, dengan contoh : No microcomputers is mainframe All laptops is microcomputers No laptops mainframe * Buktikan dengan digram Venn
15 Contoh Bentuk IAI-4 Some P are M All M are S Some S are P Sylogisme valid, dengan contoh : Some computers are laptops All laptops are transportable Some transportable are computers * Buktikan dengan digram Venn
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
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
Semoga Tuhan memberi berkah pada kelas ini.
Semoga Tuhan memberi berkah pada kelas ini. 1 TUJUAN Agar mahasiswa memahami Sistem Pakar Agar mahasiswa dapat memahami aplikasi dan penerapan dari sistem pakar 2 MATERI POKOK Pertemuan Pokok Bahasan ke-
BENTUK SILOGISME S - M S - P
Dalil Silogisme berbeda dengan aksioma silogisme karena dalil harus dibuktikan berdasarkan aksioma sedangkan aksioma sendiri dijabarkan dari definisi silogisme. Dari penjelasan diatas, maka pembuktian
Representasi Pengetahuan (Bagian 3) Logika dan Himpunan. Pertemuan 6
Representasi Pengetahuan (Bagian 3) Logika dan Himpunan Pertemuan 6 Syllogisme Adalah logika formal pertama yang dikembangkan oleh filsuf Yunani, Aristotle pada abad ke-4 SM. Syllogisme mempunyai dua premises
MODUL 1 PENGANTAR LOGIKA INFORMATIKA
STMIK STIKOM BALIKPAPAN 1 MODUL 1 PENGANTAR LOGIKA INFORMATIKA A. TEMA DAN TUJUAN KEGIATAN PEMBELAJARAN 1. Tema : Pengantar 2. Fokus Pembahasan Materi Pokok : 1. Sejarah 2. Arti 3. Manfaat 3. Tujuan Kegiatan
Tree (Pohon) dan Graph
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
PENGENALAN LOGIKA MATEMATIKA
LOGIKA MATEMATIKA By Faradillah [email protected] Sumber : Logika Matematika untuk Ilmu Komputer, F. Soesianto dan Djoni Dwijono, Penerbit Andi ofset PENGENALAN LOGIKA MATEMATIKA Pendahuluan Logika
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
LATIHAN PRA UJIAN AKHIR SEMESTER DASAR DASAR LOGIKA. Pilih dan tulislah A, B, C, D atau E untuk jawaban-jawaban yang benar di bawah ini!
Pertemuan ke-14 LATIHAN PRA UJIAN AKHIR SEMESTER DASAR DASAR LOGIKA SOAL Pilih dan tulislah A, B, C, D atau E untuk jawaban-jawaban yang benar di bawah ini! Tidak ada harimau yang memakan anaknya sendiri.
MODUL 3: DEDUKSI TRADITIONAL
MODUL 3: DEDUKSI TRADITIONAL Pembelajaran Hari Ini Peta Inferensi INFERENSI DEDUKTIF Inferensi Langsung Oposisi Inversi Konversi Obversi Dibahas 3 sesi: Deduksi Tradisional dan Modern Kontraposisi Inferensi
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
PERTEMUAN VIII-IX SILOGISME KATEGORIS
PERTEMUAN VIII-IX SILOGISME KATEGORIS 1. Silogisme adalah setiap penyimpulan, di mana dari dua keputusan (premis-premis) disimpulkan suatu keputusan yang baru (kesimpulan). Keputusan yang baru itu berhubungan
Materi-3 PROPOSITION LOGIC. Properties of Sentences Inference Methods Quantifier Sentences
Materi-3 PROPOSITION LOGIC Properties of Sentences Inference Methods Quantifier Sentences 1 Properties of Sentences Adalah sifat-sifat yang dimiliki oleh kalimat logika Ada 3 sifat, yaitu: 1. Valid 2.
MODUL PERKULIAHAN DASAR-DASAR LOGIKA. Modul ini berisi langkahlangkah. memahami prinsip-prinsip logis dalam bernalar.
MODUL PERKULIAHAN DASAR-DASAR LOGIKA Modul ini berisi langkahlangkah awal untuk memahami prinsip-prinsip logis dalam bernalar. Fakultas Program Studi Tatap Muka Kode MK Disusun Oleh Ilmu Komunikasi Hubungan
PROPOSITION LOGIC LOGIKA INFORMATIKA. Properties of Sentences Inference Methods Quantifier Sentences. Heri Sismoro, M.Kom. STMIK AMIKOM Yogyakarta
1 PROPOSITION LOGIC Properties of Sentences Inference Methods Quantifier Sentences LOGIKA INFORMATIKA Heri Sismoro, M.Kom. STMIK AMIKOM Yogyakarta 2 Properties of Sentences Adalah sifat-sifat yang dimiliki
PENGANTAR KE SILOGISME
PENGANTAR KE SILOGISME Prof. Dr. Suyono, M.Pd. Dr. Harun Nasrudin, M.S. Samik, S.Si, M.Si. Materi Kuliah Filsafat IPA KIMIA FMIPA UNESA 2017 PROBLEMS Science Domain Deductive Thinking Formulating of Thinking
DASAR-DASAR LOGIKA. Pemetaan Dasar. Sujanti, M.Ikom. Modul ke: Fakultas ILMU KOMUNIKASI. Program Studi Hubungan Masyarakat
Modul ke: 05 Ety Fakultas ILMU KOMUNIKASI DASAR-DASAR LOGIKA Pemetaan Dasar Sujanti, M.Ikom. Program Studi Hubungan Masyarakat Dasar-dasar Logika Pemetaan Dasar 1. Argumentasi 2. Menguji Suatu Penalaran
LATIHAN SOAL SISTEM BERBASIS PENGETAHUAN
LATIHAN SOAL SISTEM BERBASIS PENGETAHUAN 1. Yang tidak termasuk keuntungan dari Sistem Pakar adalah: A. Increased realibility B. Fast Response C. Permanence D. Flexibility 2. Di bawah ini adalah karakteristik
Logical Thinking: Induc1ve versus Deduc1ve Reasoning By: Ania) Murni/Zainal A. Hasibuan
Logical Thinking: Induc1ve versus Deduc1ve Reasoning By: Ania) Murni/Zainal A. Hasibuan Ania1(zhasibua)@cs.ui.ac.id Faculty of Computer Science University of Indonesia 2008 Mo1va1on How can you draw conclusion?
METODE INFERENSI/KESIMPULAN TREES,LATTICES DAN GRAF STATE SPACE
METODE INFERENSI/KESIMPULAN TREES,LATTICES DAN GRAF Tree :struktur data hirarki yg berisi node/vertices/objek yg menyimpan informasi/pengetahuan dan link/edges/cabang yg menghubungkan node Disebut juga
Cerdik Matematika. Bambang Triatma. Matematika. Cerdik Pustaka [Type the phone number] [Type the fax number]
Cerdik Matematika Bambang Triatma 2011 Matematika Cerdik Pustaka e-mail: [email protected] [Type the phone number] [Type the fax number] 1. Himpunan Cerdik Matematika 2011 Himpunan adalah kumpulan
DASAR-DASAR LOGIKA. Membangun Penalaran Yang Baik. Sujanti, M.Ikom. Modul ke: Fakultas ILMU KOMUNIKASI. Program Studi Hubungan Masyarakat
Modul ke: 06 Ety Fakultas ILMU KOMUNIKASI DASAR-DASAR LOGIKA Membangun Penalaran Yang Baik Sujanti, M.Ikom. Program Studi Hubungan Masyarakat Dasar-dasar Logika Membangun Penalaran Yang Baik 1. Mengimplementasikan
TUGAS NARASI FILSAFAT ILMU
TUGAS NARASI FILSAFAT ILMU Kelompok IA Ketua : Khoirul Fatihin 071211132001 Sekretaris : Nikken Larasati 071211133064 Bendahara I : Zahra Wanisa 071211132016 Bendahara II : Dilah Puspa Sari 071211132026
Pengenalan Logika Informatika. Pertemuan 1 Viska Armalina, ST.,M.Eng
Pengenalan Logika Informatika Pertemuan 1 Viska Armalina, ST.,M.Eng Pendahuluan Asal kata Logika Logic (Bahasa Inggris) Logos (Yunani) Arti : dalam bahasa Inggris : Word, Speech, what is spoken, thought,
6.1 PRINSIP-PRINSIP DASAR BERPIKIR KRITIS/LOGIS
PENGANTAR SAP 6 Mata Kuliah Critical and Creative Thinking 6.1 PRINSIP-PRINSIP DASAR BERPIKIR KRITIS/LOGIS 6.2 ARGUMENTASI : STRUKTUR DASAR 6.3 PENALARAN INDUKTIF & BENTUK-BENTUKNYA 6.4 PENALARAN DEDUKTIF
Dasar Logika Matematika
Dasar Logika Matematika Pertemuan 6: Analyzing Arguments Objective Mahasiswa mampu membedakan bentuk argumen induktif dan deduktif. Mahasiswa mampu menjelaskan bentuk argumen induktif dan deduktif. Mahasiswa
Suatu pernyataan akan memiliki bentuk susunan minimal terdiri dari subjek diikuti predikat, baru kemudian dapat diikuti objeknya.
1 Suatu pernyataan akan memiliki bentuk susunan minimal terdiri dari subjek diikuti predikat, baru kemudian dapat diikuti objeknya. Setiap kalimat atau pernyataan tetap dapat dianggap satu buah proposisi.
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
FAKULTAS TEKNIK UNIVERSITAS NEGERI YOGYAKARTA SILABUS LOGIKA
No. SIL/EKA/PTI 206/01 Revisi : 00 Tgl : 1 April 2008 Hal 1 dari 5 MATA KULIAH : Logika KODE MATA KULIAH : PTI 206 SEMESTER : 1 PROGRAM STUDI : Pendidikan Teknik Informatika DOSEN PENGAMPU : Ratna Wardani,
FAKULTAS KOMUNIKASI DAN BISNIS
FAKULTAS KOMUNIKASI DAN BISNIS Program Studi ILMU KOMUNIKASI/ ADMINISTRASI BISNIS RENCANA PEMBELAJARAN SEMESTER Mata Kuliah : Dasar-Dasar Logika Kode Mata Kuliah : Semester : 5/6 SKS : 2 SKS Prasyarat
2. Darimana kita tahu dalam enthymema tersebut ternyata ada premis yang belum disebut?
orang membutuhkan biaya banyak. ernyataan tersebut hanya terdiri dari dua proposisi tetapi merupakan bentuk silogisme karena ada premis yang tidak atau belum disebut. 2. Darimana kita tahu dalam enthymema
ARGUMEN DAN METODE DEDUKSI. Cece Kustiawan, FPMIPA, UPI
ARGUMEN DAN METODE DEDUKSI Pengertian Argumen Argumen merupakan serangkaian pernyataan yang mempunyai ungkapan pernyataan penarikan kesimpulan. Dalam argumen terdapat kata-kata seperti : Jadi, maka, oleh
Tes Potensi Akademik (TPA)
Rangkuman Materi SBMPTN 2013 SELEKSI BERSAMA MASUK PERGURUAN TINGGI NEGERI Disertai Teori Ringkas dan Pembahasan Soal Tes Potensi Akademik (TPA) Disusun Oleh : Pak Anang Kumpulan SMART SOLUTION dan TRIK
HEURISTIK UNTUK MEMPERCEPAT PEMBUKTIAN VALIDITAS ARGUMEN DENGAN TABLO SEMANTIK DI LOGIKA PREDIKAT
Jurnal Teknik dan Ilmu Komputer HEURISTIK UNTUK MEMPERCEPAT PEMBUKTIAN VALIDITAS ARGUMEN DENGAN TABLO SEMANTIK DI LOGIKA PREDIKAT HEURISTIC METHOD TO ACCELERATE PROOF OF VALIDITY ARGUMENT USING SEMANTIC
PEMECAHAN MASALAH MATEMATIKA
PEMECAHAN MASALAH MATEMATIKA Oleh: Kusnandi A. Pengantar Masalah dalam matematika adalah suatu persoalan yang siswa sendiri mampu menyelesaikannya tanpa menggunakan cara atau algoritma yang rutin. Maksudnya
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
: SRI ESTI TRISNO SAMI
By : SRI ESTI TRISNO SAMI 082334051324 E-mail : [email protected] Bahan Bacaan / Refferensi : 1. F. Soesianto dan Djoni Dwijono, Logika Matematika untuk Ilmu Komputer, Penerbit Andi Yogyakarta. 2. Ery
q = Socrates is a man r = Socrates is mortal Bila dibuat tabel kebenaran, hasilnya invalid.
METODE INFERENSI (2) KETERBATASAN LOGIKA PROPOSISI - Perhatikan contoh berikut : All men are mortal Socrates is a man Therefore, Socrates is mortal Misal : p = All men are mortal q = Socrates is a man
: SRI ESTI TRISNO SAMI
By : SRI ESTI TRISNO SAMI 08125218506 / 082334051324 E-mail : [email protected] Bahan Bacaan / Refferensi : 1. F. Soesianto dan Djoni Dwijono, Logika Matematika untuk Ilmu Komputer, Penerbit Andi Yogyakarta.
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
PERANAN DOMAIN PENAFSIRAN DALAM MENENTUKAN JENIS KUANTOR 1)
PERANAN DOMAIN PENAFSIRAN DALAM MENENTUKAN JENIS KUANTOR 1) Septilia Arfida 2) Jurusan Teknik Informatika, Informatics & Business Institute Darmajaya Jl. Z.A Pagar Alam No.93 Bandar Lampung Indonesia 35142Telp:
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
LOGIKA INFORMATIKA PROPOSITION LOGIC. Materi-2. Heri Sismoro, M.Kom. STMIK AMIKOM Yogyakarta
Materi-2 PROPOSITION LOGIC LOGIKA INFORMATIKA Heri Sismoro, M.Kom. STMIK AMIKOM Yogyakarta STMIK AMIKOM YOGYAKARTA Jl. Ringroad Utara Condong Catur Yogyakarta. Telp. 0274 884201 Fax 0274-884208 Website:
PENGENALAN LOGIKA INFORMATIKA
1 PENGENALAN LOGIKA INFORMATIKA PENDAHULUAN STMIK Banjarbaru 2 Logika(logic) berasal dari kata bahasa Yunani logos yaitu ilmu pengetahuan yang mempelajari atau berkaitan dengan prinsip-prinsip dari penalaran
ARGUMEN (ARGUMENT) Drs. C. Jacob, M.Pd LOGIKA BERUSAHA UTK MEMBEDAKAN ARGUMEN VALID (CORRECT) & INVALID (INCORRECT)
ARGUMEN (ARGUMENT) Drs. C. Jacob, M.Pd Email: [email protected] LOGIKA BERUSAHA UTK MEMBEDAKAN ARGUMEN VALID (CORRECT) & INVALID (INCORRECT) SUATU ARGUMEN MEMUAT SATU ATAU LEBIH KALIMAT YG DISEBUT PREMIS
TELAAH BAHAN BELAJAR MANDIRI Oleh Sufyani P. Hasil Telaah
TELAAH BAHAN BELAJAR MANDIRI Oleh Sufyani P Nama Matakuliah: Logika Matematika. SKS : 2 Semester : 7 Penulis : Drs. Mujono, M.Pd. I. Tinjauan matakuliah: tidak ada Hasil Telaah II. Sajian Materi: a. Relevansi
Sistem Pakar Metode Inferensi 1. Kelas A & B Jonh Fredrik Ulysses, ST
Sistem Pakar Metode Inferensi 1 Kelas A & B Jonh Fredrik Ulysses, ST [email protected] Pengantar Bab ini akan mendiskusikan berbagai macam metode penalaran atau inferensi. Topik ini merupakan topik
LOGIKA MATEMATIKA PENGERTIAN HIMPUNAN DAN OPERASI OPERASI DALAM HIMPUNAN. TITI RATNASARI, SSi., MSi. Modul ke: Fakultas ILKOM
LOGIKA MATEMATIKA Modul ke: PENGERTIAN HIMPUNAN DAN OPERASI OPERASI DALAM HIMPUNAN Fakultas ILKOM TITI RATNASARI, SSi., MSi Program Studi SISTEM INFORMASI www.mercubuana.ac.id Pengertian Himpunan Definisi
SIL/PKP241/01 Revisi : 00 Hal. 1 dari 5 Gasal Judul praktek: - Jam: SILABUS. Menjelaskan epistemologi sebagai bagian dari cabangcabang
SIL/PKP241/01 Revisi : 00 Hal. 1 dari 5 SILABUS Nama Mata Kuliah : EPISTEMOLOGI & LOGIKA PENDIDIKAN Kode Mata Kuliah : IPF 203 SKS : 2 (Teori) Dosen : Priyoyuwono Program Studi : Semua Program Studi di
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
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
PETA PERKULIAHAN MATA KULIAH : LOGIKA MATEMATIKA KODE MATA KULIAH : GD 321. SEMESTER : GANJIL (5) DOSEN : MAULANA, S.Pd., M.Pd.
Doc Logika Matematika PGSD Maulana 1 PETA PERKULIAHAN MATA KULIAH : LOGIKA MATEMATIKA KODE MATA KULIAH : GD 321 BOBOT SKS : 2 (DUA) TAHUN AKADEMIK : 2007/2008 PROGRAM : PGSD S-1 KELAS SEMESTER : GANJIL
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 -
LOGIKA MATEMATIKA HIMPUNAN. Altien Jonathan Rindengan, S.Si, M.Kom
LOGIKA MATEMATIKA HIMPUNAN Altien Jonathan Rindengan, S.Si, M.Kom Pendahuluan Himpunan adalah materi dasar yang sangat penting dalam matematika dan teknik informatika/ilmu komputer. Hampir setiap materi
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
Matematika diskrit Bagian dari matematika yang mempelajari objek diskrit.
Matematika diskrit Bagian dari matematika yang mempelajari objek diskrit. Banyak masalah yang dapat diatasi dengan menggunakan konsep yang ada di MATDIS, antara lain : 1. Berapa besar kemungkinan kita
BAB II KAJIAN TEORI. A. Kemampuan Penalaran Matematis. Menurut Majid (2014) penalaran adalah proses berpikir yang
BAB II KAJIAN TEORI A. Kemampuan Penalaran Matematis Menurut Majid (2014) penalaran adalah proses berpikir yang logis dan sistematis atas fakta-fakta yang empiris yang dapat diobservasi untuk memperoleh
Program Kuliah Fondasi Matematika Pertemuan 4-7
Program Kuliah Fondasi Matematika Pertemuan 4-7 Pertemuan 4 Memahami denisi fungsi proposisi Mengidentikasi nilai kebenaran fungsi proposisi Menentukan domain di mana fungsi proposisi bernilai benar Memahami
REASONING AND DECISION MAKING
REASONING AND DECISION MAKING DEDUCTIVE REASONING CONDITIONAL REASONING = PROPOSITIONAL REASONING = THE PROPOSITIONAL CALCULUS SYLLOGISM THE PROPOSITIONAL CALCULUS If = antecedent then = consequent Affirming
Refresentasi Pengetahuan 1
ب س م ا ه لل الر ح ن الر ح ي السالم عليكم ورحمة هللا وبركاته PERTEMUAN 08 PENGETAHUAN = data/fakta + mekanisme penalaran Fakta, ide, teori, hubungannya dalam domain tertentu Mekanisme Penalaran KNOWLEDGE
DASAR-DASAR LOGIKA 1
DASAR-DASAR LOGIKA 1 PENGERTIAN UMUM LOGIKA Filsafat dan matematika adalah bidang pengetahuan rasional yang ada sejak dahulu. Jauh sebelum matematika berkembang seperti sekarang ini dan penerapannya menyentuh
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
Sebuah Algoritma Sederhana untuk Menentukan Validitas Argumentasi dalam Logika Kuantum
Sebuah Algoritma Sederhana untuk Menentukan Validitas Argumentasi dalam Logika Kuantum Arief Hermanto Program Studi Fisika, Jurusan Fisika, FMIPA-UGM ABSTRAK Logika kuantum merupakan salah satu interpretasi
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
DASAR-DASAR LOGIKA. Ruang Lingkup Logika. Sujanti, M.Ikom. Modul ke: Fakultas ILMU KOMUNIKASI. Program Studi Hubungan Masyarakat
Modul ke: 01 Ety Fakultas ILMU KOMUNIKASI DASAR-DASAR LOGIKA Ruang Lingkup Logika Sujanti, M.Ikom. Program Studi Hubungan Masyarakat Dasar-dasar Logika Ruang Lingkup Logika 1. Pengantar 2. Pengertian Logika
Pusat Pengembangan Pendidikan Universitas Gadjah Mada 1
2. ALJABAR LOGIKA 2.1 Pernyataan / Proposisi Pernyataan adalah suatu kalimat yang mempunyai nilai kebenaran (benar atau salah), tetapi tidak keduanya. Contoh 1 : P = Tadi malam BBM mulai naik (memiliki
METHOD OF PROOF Lecture 7. DR. Herlina Jayadianti, ST.MT
MEHOD OF PROOF Lecture 7 DR. Herlina Jayadianti, S.M Review Sifat Kalimat dan Substitusi 1. Valid sentence / autology 2. Satisfiable sentence 3. Contingent sentence 4. Contradictory sentence / Kontradiksi
Proposition Logic. (Logika Proposisional) Bimo Sunarfri Hantono
Proposition Logic (Logika Proposisional) Bimo Sunarfri Hantono [email protected] Proposition (pernyataan) Merupakan komponen penyusun logika dasar yang dilambangkan dengan huruf kecil (p, q, r,...) yang
IMPLEMENTASI STRATEGI PERLAWANAN UNTUK PEMBUKTIAN VALIDITAS ARGUMEN DENGAN METODE REDUCTIO AD ABSURDUM
IMPLEMENTASI STRATEGI PERLAWANAN UNTUK PEMBUKTIAN VALIDITAS ARGUMEN DENGAN METODE REDUCTIO AD ABSURDUM Abstrak Pembuktian validitas argumen dengan menggunakan tabel kebenaran memerlukan baris dan kolom
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
BAB III GERBANG LOGIKA DAN ALJABAR BOOLEAN
A III GERANG LOGIKA DAN ALJAAR OOLEAN 3. Pendahuluan Komputer, kalkulator, dan peralatan digital lainnya kadang-kadang dianggap oleh orang awam sebagai sesuatu yang ajaib. Sebenarnya peralatan elektronika
HIMPUNAN. A. Pendahuluan
HIMPUNAN A. Pendahuluan Konsep himpunan pertama kali dicetuskan oleh George Cantor (185-1918), ahli mtk berkebangsaan Jerman Semula konsep tersebut kurang populer di kalangan matematisi, kurang diperhatikan,
Catt: kedua kalimat pertama dapat dibuktikan kebenarannya. Kedua kalimat terakhir dapat ditolak karena fakta yang menentang kebenarannya.
Bahasa Indonesia 2 Proposisi ( reasoning ): suatu proses berfikir yang berusaha menghubungkan fakta/ evidensi yang diketahui menuju ke pada suatu kesimpulan. Proposisi dapat dibatasi sebagai pernyataan
PPKF53106 KNOWLEDGE BASED SYSTEM
PROGRAM STUDI S1 TEKNIK INFO R MAT IK A FAKULTAS ILMU KOMPUTER (FILKOM) UNIVERSITAS PUTRA INDONE SIA YPTK PADANG RENCANA PEMBELAJARAN SEMESTER (RPS) PPKF53106 KNOWLEDGE BASED SYSTEM PROGRAM STUDI S1 TEKNIK
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
RENCANA PEMBELAJARAN SEMESTER (RPS) KKKF23111 Matematika Diskrit
RENCANA PEMBELAJARAN SEMESTER (RPS) KKKF23111 Matematika Diskrit PROGRAM STUDI S1 TEKNIK INFORMATIKA FAKULTAS ILMU KOMPUTER (FILKOM) UNIVERSITAS PUTRA INDONESIA YPTK LEMBAR PENGESAHAN Rencana Pembelajaran
SATUAN ACARA PERKULIAHAN. : Mahasiswa memiliki pengetahuan konseptual tentang silabus dan prosedur perkuliahan
SATUAN ACARA PERKULIAHAN Topik/ Pokok Bahasan 1 : Penjelasan silabus dan prosedur perkuliahan : Mahasiswa memiliki pengetahuan konseptual tentang silabus dan prosedur perkuliahan 1 Pengantar perkuliahan
Himpunan Matematika Diskret (TKE132107) Program Studi Teknik Elektro, Unsoed
Himpunan Matematika Diskret (TKE132107) Program Studi Teknik Elektro, Unsoed Iwan Setiawan Tahun Ajaran 2013/2014 Obyek-obyek diskret ada di sekitar kita. Matematika Diskret (TKE132107)
BAB 2. HIMPUNAN UNIVERSITAS MUHAMMADIYAH JEMBER ILHAM SAIFUDIN PROGRAM STUDI MANAJEMEN INFORMATIKA FAKULTAS TEKNIK. Senin, 17 Oktober 2016
PROGRAM STUDI MANAJEMEN INFORMATIKA FAKULTAS TEKNIK UNIVERSITAS MUHAMMADIYAH JEMBER BAB 2. HIMPUNAN ILHAM SAIFUDIN Senin, 17 Oktober 2016 Universitas Muhammadiyah Jember ILHAM SAIFUDIN MI HIMPUNAN 1 DASAR-DASAR
BAB I LOGIKA MATEMATIKA
BAB I LOGIKA MATEMATIKA A. Ringkasan Materi 1. Pernyataan dan Bukan Pernyataan Pernyataan adalah kalimat yang mempunyai nilai benar atau salah, tetapi tidak sekaligus benar dan salah. (pernyataan disebut
Teknik Penyederhanaan untuk Menyederhanakan Teknik Resolusi
Teknik Penyederhanaan untuk Menyederhanakan Teknik Resolusi Djoni Dwijono Teknik Informatika Universitas Kristen Duta Wacana Yogyakarta Email: [email protected] Abstrak: Teknik Resolusi sebenarnya tidak
Bahan kuliah IF2120 Matematika Diskrit. Himpunan. Oleh: Rinaldi Munir. Program Studi Teknik Informatika STEI - ITB 1
Bahan kuliah IF2120 Matematika Diskrit Himpunan Oleh: Rinaldi Munir Program Studi Teknik Informatika STEI - ITB 1 Definisi Himpunan (set) adalah kumpulan objek-objek yang berbeda. Objek di dalam himpunan
Pertemuan ke-12 METODE MILL
Pertemuan ke-12 METODE MILL John Stuart Mill (1806-1873) merumuskan lima kaidah (five canons) yang dikenal dengan nama-nama : 1. Metode Kesamaan (Method of Agreement) 2. Metode Perbedaan (Method of Difference)
Jadi d mempunyai sifat R
Jadi d mempunyai sifat R [a,b,c,d] adalah satuan di dalam argumen analogis sedangkan [P,Q dan R] adalah aspek di dalam argumen analogis. Untuk mudahnya sebagai contoh, a,b,c,d kita ganti dengan nama orang
DAFTAR ISI. ABSTRAK... KATA PENGANTAR... DAFTAR TABEL. BAB I PENDAHULUAN.. 1
DAFTAR ISI ABSTRAK... KATA PENGANTAR... DAFTAR ISI. DAFTAR TABEL. DAFTAR GAMBAR iv v viii x xii BAB I PENDAHULUAN.. 1 1.1 Latar Belakang Masalah. 1 1.2 Rumusan Masalah... 4 1.3 Pembatasan Masalah. 4 1.4
Filsafat Ilmu Sosial
Filsafat Ilmu Sosial Logika Deduktif Logika Induktif Hipotetis Verifikatif Sain, Pengetahuan ilmiah, penelitian ilmiah Dikelola secara serius oleh semua negara Biaya besar dan orang dikerahkan sebagai
MATERI SIMKOMDIG PENGERTIAN DASAR LOGIKA DAN ALGORITMA
MATERI 3.1 4.1 SIMKOMDIG PENGERTIAN DASAR LOGIKA DAN ALGORITMA LOGIKA Diperkenalkan pertama kali oleh Aristoteles (384-322 SM) ALGORITMA Diperkenalkan Oleh Ahli Matematika : Abu Ja far Muhammad Ibnu Musa
BAB III GERBANG LOGIKA BINER
III GERNG LOGIK INER 3. ljabar oole Pada abad ke-9 George oole memperkenalkan operasi hitung matematika dalam bentuk huruf abjad dan memperkenalkan simbol tertentu untuk hubungan seperti tanda tambah (+)
Silabus. Pengantar Logika Informatika Logika Proposisi Logika Predikat UTS
Logika Informatika Silabus Pengantar Logika Informatika Logika Proposisi Logika Predikat UTS Silabus (2) Himpunan Relasi dan Fungsi Bagian Aljabar Boolean UAS Referensi Nolt, John, 1990, Schaum's Outline
LOGIKA DAN BUKTI. Drs. C. Jacob, M.Pd
LOGIKA DAN UKTI Drs. C. Jacob, M.Pd Email: [email protected] Untuk mampu mengerti matematika dan argumen matematis perlu memiliki suatu pengertian mendalam logika dan cara di mana mengenal fakta-fakta yang
http://www.brigidaarie.com 1. Semua gajah mempunyai belalai. 2. Dumbo seekor gajah. 3. Dengan demikian, Dumbo memiliki belalai. VALID?? 1. Semua mahasiswa pasti pandai. 2. Dekisugi seorang mahasiswa. 3.
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
BAB I PENDAHULUAN. A. Latar Belakang
BAB I PENDAHULUAN A. Latar Belakang Era global yang ditandai oleh perkembangan ilmu pengetahuan dan teknologi yang begitu pesat memungkinkan semua orang untuk mengakses dan mendapatkan informasi dengan
MATEMATIKA BISNIS. Pendahuluan: 1. Kontrak Perkuliahan 2. Himpunan. Sitti Rakhman, SP., MM. Modul ke: Fakultas FEB. Program Studi Manajemen
Modul ke: MATEMATIKA BISNIS Pendahuluan: 1. Kontrak Perkuliahan 2. Himpunan Fakultas FEB Sitti Rakhman, SP., MM. Program Studi Manajemen www.mercubuana.ac.id KONTRAK PERKULIAHAN SAP Rincian Besarnya Bobot
[Enter Post Title Here]
[Enter Post Title Here] SISTEM BILANGAN REAL DAN HIMPUNAN A. Perubah, Konstanta dan Parameter Suatu perubah (variable) adalah sesuatu yang besarnya dapat berubah. Luas lingkaran tergantung dari jari-jarinya.
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).
BAGIAN I ARTI PENTING LOGIKA
Pertemuan ke-1 BAGIAN I ARTI PENTING LOGIKA Apakah arti penting Logika? Mengapa kita perlu belajar Logika? Logika (logike; logos; manifestasi pikiran manusia) adalah Ilmu yang mempelajari sistematika berpikir
Silabus. Pengantar Logika Informatika Logika Proposisi Logika Predikat UTS Himpunan Relasi & Fungsi Bagian Aljabar Boolean UAs
LOGIKA INFORMATIKA Silabus Pengantar Logika Informatika Logika Proposisi Logika Predikat UTS Himpunan Relasi & Fungsi Bagian Aljabar Boolean UAs Referensi Buku Teks. Edmund Burke and Eric Foxley, 1996
