kusnawi.s.kom, M.Eng version
|
|
- Inge Sanjaya
- 7 tahun lalu
- Tontonan:
Transkripsi
1 Propositional Logic 3 kusnawi.s.kom, M.Eng version
2 Adalah sifat-sifat yang dimiliki oleh kalimat logika. Ada 3 sifat logika yaitu : - Valid(Tautologi) - Kontradiksi - Satisfiable(Contingent).
3 Suatu sentence f disebut valid, jika untuk setiap interpretation I for f, maka f true Contoh: 1. (f and g) if and only if (g and f) 2. f or not f 3. (p and (if r then s)) if only if ((if r then s) and p) 4. (p or q) or not (p or q) 5. (if p then not q) if and only if not (p and q)
4 Suatu sentence f disebut contradictory, jika untuk setiap interpretation I for f, maka f false Contoh: 1. p and not p 2. ((p or q) and not r) if and only if ((if p then r) and (if q then r) 3. (p or q) and ((not p) and (not q))
5 Suatu sentence f disebut satisfiable, jika untuk suatu interpretation I for f, maka f true Contoh: 1. if (if p then q) then q 2. (if p then q) and (not r and s) 3. (if r then q) or p
6 Suatu teknik/metode untuk menurunkan kesimpulan berdasarkan hipotesa yang diberikan, tanpa harus menggunakan tabel kebenaran Misalkan kepada kita diberikan beberapa proposisi. Kita dapat menarik kesimpulan baru dari deret proposisi tersebut. Contoh Metodenya adalah : - Modus Ponen atau law of detachment - Modus Tollen - Silogisme Hipotetis - Silogisme Disjungtif - Simplifikasi - Konjungsi
7 p q p q Modus ponen menyatakan bahwa jika hipotesis p dan implikasi p q benar, maka konklusi q benar. Misalkan implikasi Jika 20 habis dibagi 2,maka 20 adalah bilangan genap dan hipotesis 20 habis dibagi 2 keduanya benar. Maka menurut modus ponen, inferensi berikut: 1. Jika 20 habis dibagi 2, maka 20 adalah bilangan genap habis dibagi Karena itu, 20 adalah bilangan genap
8 p q ~ q ~ p Misalkan implikasi Jika n bilangan ganjil, maka n pangat 2 bernilai ganjil dan hipotesis n pangkat 2 bernilai genap keduanya benar. Maka menurut modus tollen, inferensi berikut 1. Jika n bilangan ganjil, maka n pangkat 2 bernilai ganjil 2. n pangkat 2 bernilai genap 3. n bukan bilangan ganjil
9 p q q r p r Misalkan implikasi Jika saya belajar dengan giat, maka saya lulus ujian dan implikasi Jika saya lulus ujian, maka saya cepat menikah adalah benar. Maka menurut kaidah silogisme, inferensi berikut: 1. Jika saya belajar dengan giat, maka saya lulus ujian 2. Jika saya lulus ujian, maka saya cepat menikah 3. Jika saya belajar dengan giat, maka saya cepat menikah
10 p v q ~ p q Inferensi berikut: Saya belajar dengan giat atau saya menikah tahun depan. Saya tidak belajar dengan giat. Karena itu, saya menikah tahun depan. Menggunakan kaidah silogisme disjungtif: 1. Saya belajar dengan giat atau saya menikah tahun depan. 2. Saya tidak belajar dengan giat. 3. Saya menikah tahun depan.
11 p v q p Contoh : Hamid adalah mahasiswa UGM dan mahasiswa AMIKOM. Karena itu, Hamid adalah mahasiswa UGM. kaidah simplifikasi, atau dapat juga ditulis dengan cara: 1.Hamid adalah mahasiswa UGM dan mahasiswa AMIKOM. 2.Hamid adalah mahasiswa UGM. atau Hamid adalah mahasiswa UGM dan mahasiswa AMIKOM. Karena itu, Hamid adalah mahasiswa AMIKOM
12 p q p ^ q Contoh : Taslim mengambil kuliah Matematika Diskrit. Taslim mengulang kuliah Algoritma. Karena itu, Taslim mengambil kuliah Matematika Diskrit dan mengulang kuliah Algoritma kaidah konjungsi: 1.Taslim mengambil kuliah Matematika Diskrit. 2.Taslim mengulang kuliah Algoritma. 3.Taslim mengambil kuliah Matematika Diskrit dan mengulang kuliah Algoritma.
13 Contoh 1 : Diketahui hipotesa : a. a b b. c v d c. c e d. ~b e. f g f. d a
14 Penyelesainnya: 1. a b hipotesa (a) ~b hipotesa (d) ~a, modus tollen 2. d a hipotesa (f) ~a kesimpulan 1 ~d, Modus tollen 3. c v d hipotesa (b) ~d kesimpulan 2 c, silogisme disjungtif 4. c e hipotesa (c) c kesimpulan 2 e, Modus ponen Kesimpulannya : Pernyataan E
15 Contoh 2: Pada suatu hari, Anda hendak pergi kuliah dan baru sadar bahwa Anda tidak memakai kacamata. Setelah diingat-ingat, ada beberapa fakta dimana Anda yakin itu benar: 1) Jika kacamataku ada di meja dapur, maka aku pasti sudah melihatnya ketika mengambil makanan kecil. 2) Aku membaca buku pemrograman di ruang tamu atau aku membacanya di dapur. 3) Jika aku membaca buku pemrograman di ruang tamu, maka pastilah kacamata kuletakkan di meja tamu.
16 4) Aku tidak melihat kacamataku ketika aku mengambil makanan kecil. 5) Jika aku membaca majalah di ranjang, maka kacamataku kuletakkan di meja samping ranjang. 6) Jika aku membaca buku pemrograman di dapur, maka kacamata ada di meja dapur. Berdasar fakta-fakta tersebut, tentukan dimana letak kacamata tersebut!.
17 Penyelesaiannya: Untuk memudahkan dalam menggunakan penggunaan metode inferensi, maka kalimat-kalimat tersebut dinyatakan dengan simbol-simbol logika, Misalnya: p : Kacamata ada di meja dapur. q : Aku melihat kacamataku ketika aku mengambil makanan kecil. r : Aku membaca buku pemrograman di ruang tamu. s : Aku membaca buku pemrograman di dapur t : Kacamata kuletakkan di meja tamu. u : Aku membaca buku pemrograman di ranjang. w : Kacamata kuletakkan di meja samping ranjang.
18 Dengan simbol-simbol tersebut, maka fakta-fakta di atas dapat ditulis, sebagai berikut: 1. p q 2. r s 3. r t 4. ~q 5. u w 6. s p
19 Hasilnya : Inferensi yang dapat dilakukan adalah: 1. p q ~ q ~p, modus Tollen 2. s p ~p ~s, Modus Tollen 3. r s ~s r, Silogisme Disjungtif 4. r t r t, Modus Ponen Kesimpulannya: Kacamata ada di meja tamu.
20 Kalimat yang memuat ekspresi kuantitas Obyek yang terlibat, misalnya: semua, ada, beberapa,tidak semua, dan lain-lain. Ada dua macam, kalimat berkuantor: 1. Universal Quantifier 2. Existential Quantifier
21 Universal Quantifier (for all ) Terdapat kata-kata yg mempunyai makna umum dan menyeluruh. Notasi:, dibaca semua, seluruh, setiap Penulisan: x S p(x) Semua x dalam semesta S mempunyai sifat p Contoh: Semua orang yang hidup pasti mati Setiap mahasiswa pasti pandai
22 Existential Quantifier (for some ) Terdapat kata-kata yg mempunyai makna khusus/ sebagian. Notasi:, dibaca terdapat, ada, beberapa Penulisan: y S q(y) Terdapat y dalam semesta S mempunyai sifat q Contoh: Ada siswa di kelas ini yang ngantuk Beberapa mahasiswa ada yang mendapat nilai A untuk mata kuliah Pemrograman.
23 Ingkaran Pernyataan Berkuantor ( x) p(x) ( y) q(y) = ( y) p(y) = ( x) q(x) Contoh: 1. p : Semua mahasiswa di kelas ini enjoy belajar Logika dan Algoritma ~p : Ada mahasiswa di kelas ini yang tidak enjoy belajar Logika dan Algoritma 2. q : Ada pejabat yang korupsi ~q : Semua pejabat tidak korupsi
24
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 terperinciPROPOSITION 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
Lebih terperinciMateri-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.
Lebih terperinciLOGIKA 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:
Lebih terperinciProposition Logic. (Logika Proposisional) Bimo Sunarfri Hantono
Proposition Logic (Logika Proposisional) Bimo Sunarfri Hantono bimo@te.ugm.ac.id Proposition (pernyataan) Merupakan komponen penyusun logika dasar yang dilambangkan dengan huruf kecil (p, q, r,...) yang
Lebih terperinciPENARIKAN KESIMPULAN/ INFERENSI
PENARIKAN KESIMPULAN/ INFERENSI Proses penarikan kesimpulan dari beberapa proposisi disebut inferensi (inference). Argumen Valid/Invalid Kaidah-kaidah Inferensi Modus Ponens Modus Tollens Silogisme Hipotesis
Lebih terperinciInference Method.
Inference Method http://www.brigidaarie.com Suatu teknik/metode untuk menurunkan kesimpulan berdasarkan hipotesa yang diberikan, tanpa harus menggunakan tabel kebenaran Modus Ponens Misalkan implikasi
Lebih terperinciBAB 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 terperinciDASAR DASAR LOGIKA. Kalimat Deklaratif (Proposisi) adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya.
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 + 2 = 4
Lebih terperinciMODUL 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 terperinciMateri 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 terperinciTeori Dasar Logika (Lanjutan)
Teori Dasar Logika (Lanjutan) Inferensi Logika Logika selalu berhubungan dengan pernyataan-pernyataan yang ditentukan nilai kebenarannya. Untuk menentukan benar tidaknya kesimpulan berdasarkan sejumlah
Lebih terperinciMATEMATIKA 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 terperinciLogika 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 terperinciBab 5 Proposisi Lanjutan 29 BAB V PROPOSISI LANJUTAN TUJUAN PRAKTIKUM TEORI PENUNJANG
Bab 5 Proosisi Lanjutan 29 BAB V PROPOSISI LANJUTAN TUJUAN PRAKTIKUM 1. Memahami tentang Inferensi 2. Memahami tentang Argumentasi dan roosisi 3. Memahami dan menyelesaikan ermasalahan Inferensi TEORI
Lebih terperinciMatematika 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 terperinciLOGIKA & PEMBUKTIAN. Anita T. Kurniawati, MSi LOGIKA
LOGIKA & PEMBUKTIAN Anita T. Kurniawati, MSi LOGIKA Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan (statements). 1 Definisi: Kalimat deklaratif
Lebih terperinciLogika 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 terperinciLogika Proposisi. Adri Priadana ilkomadri.com
Logika Proposisi Adri Priadana ilkomadri.com Matematika Diskrit Apa? Cabang matematika yg mempelajari tentang obyek diskrit. Apa yang dimaksud dengan kata diskrit (discrete)? Objek disebut diskrit jika:
Lebih terperinciProgram Studi Teknik Informatika STMIK Tasikmalaya
Materi Kuliah Logika Matematika Oleh: Dadang Mulyana Program Studi Teknik Informatika STMIK Tasikmalaya dadang mulyana 2013 1 Info Dosen Nama : Dadang Mulyana Alamat : Ciamis HP. :- E-mail tugas : dadangstmik@gmail.com
Lebih terperinciArgumen 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 terperinciBAHAN KULIAH LOGIKA MATEMATIKA
BAHAN KULIAH LOGIKA MATEMATIKA O L E H A. Rahman H., S.Si, MT & Muhammad Khaidir STTIKOM Insan unggul Jl. S.A. tirtayasa no. 146 Komp. Istana Cilegon blok B 25-28 Cilegon Banten 42414 http://didir.co.cc
Lebih terperinciLogika 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 terperinciPERTEMUAN KE 3 F T T F T F T F
PEREMUAN KE 3 E. DISJUNGSI EKSLUSI (Exclusive OR) Misalkan p dan q adalah proposisi. Exclusive or p dan q, dinyatakan dengan notasi, adalah proposisi yang bernilai benar bila hanya salah satu dari p dan
Lebih terperinciARGUMENTASI. 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 terperinci2.1. Definisi Logika Proposisi Logika proposisi Atomic proposition compound proposition
2. LOGIKA PROPOSISI 2.1. Definisi Logika Proposisi Logika proposisi adalah logika pernyataan majemuk yang disusun dari pernyataanpernyataan sederhana yang dihubungkan dengan penghubung Boolean (Boolean
Lebih terperinciPENGERTIAN. 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 terperinciLOGIKA MATEMATIKA SOAL DAN PENYELESAIAN Logika, Himpunan, Relasi, Fungsi JONG JEK SIANG Kita menjalani hidup dari apa yang kita dapatkan Tetapi kita menikmati hidup dari apa yang kita berikan Jong Jek
Lebih terperinciBAB 1. Logika. Benteng kehidupan yang terkuat adalah kebenaran. (Anonim)
BAB 1 Logika Benteng kehidupan yang terkuat adalah kebenaran. (Anonim) Materi Matematika Diskrit di dalam buku ini dimulai dari pokok bahasan logika. Logika merupakan studi penalaran (reasoning). Dalam
Lebih terperinciLogika Matematika. Logika Matematika. Jurusan Informatika FMIPA Unsyiah. September 26, 2012
Jurusan Informatika FMIPA Unsyiah September 26, 2012 Cara menentukan nilai kebenaran pernyataan majemuk dengan menggunakan tabel kebenaran, yaitu dengan membagi beberapa bagian (kolom). Nilai kebenarannya
Lebih terperinciPengantar Logika. Didin Astriani Prasetyowati, M.Stat UIGM
Pengantar Logika Didin Astriani Prasetyowati, M.Stat UIGM 1 BAB I PENGANTAR LOGIKA Konsep Logika Apakah logika itu? Seringkali Logika didefinisikan sebagai ilmu untuk berfikir dan menalar dengan benar
Lebih terperinciPertemuan 2. Proposisi Bersyarat
Pertemuan 2 Proposisi ersyarat Proposisi ersyarat Definisi 4 Misalkan p dan q adalah proposisi. Proposisi majemuk jika p, maka q disebut proposisi bersyarat (implikasi dan dilambangkan dengan p q Proposisi
Lebih terperinciKALIMAT BERKUANTOR. Pertemuan 4 Senin, 11 Maret 2013
KALIMAT BERKUANTOR Pertemuan 4 Senin, 11 Maret 2013 Pokok Bahasan 1. Predikat dan kalimat berkuantor 2. Ingkaran kalimat berkuantor 3. Kalimat berkuantor ganda 4. Aplikasi logika matematika dalam ilmu
Lebih terperinci- 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 terperinciLOGIKA DAN PEMBUKTIAN
BAB I LOGIKA DAN PEMBUKTIAN A. PENGANTAR Prinsip dari logika matematika memiliki korelasi dengan pembuktian kebenaran yang dilakukan menggunakan tabel kebenaran ataupun tanpa menggunakan tabel kebenaran
Lebih terperinciLogika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements).
Logika (logic) 1 Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements). Proposisi Kalimat deklaratif yang bernilai
Lebih terperinciTABEL 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 terperinciBAB 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 terperinciLOGIKA MATEMATIKA Talisadika Maifa
22 BAB II LOGIKA MATEMATIKA Talisadika Maifa A. PENDAHULUAN Pembahasan mengenai logika sudah ada sejak lama bahkan sebelum manusia mengenal istilah logika itu sendiri. Menilik kembali kepada sejarahnya,
Lebih terperinciNAMA LAMBANG KATA PERNYATAAN LOGIKANYA PENGHUBUNG
LOGIKA MATEMATIKA A. PERNYATAAN DAN KALIMAT TERBUKA Kalimat terbuka adalah kalimat yang belum dapat ditentukan nilai kebenarannya (benar dan salah). 1. Gadis itu cantik. 2. Bersihkan lantai itu. 3. Pernyataan/kalimat
Lebih terperinciOleh: Anita T. Kurniawati, MSi Diah Arianti, S.Kom
BUKU AJAR (DIKTAT) MATEMATIKA DISKRIT Oleh: Anita T. Kurniawati, MSi Diah Arianti, S.Kom JURUSAN TEKNIK INFORMATIKA FAKULTAS TEKNOLOGI INFORMASI INSTITUT TEKNOLOGI ADHI TAMA SURABAYA SUARABAYA 2010 KATA
Lebih terperinciLogika. Arum Handini Primandari, M.Sc. Ayundyah Kesumawati, M.Si.
Logika Arum Handini Primandari, M.Sc. Ayundyah Kesumawati, M.Si. Logika Matematika Kalimat Terbuka dan Tertutup Kalimat terbuka adalah kalimat yang tidak mengandung nilai kebenaran Contoh: Semoga kamu
Lebih terperinciRefreshing Materi Kuliah Semester Pendek 2010/2011. Logika dan Algoritma. Heri Sismoro, M.Kom.
Refreshing Materi Kuliah Semester Pendek 2010/2011 Logika dan Algoritma Heri Sismoro, M.Kom. STMIK AMIKOM YOGYAKARTA 2011 Materi 1. Logika Informatika Adalah logika dasar dalam pembuatan algoritma pada
Lebih terperinciMATEMATIKA 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 terperinciLOGIKA 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 terperinciBAB 1 PENDAHULUAN MATEMATIKA DISKRIT 1. 1 APAKAH MATEMATIKA DISKRIT ITU?
BAB PENDAHULUAN. APAKAH MATEMATIKA DISKRIT ITU? Matematika diskrit adalah salah satu cabang dari matematika yang mengkaji objek-objek diskrit. Benda disebut diskrit jika terdiri dari sejumlah berhingga
Lebih terperinciLogika Proposisional Ema Utami STMIK AMIKOM Yogyakarta
Logika Proposisional Ema Utami STMIK AMIKOM Yogyakarta Logika proposisional merupakan ilmu dasar untuk mempelajari algoritma dan logika yang terkait di dalamnya yang berperanan sangat penting dalam pemrograman.
Lebih terperinciBAB 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 terperinciLOGIKA MATEMATIKA. Tabel kebenarannya sbb : p ~ p B S S B
LOGIKA MATEMATIKA A. Pernyataan, kalimat terbuka, dan ingkaran pernyataan. 1. Pernyataan Pernyataan adalah kalimat yang mengandung nilai benar atau salah tetapi tidak sekaligus kedua-duanya. a. Hasil kali
Lebih terperinciPETA 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
Lebih terperinciBAB 6 LOGIKA MATEMATIKA
A 6 LOGIKA MATEMATIKA A RINGKAAN MATERI 1. Pengertian Logika adalah suatu metode yang diciptakan untuk meneliti ketepatan penalaran (bentuk pemikiran yang masuk akal). Pernyataan adalah kalimat yang hanya
Lebih terperinciDasar-dasar Logika. (Review)
Dasar-dasar Logika (Review) Intro Logika berhubungan dengan kalimat-kalimat dan hubungan antar kalimat. Tujuan: menentukan apakah suatu kalimat / masalah bernilai benar (TRUE) atau salah (FALSE) Kalimat
Lebih terperinciKATA PENGANTAR. Assalamu alaikum Wr. Wb.
KATA PENGANTAR Assalamu alaikum Wr. Wb. Alhamdulillah.. Puji syukur kehadirat Allah SWT. atas segala rahmat dan hidayah-nya. Segala pujian hanya layak kita aturkan kepada Allah SWT. Tuhan seru sekalian
Lebih terperinciMatematika Diskrit. Nelly Indriani Widiastuti S.Si., M.T Prodi Teknik Informatika UNIKOM
Matematika Diskrit Nelly Indriani Widiastuti S.Si., M.T Prodi Teknik Informatika UNIKOM 1 Kontrak Belajar Prasyarat : Logika Matematika & Kalkulus II Jadwal: 3 SKS: 3 jam kuliah Toleransi keterlambatan??
Lebih terperinciLogika Matematika BAGUS PRIAMBODO. Tautologi dan Kontradiksi Argumen 1/Penarikan kesimpulan yang valid: modus ponen, modus tolen.
Modul ke: 6 Logika Matematika Tautologi dan Kontradiksi Argumen 1/Penarikan kesimpulan yang valid: modus ponen, modus tolen Fakultas FASILKOM BAGUS PRIAMBODO Program Studi SISTEM INFORMASI http://www.mercubuana.ac.id
Lebih terperinciPROPOSISI MAJEMUK. dadang mulyana
PROPOSISI MAJEMUK Perangkai logika digunakan untuk mengkombinasikan proposisi-proposisi atomik jadi proposisi majemuk Jangan ada ambiguitas (slah tafsir) Harus ada tanda kurung yang tepat Proposisi-proposisi
Lebih terperinciKUANTOR. A. Fungsi Pernyataan
A. Fungsi Pernyataan KUANTOR Definisi : Suatu fungsi pernyataan adalah suatu kalimat terbuka di dalam semesta pembicaraan (semesta pembicaraan diberikan secara eksplisit atau implisit). Fungsi pernyataan
Lebih terperinciEKSKLUSIF OR (XOR) DEFINISI
Logika Matematik EKSKLUSIF OR (XOR) DEFINISI : Misalkan p dan q adalah proposisi. Proposisi salah satu p atau q ditulis p q adalah proposisi yang bernilai benar jika tepat satu diantara p atau q BENAR,
Lebih terperinciMETHOD 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
Lebih terperinciBAB 4 PROPOSISI. 1. Pernyataan dan Nilai Kebenaran
BAB 4 PROPOSISI 1. Pernyataan dan Nilai Kebenaran Ilmu logika adalah berhubungan dengan kalimat-kalimat (argumen-argumen) dan hubungan yang ada diantara kalimat-kalimat tersebut. Tujuannya adalah memberikan
Lebih terperinciSilogisme Hipotesis Ekspresi Jika A maka B. Jika B maka C. Diperoleh, jika A maka C
MSH1B3 Logika Matematika Dosen: Aniq A Rohmawati, M.Si Kalkulus Proposisi [Definisi] Metode yang digunakan untuk meninjau nilai kebenaran suatu proposisi atau kalimat Jika Anda belajar di Tel-U maka Anda
Lebih terperinciLOGIKA. Arum Handini Primandari
LOGIKA Arum Handini Primandari LOGIKA MATEMATIKA KALIMAT TERBUKA DAN TERTUTUP Kalimat terbuka adalah kalimat yang tidak mengandung nilai kebenaran Contoh: Apakah kamu tahu pencipta lagu PPAP? Semoga ujian
Lebih terperinciMatematika Diskrit LOGIKA
Matematika Diskrit LOGIKA 1 Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan (statements). Proposisi Pernyataan atau kalimat deklaratif
Lebih terperinciLOGIKA. /Nurain Suryadinata, M.Pd
Nama Mata Kuliah Kode Mata Kuliah/SKS Program Studi Semester Dosen Pengampu : Matematika Diskrit : MAT-3615/ 3 sks : Pendidikan Matematika : VI (Enam) : Nego Linuhung, M.Pd /Nurain Suryadinata, M.Pd Referensi
Lebih terperinciMATERI 1 PROPOSITIONAL LOGIC
MATERI 1 PROPOSITIONAL LOGIC 1.1 Pengantar Beberapa pernyataan (statement) dapat langsung diterima kebenarannya tanpa harus tahu kebenaran pembentuknya Ada kehidupan di Bulan atau tidak ada kehidupan di
Lebih terperinciBahasan Terakhir... Pencarian Iteratif. Pencarian Adversarial. Simulated Annealing Pencarian Tabu Mean Ends. Minimax (Min-Max) Alpha-Beta Pruning
Bahasan Terakhir... Pencarian Iteratif Simulated Annealing Pencarian Tabu Mean Ends Pencarian Adversarial Minimax (Min-Max) Alpha-Beta Pruning Tugas Hard Copy (Lanjutan...) Pencarian Iteratif Simulated
Lebih terperinciMateri Kuliah IF2091 Struktur Diskrit. Pengantar Logika. Oleh: Rinaldi Munir. Program Studi Informatika STEI - ITB
Materi Kuliah IF2091 Struktur Diskrit Pengantar Logika Oleh: Rinaldi Munir Program Studi Informatika STEI - ITB 1 Logika Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika maka anda pasti
Lebih terperinciJadi penting itu baik, tapi jadi baik jauh lebih penting
LOGIKA MATEMATIKA Logika Matematika - Pernyataan, Nilai Kebenaran, dan Kalimat Terbuka - Pernyataan Majemuk - Konvers, Invers, dan Kontraposisi - Kuantor Universal dan Kuantor Eksistensial - Ingkaran dari
Lebih terperinciDian 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 terperinciPusat 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
Lebih terperinciKecerdasan 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 terperinciMATEMATIKA DASAR (Validitas Pembuktian)
MATEMATIKA DASAR (Validitas Pembuktian) Antonius Cahya Prihandoko Universitas Jember Indonesia Jember, 2015 Antonius Cahya Prihandoko (UNEJ) MDAS - Validitas Pembuktian Jember, 2015 1 / 22 Outline 1 Premis
Lebih terperinciLogika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan (statements).
Logika Matematik 1 Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan (statements). Proposisi Pernyataan atau kalimat deklaratif yang bernilai
Lebih terperinciLOGIKA MATEMATIKA LOGIKA. Altien Jonathan Rindengan, S.Si, M.Kom
LOGIKA MATEMATIKA LOGIKA Altien Jonathan Rindengan, S.Si, M.Kom Pendahuluan Untuk menemukan suatu gagasan baru dari informasi dan gagasan yang telah ada, diperlukan proses berpikir. Proses ini dikenal
Lebih terperinciMAKALAH RANGKUMAN MATERI LOGIKA MATEMATIKA : NURHIDAYAT NIM : DBC
MAKALAH RANGKUMAN MATERI LOGIKA MATEMATIKA Nama : NURHIDAYAT NIM : DC 113 055 JURUAN TEKNIK INFORMATIKA FAKULTA TEKNIK UNIVERITA PALANGKA RAYA 2013 A I PENGERTIAN Logika adalah dasar dan alat berpikir
Lebih terperinciDefinisi : predikat (first order) adalah suatu Kata (simbol) yg jika di berikan pada kalimat terbuka, dapat berubah menjadi kalimat tertutup.
LOGIKA MATEMATIKA Definisi : predikat (first order) adalah suatu Kata (simbol) yg jika di berikan pada kalimat terbuka, dapat berubah menjadi kalimat tertutup. Beberapa hal yang digunakan dalam logika
Lebih terperinciLOGIKA MATEMATIKA (Pendalaman Materi SMA)
LOGIKA MATEMATIKA (Pendalaman Materi SMA) Disampaikan Pada MGMP Matematika SMA Provinsi Bengkulu Tahun Ajaran 2007/2008 Oleh: Supama Widyaiswara LPMP Bengkulu DEPARTEMEN PENDIDIKAN NASIONAL DIREKTORAT
Lebih terperinciBAB 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
Lebih terperinciLOGIKA INFORMATIKA PROPOSITION LOGIC. Materi 1. Proposition Sentences Notation Interpretation Exercise
Materi 1 PROPOSITION LOGIC Proposition Sentences Notation Interpretation Exercise LOGIKA INFORMATIKA Heri Sismoro, M.Kom. STMIK AMIKOM Yogyakarta 2010 1 Propositions Komponen dasar pembentuk kalimat logika
Lebih terperinciKONSEP 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 terperinciSoal 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 terperinciSTMIK Banjarbaru LOGIKA PROPOSISIONAL. 9/24/2012 H. Fitriyadi & F. Soesianto
1 LOGIKA PROPOSISIONAL PENDAHULUAN STMIK Banjarbaru 2 Logika adalah pernyataan-pernyataan, yang berarti suatu kalimat yang memiliki arti tertentu dan memiliki nilai benar atau salah. Dilihat dari bentuk
Lebih terperinciSelamat Datang. MA 2151 Matematika Diskrit. Semester I, 2012/2013. Rinovia Simanjuntak & Edy Tri Baskoro
Selamat Datang di MA 2151 Matematika Diskrit Semester I, 2012/2013 Rinovia Simanjuntak & Edy Tri Baskoro 1 Referensi Pustaka Kenneth H. Rosen, Discrete Mathematics and its Applications, 7 th edition, 2007.
Lebih terperinciRepresentasi 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
Lebih terperinciLOGIKA MATEMATIKA I. PENDAHULUAN
LOGIKA MATEMATIKA I. PENDAHULUAN Logika adalah dasar dan alat berpikir yang logis dalam matematika dan pelajaran-pelajaran lainnya, sehingga dapat membantu dan memberikan bekal tambahan untuk menyampaikan
Lebih terperinciPTI 206 Logika. Semester I 2007/2008. Ratna Wardani
PTI 206 Logika Semester I 2007/2008 Ratna Wardani 1 Materi Logika Predikatif Fungsi proposisi Kuantor : Universal dan Eksistensial Kuantor bersusun 2 Logika Predikat Logika Predikat adalah perluasan dari
Lebih terperinciProgram 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
Lebih terperinciProgram Studi Teknik Informatika STMIK Tasikmalaya
Materi Kuliah Logika Matematika Oleh: Dadang Mulyana Program Studi Teknik Informatika STMIK Tasikmalaya 1 Info Dosen Nama : Dadang Mulyana Alamat : Ciamis HP. :- E-mail tugas : dadangstmik@gmail.com Web
Lebih terperinciSINTAKS 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 terperinciMatematika Diskret (Logika) Instruktur : Ferry Wahyu Wibowo, S.Si., M.Cs.
Matematika Diskret (Logika) Instruktur : Ferry Wahyu Wibowo, S.Si., M.Cs. 1 Logika Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika maka anda tidak akan sulit belajar Bahasa Java. Jika
Lebih terperinciMateri Kuliah IF2120 Matematika Diskrit. Logika (logic) Oleh: Rinaldi Munir. Program Studi Teknik Informatika STEI - ITB
Materi Kuliah IF2120 Matematika Diskrit Logika (logic) Oleh: Rinaldi Munir Program Studi Teknik Informatika STEI - ITB 1 Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika maka anda tidak
Lebih terperinciSUMBER BELAJAR PENUNJANG PLPG 2017 MATA PELAJARAN/PAKET KEAHLIAN MATEMATIKA BAB IX LOGIKA MATEMATIKA
SUMBER BELAJAR PENUNJANG PLPG 2017 MATA PELAJARAN/PAKET KEAHLIAN MATEMATIKA BAB IX LOGIKA MATEMATIKA Dr. Djadir, M.Pd. Dr. Ilham Minggi, M.Si Ja faruddin,s.pd.,m.pd. Ahmad Zaki, S.Si.,M.Si Sahlan Sidjara,
Lebih terperinciMateri Kuliah IF2120 Matematika Diskrit. Logika (logic) Oleh: Rinaldi Munir. Program Studi Teknik Informatika STEI - ITB
Materi Kuliah IF2120 Matematika Diskrit Logika (logic) Oleh: Rinaldi Munir Program Studi Teknik Informatika STEI - ITB 1 Logika Logika adalah ilmu yang membantu kita dalam berpikir dan menalar (reasoning)
Lebih terperinciLOGIKA PROPOSISI. Bagian Keempat : Logika Proposisi
LOGIKA PROPOSISI Bagian Keempat : Logika Proposisi ARI FADLI, S.T. Logika Proposisi Tujuan : Mahasiswa dapat menyebutkan tentang logika proposisi, operator dan sifat proposisi Proposisi Definisi : Setiap
Lebih terperinciLogika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements).
Logika (logic) 1 Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements). Proposisi Kalimat deklaratif yang bernilai
Lebih terperinciPERNYATAAN MAJEMUK & NILAI KEBENARAN
PERNYATAAN MAJEMUK & NILAI KEBENARAN 1. Pernyataan Majemuk Perhatikan pernyataan hari ini hujan dan aku berjalan-jalan. Pernyataan tersebut terdiri dari dua pernyataan pokok/tunggal (prime sentence), yaitu
Lebih terperinciSILABUS MATAKULIAH. Indikator Pokok Bahasan/ Materi Aktifitas Pembelajaran
SILABUS MATAKULIAH Revisi : 2 Tanggal Berlaku : September 2014 A. Identitas 1. Nama Matakuliah : A11.54406/ Logika Informatika 2. Program Studi : Teknik Informatika-S1 3. Fakultas : Ilmu Komputer 4. Bobot
Lebih terperinciLogika Proposisi 3: Translasi Bahasa Alami ke Formula Logika Proposisi Masalah Dalam Inferensi Logika Proposisi
Logika Proposisi 3: Translasi Bahasa Alami ke Formula Logika Proposisi Masalah Dalam Inferensi Logika Proposisi Kuliah Logika Matematika Semester Ganjil 2015-2016 MZI Fakultas Informatika Telkom University
Lebih terperinciLOGIKA MATEMATIKA Menuju TKD 2014
LOGIKA MATEMATIKA Menuju TKD 2014 A. PERNYATAAN MAJEMUK Jenis-jenis pernyataan majemuk: 1. Konjungsi (^ = dan ) A: Hari ini Jowoki kampanye B: Hari ini Jowoki Umroh Konjungsi (A ^ B): Hari ini Jowoki kampanye
Lebih terperinciLogika Predikat 1. Kita akan memulai bagian ini dengan dua argumen.
Logika Predikat 1 III. Logika Predikat Kita akan memulai bagian ini dengan dua argumen. Premis Konklusi Premis Konklusi A: Semua orang menyukai Ali. B: Budi menyukai Ali. C: Cecep menyukai Ali. D: Seseorang
Lebih terperinci