Kuliah matematika diskrit Program Studi Teknik Elektro

Slides:



Advertisements
Presentasi serupa
L o g I k a 1# Konsep Dasar Logika Anggraini Mulwinda ST MEng
Advertisements

LECTURE #2 PENGANTAR LOGIKA MATEMATIKA DISKRIT TKE Ari Fadli, S.T. Program Studi Teknik Elektro, UNIVERSITAS JENDERAL SOEDIRMAN.
Pengenalan Logika Informatika
Kuliah matematika diskrit Program Studi Teknik Elektro
Pertemuan Ke-1 Oleh: Vindo Feladi, ST, M.Pd
Pengenalan logika Pertemuan 1.
Kuliah matematika diskrit Program Studi Teknik Elektro
Pengantar Logika Informatika
Kuliah matematika diskrit Program Studi Teknik Elektro
Kuliah matematika diskrit Program Studi Teknik Elektro
Pengenalan Logika Informatika
LOGIKA INFORMATIKA.
Logic & Learning Method
LOGIKA DAN ARGUMENTASI
[SAP 9] SILOGISME HIPOTETIS
PENDAHULUAN LOGIKA INFORMATIKA
1.2. Logika Predikat Pada pembahasan pasal sebelumnya kita telah
7. Inverensi Logika 7.1. Validitas suatu argumen
Kuliah matematika diskrit Program Studi Teknik Elektro
Kuliah matematika diskrit Program Studi Teknik Elektro
BAB I DASAR-DASAR LOGIKA PERTEMUAN KE-2 OLEH:
Proposisi. Pengantar  Pokok bahasan logika, atau objek dari logika adalah pernyataan-pernyataan atau kalimat yang memiliki arti tertentu dan memiliki.
SEKOLAH TINGGI KEGURUAN DAN ILMU PENDIDIKAN STKIP YPM BANGKO 2014
VALIDITAS PEMBUKTIAN – Bagian II
Logika Matematika Pengenalan Logika Matematika dan Pengantar Logika Proposisional AMIK-STMIK Jayanusa ©2009 Pengantar Logika.
Pengantar Logika Proposisional
LOGIKA Purbandini, S.Si, M.Kom.
Pengantar Logika Informatika
1.2. Logika Predikat Pada pembahasan pasal sebelumnya kita telah
Pertemuan Ke-1 Oleh: Vindo Feladi, ST, M.Pd
1. 2 Adalah ilmu pengetahuan yang mempelajari atau berkaitan dengan prinsip-prinsip dari penalaran argumen yang valid.
Core Jurusan Teknik Informatika Kode MK/SKS : TIF /2
Penarikan Kesimpulan Ekivalensi Ekspresi Logika
Logika Matematika Oleh : Dani Suandi, M.Si. KELOMPOK I.
BAB 1. LOGIKA MATEMATIK 1.1 PROPOSISI Definisi: [Proposisi]
Pengantar logika informatika
PEMBUKTIAN Secara umum pembuktian dapat ditulis sebagai :
Inferensi Penarikan kesimpulan dari beberapa proposisi Kaidah :
Pertemuan ke 1.
Inferensi Penarikan kesimpulan dari beberapa proposisi Kaidah :
Logika Matematika Pendahuluan.
LOGIKA Logika mempelajari hubungan antar pernyataan-pernyataan yang berupa kalimat-kalimat atau rumus-rumus, sehingga dapat menentukan apakah suatu pernyataan.
Matematika Diskrit Logika.
Mata Kuliah Logika Informatika Teknik Informatika SKS
Pertemuan Ke-1 Oleh: Vindo Feladi, ST, M.Pd
DU.116 Lise Sri Andar Muni Teknik Informatika STT Wastu Kencana 2013
Proposisi.
BAB I DASAR-DASAR LOGIKA PERTEMUAN KE-2 OLEH: SRI WEDA MAHENDRA S.T.
LOGIKA MATEMATIKA (Lanjutan).
Filsafat, pengetahuan dan ilmu pengetahuan
Matakuliah Pengantar Matematika
Matematika Diskrit TIF (4 sks) 3/9/2016.
Logika (logic).
KESETARAAN LOGIS Dua buah pernyataan yang berbeda dikatakan setara/equivalen bila nilai kebenarannya sama Contoh: Tidak benar bahwa aljabar linier adalah.
NEGASI PERNYATAAN MAJEMUK
LOGIKA MATEMATIKA Penerbit erlangga.
I. Pengantar umum Logika
Semantik II Oleh : Dani Suandi, M.Si. KELOMPOK I.
Kurniawan Saputra, S.Kom., M.Kom Agiska Ria Supriyatna, S.Si, MTI
Logika Informatika (Pengenalan Logika Matematika)
Pengantar Logika Informatika
1. 2 Suatu pernyataan akan memiliki bentuk susunan minimal terdiri dari subjek diikuti predikat, baru kemudian dapat diikuti objeknya. Setiap kalimat.
Pertemuan Ke-1 Ridwan, S.T,. M.Eng Ridwan, S.T, M.Eng.
Materi Kuliah IF2091 Struktur Diskrit
Logika Informatika A Pertemuan 1
Contoh 1 Kalimat (p → q) → r bernilai benar Jika
Pengantar logika informatika
Materi Kuliah Matematika Diskrit
INFERENSI LOGIKA.
PENARIKAN KESIMPULAN.
Transcript presentasi:

Kuliah matematika diskrit Program Studi Teknik Elektro PENGANTAR LOGIKA Bagian Ketiga : Pengantar Logika Kuliah matematika diskrit Ari Fadli, s.t. Program Studi Teknik Elektro

Kuliah matematika diskrit Program Studi Teknik Elektro Pengantar Logika Outline Logika Jenis-jenis Logika Argumen Logika Argumen Validitas Argumen Logis (Sound, Logically Sound) Argumen Tidak Logis (Not Sound, Fallacy Sound) Kuliah matematika diskrit Program Studi Teknik Elektro

Kuliah matematika diskrit Program Studi Teknik Elektro Pengantar Logika Logika Logika/logic berasal dari bahasa yunani “logos” yang artinya ilmu pengetahuan yang mempelajari atau berkaitan dengan prinsip-prinsip dari penalaran argumen yang valid Kuliah matematika diskrit Program Studi Teknik Elektro

Kuliah matematika diskrit Program Studi Teknik Elektro Pengantar Logika Jenis Logika Logika Klasik Logika Modern Kuliah matematika diskrit Program Studi Teknik Elektro

Pengantar Logika Logika Klasik BEBERAPA A ADALAH TIDAK B Pertama kali diperkenalkan oleh Aristoteles (384 – 322 BC). Dalam hal ini Aristoteles mengembangkan suatu aturan untuk penalaran silogistik yang benar. Suatu silogisme yang berbentuk sempurna (well formed syllogism) jika ia memiliki dua premis dan satu kesimpulan, well formed syllogism bisa valid dan tidak valid BEBERAPA A ADALAH TIDAK B Kuliah matematika diskrit Program Studi Teknik Elektro

Kuliah matematika diskrit Program Studi Teknik Elektro Pengantar Logika Logika Modern Logika modern atau logika simbolik dikembangakan dari logika Aristoteles oleh Augutus De Morgan (1806-1871) dan Goorge Boole (1815 – 1864) well formed sentences memiliki satu nilai saja = 1 atau 0 Logika Proporsisional Purwokerto adalah ibukota Jawa Tengah Logika Predikat Jika Budi seorang mahasiswa, maka ia pandai Susi seorang mahasiswa Dengan Demikian, ia pasti pandai Kuliah matematika diskrit Program Studi Teknik Elektro

Kuliah matematika diskrit Program Studi Teknik Elektro Pengantar Logika Argumen Kumpulan pernyataan yang kemudian disebut sebagai premis dan kemudian diikuti oleh kesimpulan yang selaras dengan premisnya Kuliah matematika diskrit Program Studi Teknik Elektro

Kuliah matematika diskrit Program Studi Teknik Elektro Pengantar Logika Logika Argumen Pernyataan logika : Jika permintaan bertambah, maka proses produksi ditingkatkan Jika proses produksi ditingkatkan maka jam kerja karyawan akan lebih padat Jika permintaan bertambah, maka jam kerja karyawan akan lebih padat Kuliah matematika diskrit Program Studi Teknik Elektro

Kuliah matematika diskrit Program Studi Teknik Elektro Pengantar Logika Validitas Argumen Premis-premis yang diikuti oleh suatu kesimpulan yang berasal dari premis- premisnya dan bernilai benar Logis (Sound, Logically Sound) Tidak Logis (Not Sound, Fallacy Sound) Kuliah matematika diskrit Program Studi Teknik Elektro

Kuliah matematika diskrit Program Studi Teknik Elektro Pengantar Logika Argumen Logis Argumen disebut sebagai argumen logis jika dan hanya jika kesimpulan dan semua premisnya bernilai benar Kuliah matematika diskrit Program Studi Teknik Elektro

Kuliah matematika diskrit Program Studi Teknik Elektro Pengantar Logika Argumen Tidak Logis Argumen disebut sebagai argumen tidak logis jika dan hanya jika kesimpulan dan premisnya bisa bernilai benar atau salah Kuliah matematika diskrit Program Studi Teknik Elektro

Kuliah matematika diskrit Program Studi Teknik Elektro Pengantar Logika Silogisme Silogisme Hipotetical Silogisme Disjungtive Modus Ponens Modus Tollens Kuliah matematika diskrit Program Studi Teknik Elektro

Kuliah matematika diskrit Program Studi Teknik Elektro Pengantar Logika Silogisme Hipotetical Jika P maka Q Jika Q maka R ----------------------- Jika P maka R Kuliah matematika diskrit Program Studi Teknik Elektro

Kuliah matematika diskrit Program Studi Teknik Elektro Pengantar Logika Silogisme Disjungtive P tidak Q Tidak Q ----------------------- maka P Kuliah matematika diskrit Program Studi Teknik Elektro

Kuliah matematika diskrit Program Studi Teknik Elektro Pengantar Logika Modus Ponens Jika A maka B A ----------------------- B Kuliah matematika diskrit Program Studi Teknik Elektro

Kuliah matematika diskrit Program Studi Teknik Elektro Pengantar Logika Modus Tollens Jika A maka B Tidak A ----------------------- Tidak B Kuliah matematika diskrit Program Studi Teknik Elektro

Kuliah matematika diskrit Program Studi Teknik Elektro Pengantar Logika Salah Kaprah !!! (1) Jika A maka B (2) Jika B maka C (3) Jika A maka C ------------------------------------------------------------------ (1) Dan (2) : Pernyataan (Statements) (1),(2),(3) : Argumen (1) Dan (2) : Premis dari Argumen (3) : Kesimpulan yang mengikuti premis Kuliah matematika diskrit Program Studi Teknik Elektro

Kuliah matematika diskrit Program Studi Teknik Elektro Pengantar Logika Salah Kaprah !!! Silogisme Hipotetical Silogisme Disjungtive Modus Ponens Modus Tollens Keempatnya merupakan Tipe Argumen Kuliah matematika diskrit Program Studi Teknik Elektro