Kuliah 2 1. LOGIKA (LOGIC) Matematika Diskrit. Dr.-Ing. Erwin Sitompul
|
|
- Susanti Pranoto
- 6 tahun lalu
- Tontonan:
Transkripsi
1 Kuliah 2 1. LOGIKA (LOGIC) Dr.-Ing.
2 Solusi Pekerjaan Rumah (PR 1) Dua pedagang barang kelontong mengeluarkan semboyan dagang untuk menarik pembeli. Pedagang pertama mengumbar semboyan Barang bagus tidak murah, sedangkan pedagang kedua mempunyai semboyan Barang murah tidak bagus. Selidiki apakah kedua semboyan pedagang tersebut menyatakan hal yang sama atau tidak? Solusi: Bila p: Barang itu bagus q: Barang itu murah Maka semboyan pedagang pertama adalah p ~q Semboyan pedagang kedua adalah q ~p p ~q q ~p? 2/2
3 Solusi Pekerjaan Rumah (PR 1) p ~q q ~p Kedua semboyan pedagang menyatakan hal yang sama. 2/3
4 Varian Proposisi Bersyarat Konversi: q p Inversi: ~p ~q Kontraposisi: ~q ~p 2/4
5 Varian Proposisi Bersyarat Contoh: Tentukan konversi, inversi, dan kontraposisi dari: Jika Amir memiliki mobil, maka ia orang kaya. Solusi: Konversi: Jika Amir orang kaya, maka ia memiliki mobil. Inversi: Jika Amir tidak memiliki mobil, maka ia bukan orang kaya. Kontraposisi: Jika Amir bukan orang kaya, maka ia tidak memiliki mobil. Konversi: q p Inversi: ~p ~q Kontraposisi: ~q ~p 2/5
6 Contoh: Tentukan kontraposisi dari proposisi-proposisi berikut: Kontraposisi a) Jika ia bersalah, maka ia dimasukkan ke dalam penjara. b) Jika 6 lebih besar dari 0, maka 6 bukan bilangan negatif. c) Iwan lulus ujian hanya jika ia belajar. Solusi: a) Jika ia tidak dimasukkan ke dalam penjara, maka ia tidak bersalah. b) Jika 6 bilangan negatif, maka 6 tidak lebih besar dari 0. c) Jika Iwan tidak belajar, maka ia tidak lulus ujian. p hanya jika q Kontraposisi: ~q ~p 2/6
7 Contoh: d) Hanya jika ia tidak terlambat maka ia akan mendapat pekerjaan itu. e) Perlu ada angin agar layang-layang bisa terbang. f) Cukup hari hujan agar hari ini dingin. Solusi: d) Jika ia terlambat, maka ia tidak akan mendapat pekerjaan itu. Kontraposisi e) Jika tidak ada angin, maka layang-layang tidak bisa terbang. f) Jika hari ini tidak dingin, maka hari ini tidak hujan. p hanya jika q q syarat perlu untuk p p syarat cukup untuk q 2/7
8 Proposisi Bersyarat Ganda (Bi-Implikasi) Bentuk proposisi: p jika dan hanya jika q Notasi: p q p q (p q) (q p) 2/8
9 Proposisi Bersyarat Ganda (Bi-Implikasi) Dengan kata lain, p jika dan hanya jika q dapat pula dibaca jika p maka q dan jika q maka p 2/9
10 Proposisi Bersyarat Ganda (Bi-Implikasi) Berbagai cara membaca bi-implikasi p q: p jika dan hanya jika q. p adalah syarat perlu dan cukup untuk q. Jika p maka q, dan sebaliknya. p iff q. 2/10
11 Proposisi Bersyarat Ganda (Bi-Implikasi) Contoh: Proposisi-proposisi majemuk berikut adalah bi-implikasi dalam berbagai bentuk = 2 jika dan hanya jika = 4. Syarat perlu dan syarat cukup agar turun hujan adalah kelembaban udara yang tinggi. Jika Anda orang kaya, maka Anda mempunyai banyak uang, dan sebaliknya. Cikarang terletak di Jawa Barat iff Jawa Barat adalah sebuah provinsi di Indonesia. Jika udara di luar panas maka Anda membeli es krim, dan jika Anda membeli es krim maka udara di luar panas. 2/11
12 Proposisi Bersyarat Ganda (Bi-Implikasi) Contoh: Proposisi-proposisi majemuk berikut adalah bi-implikasi dalam berbagai bentuk Syarat cukup dan perlu agar Anda memenangkan pertandingan adalah Anda melakukan banyak latihan. Anda naik jabatan jika Anda punya koneksi, dan Anda punya koneksi jika Anda naik jabatan. Jika saya lama menonton televisi maka mata saya lelah, begitu juga sebaliknya. Kereta api datang terlambat tepat pada hari-hari ketika saya membutuhkannya. 2/12
13 Hukum Logika Implikasi dan Bi-Implikasi 2/13
14 Contoh Latihan Contoh: Diberikan pernyataan Tidak benar bahwa dia belajar Algoritma tetapi tidak belajar Matematika. a) Nyatakan pernyataan di atas dalam notasi simbolik (ekspresi logika). b) Berikan pernyataan yang ekivalen secara logika dengan pernyataan tersebut (Petunjuk: Gunakan Hukum De Morgan). Solusi: Bila Maka: a) ~ (p ~q) p: Dia belajar Algoritma q: Dia belajar Matematika b) ~ (p ~q) ~ p q Dia tidak belajar Algoritma atau belajar Matematika. 2/14
15 Contoh: Untuk menerangkan mutu sebuah hotel, misalkan: p : Pelayanannya baik. q : Tarif kamarnya murah. r : Hotelnya berbintang tiga. Contoh Latihan Terjemahkan proposisi-proposisi berikut dalam notasi simbolik dengan menggunakan p, q, dan r: a) Tarif kamarnya murah tetapi pelayanannya buruk. b) Tarif kamarnya mahal atau pelayanannya baik, namun tidak keduanya. c) Salah bahwa hotel berbintang tiga berarti tarif kamarnya murah dan pelayannya buruk. Solusi: a) q ~p b) ~q p c) ~ (r (q ~p)) (~q ~p ) (q p) 2/15
16 Contoh: Nyatakanlah pernyataan berikut dalam notasi simbolik: Jika Anda berusia di bawah 17 tahun, maka Anda tidak dapat mengikuti Pemilu, kecuali kalau Anda sudah menikah. Solusi: Anggap: p : Anda berusia di bawah 17 tahun. q : Anda sudah menikah. r : Anda dapat mengikuti Pemilu. Contoh Latihan Maka pernyataan di atas dapat dinyatakan dengan: (p ~q) ~r Jika Anda berusia dibawah 17 tahun dan belum menikah, maka Anda tidak dapat mengikuti Pemilu. r (~p q) 2/16
17 Contoh Latihan Contoh: Tunjukkan bahwa [~p (p q)] q adalah sebuah tautologi. Solusi: Untuk menunjukkan tautologi, disusun tabel kebenaran: [~p (p q)] q adalah sebuah tautologi. Benar untuk semua kasus 2/17
18 Argumen Argumen adalah suatu deret proposisi yang dituliskan sebagai: Dalam hal ini p 1, p 2,, p n disebut hipotesis (premis) dan q disebut konklusi. Argumen dapat bernilai sahih (valid) atau palsu (invalid). Perlu ditekankan, bahwa valid tidak sama maknanya dengan true (benar). 2/18
19 Argumen Definisi: Sebuah argumen dikatakan sahih (valid) jika konklusi benar, yaitu bilamana semua hipotesisnya benar; sebaliknya argumen dikatakan palsu (invalid). Jika argumen sahih, maka kita mengatakan bahwa secara logika konklusi mengikuti hipotesis; atau sama dengan memperlihatkan bahwa implikasi: (p 1 p 2 p n ) q adalah benar. Argumen yang palsu menunjukkan proses penalaran yang tidak benar. 2/19
20 Argumen Contoh: Perlihatkan bahwa argumen berikut adalah sahih: Jika air laut surut setelah gempa di laut, maka tsunami datang. Air laut surut setelah gempa di laut. Karena itu, tsunami datang. Solusi: Misalkan: p : Air laut surut setelah gempa di laut. q : Tsunami datang. Maka argumen di atas dapat dituliskan dengan: p q p q Terdapat 2 cara untuk membuktikan kesahihan argumen ini. Keduanya mempergunakan tabel kebenaran. 2/20
21 Argumen Cara 1: Menyusun tabel kebenaran p, q, dan p q : p q p q Argumen sahih adalah: jika semua hipotesisnya benar, maka konklusinya benar. Kita periksa: apakah bila hipotesis p q dan p benar, maka konklusi q juga benar. Lihat baris 1: p q dan p benar secara bersama-sama, dan q pada baris 1 juga benar. Argumen adalah s a h i h. 2/21
22 Argumen Cara 2: Menunjukkan dengan tabel kebenaran bahwa [(p q) p] q adalah sebuah tautologi Apabila tautologi, maka argumen adalah sahih p q p q Argumen adalah s a h i h. 2/22
23 Argumen Perlihatkan bahwa penalaran pada argumen berikut adalah tidak benar, dengan kata lain argumennya palsu: Jika air laut surut setelah gempa di laut, maka tsunami datang. Tsunami datang. Jadi, air laut surut setelah gempa di laut. Solusi: Misalkan: p : Air laut surut setelah gempa di laut. q : Tsunami datang. Maka argumen di atas dapat dituliskan dengan: p q q p Perhatikan baris 3 Konklusi p salah, walaupun semua hipotesis benar Jadi, argumen tersebut tidak sahih atau p a l s u. 2/23
24 No.1: Pekerjaan Rumah (PR 2) Diberikan pernyataan Perlu memiliki password yang sah agar Anda bisa log on ke server. a) Nyatakanlah pernyataan di atas dalam bentuk proposisi jika p maka q. b) Tentukanlah ingkaran, konversi, inversi, dan kontraposisi dari pernyataan tersebut. No.2: Periksa kesahihan argumen berikut ini: Jika 5 lebih kecil dari 4, maka 5 bukan bilangan prima. 5 tidak lebih kecil dari 4. 5 adalah bilangan prima. 2/24
25 Pekerjaan Rumah (PR 2) No.1: New Diberikan pernyataan Bila ingin mendaftarkan diri untuk berkonsultasi dengan dokter di rumah sakit ini, Anda cukup mengirimkan pesan singkat SMS ke nomor kami. a) Nyatakanlah pernyataan di atas dalam bentuk implikasi jika p maka q. b) Tentukanlah ingkaran, konversi, inversi, dan kontraposisi dari implikasi diatas. No.2: Periksa kesahihan argumen berikut ini: Saya akan menyusun rancangan anggaran hanya jika Anda memberi persetujuan awal. Anda tidak memberi persetujuan awal. Saya akan menyusun rancangan anggaran. 2/25
Pertemuan 6 VARIAN BERSYARAT & BIKONDISIONAL
Pertemuan 6 VARIAN BERSYARAT & BIKONDISIONAL Varian Proposisi Bersyarat Konvers (kebalikan): q p Invers : ~ p ~ q Kontraposisi : ~ q ~ p Implikasi Konvers Invers Kontraposisi p q ~ p ~ q p q q p ~ p ~
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 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 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 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 adalah jantung dari algoritma dan pemrograman. Contoh: if x mod 2 = 0 then x:=x + 1 else x:=x 1
LOGIKA 1 2 Logika adalah jantung dari algoritma dan pemrograman. Contoh: if x mod 2 = 0 then x:=x + 1 else x:=x 1 3 Contoh 4. Diketahui proposisi-proposisi berikut: p : Pemuda itu tinggi q : Pemuda itu
Lebih terperinciContoh 1.36 Diberikan pernyataan Tidak benar bahwa dia belajar Algoritma tetapi tidak belajar Matematika.
Contoh 1.36 Diberikan pernyataan Tidak benar bahwa dia belajar Algoritma tetapi tidak belajar Matematika. (a) Nyatakan pernyataan di atas dalam notasi simbolik (ekspresi logika) (b) Berikan pernyataan
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 terperinciLogika Matematik. Saripudin, M.Pd.
Logika Matematik Saripudin, M.Pd. 1 Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan (statements). Proposisi Pernyataan atau kalimat
Lebih terperinciMateMatika Diskrit. Logika (logic) STMIK Parna Raya Manado Ir. Hasanuddin Sirait, M.T
MateMatika Diskrit Logika (logic) STMIK Parna Raya Manado Ir. Hasanuddin Sirait, M.T 1 Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan
Lebih terperinciMatematika Terapan Teknik Informatika
Matematika Terapan Teknik Informatika Zaid Romegar Mair romegardm@gmail.com http://mairzaid.wordpress.com Lisensi Dokumen: Copyright 2015-2016 IlmuKomputer.Com Seluruh dokumen di IlmuKomputer.Com dapat
Lebih terperinciLOGIKA (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 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 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 Logika Logika adalah ilmu yang membantu kita dalam berpikir dan menalar (reasoning)
Lebih terperinciLogika Proposisi. Rudi Susanto
Logika Proposisi Rudi Susanto 1 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
Lebih terperinciMateri Kuliah Matematika Komputasi. Oleh: Gembong Edhi Setyawan. Program Teknologi Informasi dan Ilmu Komputer Universitas Brawijaya
Materi Kuliah Matematika Komputasi Oleh: Gembong Edhi Setyawan Program Teknologi Informasi dan Ilmu Komputer Universitas Brawijaya 1 Logika Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika
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 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 terperinciPROPOSISI 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 terperinciLogika 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 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 terperinci1. SET. Descrete Mathematics 1
1. SET 1 Discrete Mathematics 1. Set and Logic 2. Relation 3. Function 4. Induction 5. Boolean Algebra and Number Theory MID 6. Graf dan Tree/Pohon 7. Combinatorial 8. Discrete Probability UAS 2 SET (CONT..)
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 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 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 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 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 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 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 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 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 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 terperinciIT105 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 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 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 terperinciPengantar Logika Lanjut
Pengantar Logika Lanjut 1 Soal Latihan 1. Ubahlah proposisi di bawah ini dalam bentuk standard jika p maka q : 1) Syarat cukup agar pom bensin meledak adalah percikan api dari rokok. 2) Syarat perlu bagi
Lebih terperinciHukum-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 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 terperinciDASAR-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 terperinciLogika. 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 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 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 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 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 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 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 terperinciKonvers, Invers dan Kontraposisi
MODUL 5 Konvers, Invers dan Kontraposisi Represented by : Firmansyah,.Kom A. TEMA DAN TUJUAN KEGIATAN PEMELAJARAN 1. Tema Konvers, Invers dan Kontraposisi 2. Fokus Pembahasan Materi Pokok 1. Konvers, invers
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 terperinci1.Asas Logik dan Pembuktian
1.Asas Logik dan Pembuktian ASAS LOGIK Logik merupakan dasar dari semua penaakulan (reasoning). Penaakulan didasarkan pada hubungan antara pernyataanpernyataan (statements). Pernyataan Ayat deklaratif
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 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 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 terperinciMahdhivan Syafwan. PAM 123 Pengantar Matematika
Mahdhivan Syafwan PAM 123 Pengantar Matematika APAKAH LOGIKA ITU PENTING? http://hukum.kompasiana.com/2012/03/31/dpr-menunda-sementara-kenaikan-bbm-bersubsidi-451248.html Pasal 7 Ayat 6 : Harga jual eceran
Lebih terperinciPERTEMUAN 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 terperinciBAB I DASAR-DASAR LOGIKA
BAB I DASAR-DASAR LOGIKA 11 Pendahuluan Logika adalah suatu displin yang berhubungan dengan metode berpikir Pada tingkat dasar, logika memberikan aturan-aturan dan teknik-teknik untuk menentukan apakah
Lebih terperinciEKUIVALENSI LOGIS. Dr. Julan HERNADI & (Asrul dan Enggar) Pertemuan 3 FONDASI MATEMATIKA. Program Studi Pendidikan Matematika FKIP Unmuh Ponorogo
Program Studi Pendidikan Matematika FKIP Unmuh Ponorogo Pertemuan 3 FONDASI MATEMATIKA Variasi bentuk implikasi Berangkat dari implikasi p q kita dapat membentuk tiga pernyataan implikasi relevan yang
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 (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 terperinciLOGIKA MATEMATIKA. LA - WB (Lembar Aktivitas Warga Belajar) MATEMATIKA PAKET C TINGKAT V DERAJAT MAHIR 1 SETARA KELAS X
LA - WB (Lembar Aktivitas Warga Belajar) LOGIKA MATEMATIKA Oleh: Hj. ITA YULIANA, S.Pd, M.Pd MATEMATIKA PAKET C TINGKAT V DERAJAT MAHIR 1 SETARA KELAS X Created By Ita Yuliana 37 Logika Matematika Kompetensi
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 terperinciMatematika Komputasional. Pengantar Logika. Oleh: M. Ali Fauzi PTIIK - UB
Matematika Komputasional Pengantar Logika Oleh: M. Ali Fauzi PTIIK - UB 1 Logika Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika maka anda pasti belajar Bahasa Java. Jika anda tidak suka
Lebih terperinciLOGIKA. Logika Nilai kebenaran pernyataan majemuk Ingkaran suatu pernyataan Penarikan kesimpulan. A. Pernyataan, Kalimat Terbuka, Ingkaran.
LOGIKA Standar Kompetensi Lulusan (SKL) Memahami pernyataan dalam matematika dan ingkarannya, menentukan nilai kebenaran pernyataan majemuk, serta mampu menggunakan prinsip logika matematika dalam pemecahan
Lebih terperinciSentence and Substitution Lecture 4-6
Sentence and Substitution Lecture 4-6 DR. Herlina Jayadianti., ST.MT 1 Operator Priority - Review Number Operator Conventional notation 1 not, OR negation Not 2 and, OR conjunction And Zohar Manna* notation
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 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 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 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 terperinciSelamat Datang. MA 2251 Matematika Diskrit. Semester II, 2016/2017. Rinovia Simanjuntak & Saladin Uttunggadewa
Selamat Datang di MA 2251 Matematika Diskrit Semester II, 2016/2017 Rinovia Simanjuntak & Saladin Uttunggadewa 1 Referensi Pustaka Kenneth H. Rosen, Discrete Mathematics and its Applications, 7 th edition,
Lebih terperinciLogika 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 terperinciLatihan Materi LOGIKA MATEMATIKA. 1. Tentukan negasi dari pernyataan-pernyataan berikut ini.
Latihan Materi LOGIKA MATEMATIKA 1. Tentukan negasi dari pernyataan-pernyataan berikut ini. (a) Tarif dasar listrik naik. (b) 10 = 50 5 (c) Celana Dono berwarna hitam. (d) Semua jenis ikan bertelur. (e)
Lebih terperinciPengantar Logika - 2
Matematika Komputasional Pengantar Logika - 2 Oleh: M. Ali Fauzi PTIIK - UB 1 Tingkat Presedensi Urutan pengerjaan logika: 2 Tingkat Presedensi Urutan pengerjaan logika: Jadi, jika ada p q r berarti lebih
Lebih terperinci1.3 Pembuktian Tautologi dan Kontradiksi. Pernyataan majemuk yang selalu bernilai benar bagaimanapun nilai proposisi
1.3 Pembuktian 1.3.1 Tautologi dan Kontradiksi Pernyataan majemuk yang selalu bernilai benar bagaimanapun nilai proposisi yang membentuknya disebut toutologi, sedangkan proposisi yang selalu bernilai salah
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 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 terperinciModul 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 terperinciModul Matematika X Semester 2 Logika Matematika
Modul Matematika X Semester 2 Logika Matematika Oleh : Markus Yuniarto, S.Si Tahun Pelajaran 2014 2015 SMA Santa Angela Jl. Merdeka No. 24 Bandung LOGIKA MATEMATIKA A. Standar Kompetensi : Menggunakan
Lebih terperinciKALKULUS PERNYATAAN. Totologi & Kontradiksi. Tingkat Kekuatan Operator. Tabel Kebenaran 9/30/2013. Nur Insani, M.Sc
KALKULUS PERNYATAAN Totologi & Kontradiksi Nur Insani, M.Sc Satu atau lebih proposisi dapat dikombinasikan untuk menghasilkan proposisi baru lewat penggunaan operator logika: negasi (-), dan (^), atau
Lebih terperinciRENCANA PELAKSANAAN PEMBELAJARAN
RENCANA PELAKSANAAN PEMBELAJARAN Materi Pelajaran : Matematika Kelas/ Semester : X / 2 Pertemuan ke : 1,2 Alokasi Waktu : 5 x 45 menit Standar Kompetensi : Menerapkan logika matematika dalam pemecahan
Lebih terperinciKALIMAT MAJEMUK DAN KONEKTIVITAS
KALIMAT MAJEMUK DAN KONEKTIVITAS Dosen & Asisten Dr. Julan HERNADI & (Asrul dan Enggar) Program Studi Pendidikan Matematika FKIP Unmuh Ponorogo Pertemuan 2 FONDASI MATEMATIKA DEFINISI DAN MACAM KONEKTIVITAS
Lebih terperinciSTMIK Banjarbaru EKUIVALENSI LOGIKA. 10/15/2012 H. Fitriyadi & F. Soesianto
1 EKUIVALENSI LOGIKA 2 Pada tautologi dan kontradiksi, dapat dipastikan bahwa jika dua buah ekspresi logika adalah tautologi, maka kedua buah ekspresi logika tersebut ekuivalen secara logis, demikian pula
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 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 terperinciPengantar Logika - 2
Matematika Komputasional Pengantar Logika - 2 Oleh: M. Ali Fauzi PTIIK - UB 1 Tingkat Presedensi Urutan pengerjaan logika: 2 Tingkat Presedensi Urutan pengerjaan logika: Jadi, jika ada p q r berarti lebih
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 terperinciStruktur Diskrit. Catatan kuliah Struktur Diskrit Program Ilmu Komputer. disusun oleh Yusuf Hartono Fitri Maya Puspita
Struktur Diskrit Catatan kuliah Struktur Diskrit Program Ilmu Komputer disusun oleh Yusuf Hartono Fitri Maya Puspita UNIVERSITAS SRIWIJAYA 2006 Kata Pengantar Buku ini adalah versi pertama dari catatan
Lebih terperinciBAB 5 TAUTOLOGI. 1. Pendahuluan. 2. Evaluasi validitas argumen
BAB 5 TAUTOLOGI 1. Pendahuluan Mengubah suatu argumen atau pernyataan-pernyataan menjadi suatu ekspresi logika, tentunya harus mengenali sub-subekspresinya. Salah satunya dengan membentuk Parse Tree yang
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 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 terperinciK13 Revisi Antiremed Kelas 11
K13 Revisi Antiremed Kelas 11 Latihan Soal Logika halaman 1 01. Misalkan p adalah pernyataan yang bernilai benar dan q adalah pernyataan yang benar. Dari tiga pernyataan berikut: (1) yang bernilai benar
Lebih terperinciArgumen 1. Contoh 1. Saya akan pergi bekerja hari ini atau besok. Saya tidak keluar rumah hari ini. Jadi, saya akan pergi bekerja besok.
Argumen 1 II. Argumen dan Kevalidannya 1 Pengertian Argumen Pembuktian memegang peranan penting dalam matematika dan sebagian besar didasarkan pada penalaran deduktif, yaitu kesimpulan yang bersifat khusus
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 terperinciLOGIKA SIMBOLIK. Bagian II. September 2005 Pengantar Dasar Matematika 1
LOGIKA IMOLIK agian II eptember 2005 Pengantar Dasar Matematika 1 LOGIKA Realitas Kalimat/ Pernyataan Logis LOGIKA eptember 2005 Pengantar Dasar Matematika 2 Apakah logika itu? Logika: Ilmu untuk berpikir
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 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 terperinciNEGASI KALIMAT DAN KALIMAT MAJEMUK (Minggu ke-3)
NEGASI KALIMAT DAN KALIMAT MAJEMUK (Minggu ke-3) 1 1 Kata Penghubung Kalimat 1. Konjungsi: menggunakan kata penghubung: dan 2. Disjungsi: menggunakan kata penghubung: atau 3. Implikasi: menggunakan kata
Lebih terperinciBAHAN AJAR LOGIKA MATEMATIKA
1 BAHAN AJAR LOGIKA MATEMATIKA DI SUSUN OLEH : DRS. ABD. SALAM,MM KELAS X BM & PAR SMK NEGERI 1 SURABAYA LOGIKA MATEMATIKA Standar Kompetensi : Menerapkan logika matematika dalam pemecahan masalah yang
Lebih terperincikusnawi.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 terperinciRENCANA PELAKSANAAN PEMBELAJARAN NO. 05/2
RENCANA PELAKSANAAN PEMBELAJARAN NO. 05/2 Nama Sekolah : SMK Diponegoro Lebaksiu Mata Pelajaran : Matematika Kelas / Semester : X / 2 Alokasi Waktu : 4 x 45 menit (1 x pertemuan) Standar Kompetensi Kompetensi
Lebih terperinci