EKUIVALENSI LOGIS. Dr. Julan HERNADI & (Asrul dan Enggar) Pertemuan 3 FONDASI MATEMATIKA. Program Studi Pendidikan Matematika FKIP Unmuh Ponorogo
|
|
|
- Adi Budiono
- 7 tahun lalu
- Tontonan:
Transkripsi
1 Program Studi Pendidikan Matematika FKIP Unmuh Ponorogo Pertemuan 3 FONDASI MATEMATIKA
2 Variasi bentuk implikasi Berangkat dari implikasi p q kita dapat membentuk tiga pernyataan implikasi relevan yang sering muncul, yaitu 1 q p disebut konvers, 2 q p disebut kontraposisi, 3 p q disebut invers. p q p q p q q p q p p q T T F F T T T T T F F T F T F T F T T F T F T F F F T T T T T T Diperhatikan bahwa implikasi dan kontraposisi mempunyai pola nilai kebenaran yang sama. Begitu juga dengan konvers dan invers. Selanjutnya, keadaan seperti ini disebut ekuivalen logis yaitu tidak serupa tapi sama makna.
3 Tautologi dan Kontradiksi Denisi: Proposisi majemuk yang selalu bernilai benar tanpa terpengaruh oleh nilai kebenaran proposisi tunggal yang menyusunnya disebut tautologi. Sebaliknya, proposisi majemuk yang selalu bernilai salah tidak terpengaruh oleh nilai kebenaran proposisi yang menyusunnya disebut kontradiksi. p p adalah tautologi, p p adalah kontradiksi. Periksa kebenaran ini dengan tabel kebenaran! Denisi: Pernyataan majemuk P dan Q dikatakan ekuivalen logis jika P Q sebuah tautologi. Selanjutnya, untuk P dan Q ekuialen logis ditulis P Q. Tautologi dan kontradiksi membicarakan sebuah pernyataan, sedangkan ekuivalensi logis membicarakan sifat dua pernyataan. Dua pernyataan ekuivalen dapat menggantikan satu sama lainnya. Dengan merujuk denisi, dua pernyataan ekuivalen jika hanya jika tabel kebenarannya memiliki pola yang sama. Contoh: p q q p, yakni implikasi dan kontraposisi adalah ekuivalen logis. Juga dapat ditunjukkan bahwa invers dan konvers adalah ekuivalen logis. (lihat tabel).
4 Bentuk Ekuivalensi Logis Dasar 1 Hukum Identitas : p T p dan p F p. 2 Hukum dominasi : p T T dan p F F. 3 Hukum idempoten : p p p dan p p p. 4 Hukum negasi ganda : ( p) p. 5 Hukum komutatif : p q q p dan p q q p. 6 Hukum asosiatif : (p q) r p (q r) dan (p q) r p (q r). 7 Hukum distributif : p (q r) (p q) (p r) dan p (q r) (p q) (p r). 8 Hukum De Morgan : (p q) p q dan (p q) = p q. 9 Hukum absorpsi : p (p q) p dan p (p q) p. 10 Hukum negasi : p p T dan p p F. di mana T pernyataan yang bernilai True dan F pernyataan yang bernilai False. Ada 2 metoda membuktikan ekuivalensi logis, yaitu Menggunakan tabel kebenaran Penjabaran dengan menggunakan bentuk dasar Semua bentuk ekuivalensi dasar di atas dapat dibuktikan.
5 Bukti Hukum De Morgan dengan Tabel Membuktikan (p q) p q dengan tabel. p q p q p q (p q) p q (p q) p q T T F F T F F T T F F T T F F T F T T F T F F T F F T T F T T T Untuk membuktikan (p q) = p q dapat dilakukan dengan cara yang sama atau menggunakan bentuk De Morgan pertama dan hukum negasi ganda. Perumuman hukum De Morgan: p q ( ( p) ( q)) (p q.) (p 1 p 2 p n) p 1 p 2 p n dan (p 1 p 2 p n) p 1 p 2 p n.
6 Pembuktian dengan Tabel (Lanj...) Buktikan p q dan p q ekuivalen logis. Bukti. Bentuk tabel kebenaran kedua proposisi tsb p q p p q p q T T F T T T F F F F F T T T T F F T T T Karena nilai kebenaran dua kolom terakhir sama maka disimpulkan kedua proposisi majemuk ini ekuivalen logis. Pembuktian dengan tabel hanya efektif untuk proposisi dengan jumlah variabel (proposisi penyusunnya) sedikit. Untuk jumlah variabel banyak, misalnya 10 proposisi maka dibutuhkan tabel dengan 2 10 = 1024 baris sehingga tidak efektif. Dibutuhkan cara yang lebih praktis, yaitu penjabaran.
7 Pembuktian dengan Penjabaran 1 Buktikan (p q) dan p q ekuivalen logis tanpa menggunakan Tabel Kebenaran. Bukti. Perhatikan penjabaran berikut (p q) ( p q) dengan contoh sebelumnya ( p) q Hukum De Morgan p q Hukum negasi ganda 2 Buktikan (p q) (p q) adalah tautologi. Bukti. Berikan justikasi aturan/hukum yang digunakan pada setiap langkah pembuktian berikut (p q) (p q) (p q) (p q) ( p q) (p q) ( p p) ( q q) T T T. Catatan: Tautologi harus ekuivalensi logis dengan T.
8 Tugas untuk Pekan Depan Tugas Terstruktur (wajib dikumpul): Kerjakan 7 soal pada exercises hal atau pilih dari Soal Latihan Bab 1 buku teks Pak Julan. Tugas Mandiri (tidak harus dikumpul): Buktikan kebenaran 10 bentuk ekuivalensi logis dasar dengan tabel kebenaran. Untuk pengembangan kemampuan logika dan bahasa Anda, selesaikan semua soal puzzle pada exercises hal 19 (No 40, 41, 42) dan hal 20 (No 56, 57, 58, 59, 60, 61). Sungguh kehebatan luar biasa jika Anda dapat menguasai soal-soal yang diberikan tersebut dengan baik.
BAB 6 EKUIVALENSI LOGIS
BAB 6 EKUIVALENSI LOGIS 1. Pendahuluan Bab ini akan membahas persamaan-persamaan antara dua buah ekspresi logika yang mungkin ekuivalen (sama), mungkin berbeda, yang kesamaan atau perbedaan tadi akan dibuktikan
BAB 7 PENYEDERHANAAN
BAB 7 PENYEDERHANAAN 1. Pendahuluan Bab ini membahaspenggunaan hukum-hukum logika pada operasi logika yang dinamakan penyederhaan (simplifying). Berbagai macam ekuivalensi dari berbagai ekpresi logika
Pertemuan 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
PROPOSISI MATEMATIKA SISTEM INFORMASI 1
PROPOSISI MATEMATIKA SISTEM INFORMASI 1 Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan (statements). Proposisi Pernyataan atau kalimat
BAB I PENDAHULUAN. a. Apa sajakah hukum-hukum logika dalam matematika? b. Apa itu preposisi bersyarat?
BAB I PENDAHULUAN 1.1 LATAR BELAKANG Secara etimologi, istilah Logika berasal dari bahasa Yunani, yaitu logos yang berarti kata, ucapan, pikiran secara utuh, atau bisa juga ilmu pengetahuan. Dalam arti
KALIMAT 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
Konvers, 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
PERTEMUAN TAUTOLOGI, KONTRADIKSI, DAN CONTINGENT
PERTEMUAN 5 1.1 TAUTOLOGI, KONTRADIKSI, DAN CONTINGENT Tautologi adalah suatu bentuk kalimat yang selalu bernilai benar (True) tidak peduli bagaimanapun nilai kebenaran masing-masing kalimat penyusunnya,
FONDASI MATEMATIKA Dasar berfikir deduktif dalam matematika. Julan HERNADI
FONDASI MATEMATIKA Dasar berfikir deduktif dalam matematika Julan HERNADI FONDASI MATEMATKA Julan HERNADI October 2, 2011 BUKU TEKS WAJIB Pada Program Studi Pendidikan Matematika FKIP UNMUH PONOROGO DAFTAR
Logika. 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
LOGIKA 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
Matematika Industri I
LOGIKA MATEMATIKA TIP FTP - UB Pokok Bahasan Proposisi dan negasinya Nilai kebenaran dari proposisi Tautologi Ekuivalen Kontradiksi Kuantor Validitas pembuktian Pokok Bahasan Proposisi dan negasinya Nilai
FONDASI MATEMATIKA Dasar berfikir deduktif dalam matematika. Julan HERNADI
FONDASI MATEMATIKA Dasar berfikir deduktif dalam matematika Julan HERNADI FONDASI MATEMATKA Julan HERNADI October 10, 2011 BUKU TEKS WAJIB Pada Program Studi Pendidikan Matematika FKIP UNMUH PONOROGO DAFTAR
Modul ke: Logika Matematika. Proposisi & Kuantor. Fakultas FASILKOM BAGUS PRIAMBODO. Program Studi SISTEM INFORMASI.
Modul ke: 5 Logika Matematika Proposisi & Kuantor Fakultas FASILKOM BAGUS PRIAMBODO Program Studi SISTEM INFORMASI http://www.mercubuana.ac.id Materi Pembelajaran Kalkulus Proposisi Konjungsi Disjungsi
PERTEMUAN 2 TABEL KEBENARAN DADANG MULYANA. TABEL KEBENARAN (TB) digunakan untuk menyajikan hubungan antara nilai kebenaran sejumlah proposisi.
PEREMUAN 2 ABEL KEBENARAN DADANG MULYANA ABEL KEBENARAN (B) digunakan untuk menyajikan hubungan antara nilai kebenaran sejumlah proposisi. ABEL 1 : B untuk proposisi dan negasinya p p MASALAH LOGIKA 1
Berdasarkan tabel 1 diperoleh bahwa p q = q p.
PEMAHAAN 1. Pengertian Kata LOGIKA mengacu pada suatu metode atau cara yang sistematis dalam berpikir (reasoning), dan terdapat dua sistem khusus yaitu : suatu metode dasar yang disebut dengan Kalkulus
LOGIKA 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
Selamat datang di Perkuliahan LOGIKA MATEMATIKA Logika Matematika Teori Himpunan Teori fungsi
Selamat datang di Perkuliahan LOGIKA MAEMAIKA Logika Matematika eori Himpunan eori fungsi Dosen : Dr. Julan HERNADI PUSAKA : Kenneth H Rossen, Discrete mathematics and its applications, fifth edition.
DASAR-DASAR LOGIKA. Pertemuan 2 Matematika Diskrit
DASAR-DASAR LOGIKA Pertemuan 2 Matematika Diskrit 25-2-2013 Materi Pembelajaran 1. Kalimat Deklaratif 2. Penghubung kalimat 3. Tautologi dan Kontradiksi 4. Konvers, Invers, dan Kontraposisi 5. Inferensi
LOGIKA. 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
Teori Dasar Himpunan. Julan HERNADI. December 27, Program Studi Pendidikan Matematika Universitas Muhammadiyah, Ponorogo
1 Program Studi Pendidikan Matematika Universitas Muhammadiyah, Ponorogo December 27, 2012 PENGERTIAN DASAR Denition Himpunan merupakan koleksi objek-objek yang disebut anggota atau elemen himpunan tersebut.
LOGIKA 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
FONDASI MATEMATKA. Julan HERNADI. October 15, BUKU TEKS WAJIB Pada Program Studi Pendidikan Matematika FKIP UNMUH PONOROGO
FONDASI MATEMATKA Julan HERNADI October 15, 2011 BUKU TEKS WAJIB Pada Program Studi Pendidikan Matematika FKIP UNMUH PONOROGO DAFTAR ISI 1 PROPOSISI DAN KONEKTIVITAS 1 1.1 Proposisi dan nilai kebenaran......................
Pernyataan adalah kalimat yang bernilai benar atau salah tetapi tidak sekaligus benar dan salah.
LOGIKA MATEMATIKA 1. Pernyataan Pernyataan adalah kalimat yang bernilai benar atau salah tetapi tidak sekaligus benar dan salah. Pernyataan dilambangkan dengan huruf kecil, misalnya p, q, r dan seterusnya.
FONDASI MATEMATIKA. Julan HERNADI. December 13, 2011 BUKU TEKS WAJIB. (Dasar berpikir deduktif dalam matematika)
FONDASI MATEMATIKA (Dasar berpikir deduktif dalam matematika) Julan HERNADI December 13, 2011 BUKU TEKS WAJIB DAFTAR ISI 1 PROPOSISI DAN KONEKTIVITAS 1 1.1 Proposisi dan nilai kebenaran......................
Logika Proposisi 1. Definisi 1. (Proposisi) Proposisi adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya sekaligus.
Logika Proposisi 1 I. Logika Proposisi Logika adalah bagian dari matematika, tetapi pada saat yang sama juga merupakan bahasa matematika. Pada akhir abad ke-19 dan awal abad ke-20, ada kepercayaan bahwa
FONDASI MATEMATIKA. Julan HERNADI. September 9, 2012 BUKU TEKS WAJIB. (Dasar berpikir deduktif dalam matematika)
FONDASI MATEMATIKA (Dasar berpikir deduktif dalam matematika) Julan HERNADI September 9, 2012 BUKU TEKS WAJIB DAFTAR ISI 1 PROPOSISI DAN KONEKTIVITAS 1 1.1 Proposisi dan nilai kebenaran......................
PENGERTIAN. Proposisi Kalimat deklaratif yang bernilai benar (true) atau salah (false), tetapi tidak keduanya. Nama lain proposisi: kalimat terbuka.
BAB 2 LOGIKA PENGERTIAN Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements). Proposisi Kalimat deklaratif yang
STMIK 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
LOGIKA. /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
MATERI 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
MATEMATIKA DISKRIT LOGIKA
MATEMATIKA DISKRIT LOGIKA Logika Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika maka anda tidak sulit belajar Bahasa Java. Jika anda tidak suka begadang maka anda bukan mahasiswa Informatika.
Pengantar 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
Logika 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
LOGIKA MATEMATIKA. MATEMATiKA DISKRET S1-SISTEM INFORMATIKA STMIK AMIKOM. proposisi conjungsi tautologi inferensi
LOGIKA MATEMATIKA MATEMATiKA DISKRET S1-SISTEM INFORMATIKA STMIK AMIKOM Definisi Proposisi adalah suatu kalimat yang bernilai benar atau salah dan tidak keduanya Proposisi Kalimat Deklaratif Proposisi
BAB 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
Representasi Kalimat Logika ke dalam Matriks Trivia
Representasi Kalimat Logika ke dalam Matriks Trivia Rio Chandra Rajagukguk 13514082 Program Studi Informatika Sekolah Teknik Elektro dan Informatika Institut Teknologi Bandung, Jl. Ganesha 10 Bandung 40132,
- 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,
LOGIKA & 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
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
Pengantar 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
Logika Matematika Diskret (TKE132107) Program Studi Teknik Elektro, Unsoed
Logika Matematika Diskret (TKE132107) Program Studi Teknik Elektro, Unsoed Iwan Setiawan Tahun Ajaran 2013/2014 Logika Klasik Matematika Diskret (TKE132107) - Program Studi Teknik
Logika 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
Pengantar 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
LOGIKA (LOGIC) Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataanpernyataan
LOGIKA (LOGIC) Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataanpernyataan (statements). Proposisi kalimat deklaratif yang bernilai benar (true)
LOGIKA 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
LOGIKA 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
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
LOGIKA 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
MODUL PERKULIAHAN EDISI 1 MATEMATIKA DISKRIT
MODUL PERKULIAHAN EDISI 1 MATEMATIKA DISKRIT Penulis : Nelly Indriani Widiastuti S.Si., M.T. JURUSAN TEKNIK INFORMATIKA UNIVERSITAS KOMPUTER INDONESIA BANDUNG 2011 DAFTAR ISI Daftar Isi. 2 Bab 1 LOGIKA
KALKULUS 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
BAB 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
BAB 6 ALJABAR BOOLE. 1. Definisi Dasar. Teorema 1 MATEMATIKA DISKRIT
BAB 6 ALJABAR BOOLE 1. Definisi Dasar Himpunan dan proposisi mempunyai sifat yang serupa yaitu memenuhi hukum identitas. Hukum ini digunakan untuk mendefinisikan struktur matematika abstrak yang disebut
Contoh 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
Logika 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
Logika Matematika. Bab 1
Bab 1 Sumber: pkss.co.id Pada bab ini, Anda akan diajak untuk memecahkan masalah yang ber - hubungan dengan konsep, di antaranya mendeskripsikan pernyataan dan bukan pernyataan (kalimat terbuka), mendeskripsikan
BAB 6 ALJABAR BOOLE. 1. Definisi Dasar MATEMATIKA DISKRIT
BAB 6 ALJABAR BOOLE 1. Definisi Dasar Himpunan dan proposisi mempunyai sifat yang serupa yaitu memenuhi hukum identitas. Hukum ini digunakan untuk mendefinisikan struktur matematika abstrak yang disebut
1.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
LOGIKA PROPOSISI 3.1 Proposisi logika proposisional. Contoh : tautologi yaitu proposisi-proposisi yang nilainya selalu benar. Contoh 3.
LOGIKA PROPOSISI 3.1 Proposisi Proposisi adalah suatu pernyataan yang bernilai benar atau salah, tetapi tidak dapat sekaligus keduanya. Kebenaran atau kesalahan dari sebuah kalimat disebut nilai kebenarannya.
Matematika 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
BAB IV LOGIKA A. Pernyataan B. Operasi uner
BAB IV LOGIKA A. Pernyataan Pernyataan adalah kalimat matematika tertutup yang benar atau yang salah, tetapi tidak kedua-duanya pada saat yang bersamaan. Pernyataan biasa dilambangkan dengan p, q, r,...
METODE PENARIKAN KESIMPULAN
1 METODE PENRIKN KESIMPULN. TURN PENUKRN Pada kenyataannya banyak argument valid yang tidak dapat di buktikan kebenarannya hanya dengan menggunakan aturan penarikan kesimpulan. Ini berarti kita membutuhkan
I. PERNYATAAN DAN NEGASINYA
1 I. PERNYATAAN DAN NEGASINYA A. Pernyataan. Pernyataan adalah suatu kalimat yang mempunyai nilai benar atau salah, tetapi tidak sekaligus keduanya. Benar atau salahnya suatu pernyataan dapat ditunjukkan
PERTEMUAN Logika Matematika
2-1 PERTEMUAN 2 Nama Mata Kuliah : Matematika Diskrit (3 SKS) Nama Dosen Pengampu : Dr. Suparman E-mail : matdis@netcourrier.com HP : 081328201198 Judul Pokok Bahasan Tujuan Pembelajaran : 2. Logika Matematika
Silogisme 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
BAB II TAUTOLOGI DAN PRINSIP-PRINSIP PEMBUKTIAN
BAB II TAUTOLOGI DAN PRINSIP-PRINSIP PEMBUKTIAN 2.1 Pendahuluan Pada bab ini akan dibicarakan rumus-rumus tautologi dan prinsip-prinsip pembuktian yang tidak saja digunakan di bidang matematika, tetapi
ATURAN INFERENSI. Dr. Julan HERNADI & (Asrul dan Enggar) Pertemuan 6 FONDASI MATEMATIKA. Program Studi Pendidikan Matematika FKIP Unmuh Ponorogo
Program Studi Pendidikan Matematika FKIP Unmuh Ponorogo Pertemuan 6 FONDASI MATEMATIKA Masalah Penarikan Kesimpulan Kesimpulan apa yang dapat diambil dari deskripsi berikut 1 Jika seseorang kuliah di perguruan
PERTEMUAN 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
Logika Informatika. Bambang Pujiarto
Logika Informatika Bambang Pujiarto LOGIKA mempelajari atau berkaitan dengan prinsip-prinsip dari penalaran argument yang valid studi tentang kriteria-kriteria untuk mengevaluasi argumenargumen dengan
Logika 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.
MAKALAH 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
Logika & Himpunan 2013 LOGIKA MATEMATIKA. Oleh NUR INSANI, M.SC. Disadur dari BUDIHARTI, S.Si.
LOGIKA MATEMATIKA Oleh NUR INSANI, M.SC Disadur dari BUDIHARTI, S.Si. Logika adalah ilmu yang mempelajari secara sistematis kaidah-kaidah penalaran yang absah/valid. Ada dua macam penalaran, yaitu: penalaran
BAB 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
Proposition 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
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
BAB 1 : DASAR-DASAR LOGIKA
BAB 1 : DASAR-DASAR LOGIKA 1.1 PENGERTIAN UMUM LOGIKA Filsafat dan matematika adalah bidang pengetahuan rasional yang ada sejak dahulu. Jauh sebelum matematika berkembang seperti sekarang ini dan penerapannya
MATEMATIKA DASAR (Ekivalensi dan Kuantifikasi)
MATEMATIKA DASAR (Ekivalensi dan Kuantifikasi) Antonius Cahya Prihandoko Universitas Jember Indonesia Jember, 2015 Antonius Cahya Prihandoko (UNEJ) MDAS - Ekivalensi dan Kuantifikasi Jember, 2015 1 / 20
Logika 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
Logika 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
Logika. Modul 1 PENDAHULUAN
Modul 1 Logika Drs. Sukirman, M.Pd. L PENDAHULUAN ogika merupakan salah satu bidang ilmu yang mengkaji prinsip-prinsip penalaran yang benar dan penarikan kesimpulan yang absah, baik yang bersifat deduktif
BAB 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
SATUAN ACARA PERKULIAHAN. ( Logika Informatika ) Pengesahan. Nama Dokumen : SATUAN ACARA PERKULIAHAN LOGIKA INFORMATIKA
Pengesahan Nama Dokumen : LOGIKA INFORMATIKA No Dokumen : No ISO 91:28/IWA 2 1dari 6 Diajukan oleh Imelda Saluza, S.Si., M.Sc. (Dosen Pengampu) Diperiksa oleh Ir. Dedi Hermanto, MT (GPM) Disetujui oleh
Dasar-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
LOGIKA 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
Logika 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
Representasi Boolean
Aljabar Boolean Boolean Variable dan Tabel Kebenaran Gerbang Logika Aritmatika Boolean Identitas Aljabar Boolean Sifat-sifat Aljabar Boolean Aturan Penyederhanaan Boolean Fungsi Eksklusif OR Teorema De
untuk mempelajari matematika lebih lanjut. Untuk menunjang kemampuankemampuan tersebut diharapkan Anda dapat menguasai beberapa kompetensi khusus
ix S Tinjauan Mata Kuliah elamat bertemu, selamat belajar, dan selamat berdiskusi dalam mata kuliah Matematika Dasar 1. Mata kuliah PEMA4102/Matematika Dasar 1 dengan bobot 3 sks ini sering pula dinamakan
MateMatika 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
Hukum-hukum Logika 2/8/ Hukum komutatif: p q q p p q q p. 8. Hukum asosiatif: p (q r) (p q) r p (q r) (p q) r
Hukum-hukum Logika Disebut juga hukum-hukum aljabar proposisi. 1. Hukum identitas: p F p p T p 3. Hukum negasi: p ~p T p ~p F 5. Hukum involusi (negasi ganda): ~(~p) p 2. Hukum null/dominasi: p F F p T
Logika Matematika. Logika Matematika. Jurusan Informatika FMIPA Unsyiah. September 26, 2012
Jurusan Informatika FMIPA Unsyiah September 26, 2012 yang diharapkan Dasar: Menggunakan logika matematika. Indikator Esensial: 1 Mengidentifikasi suatu tautologi 2 Menentukan ingkaran suatu pernyataan
Selamat 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.
METODA PEMBUKTIAN DALAM MATEMATIKA
METODA PEMBUKTIAN DALAM MATEMATIKA Dr. Julan HERNADI & Uki Suhendar, S.Pd (Asrul dan Enggar) Program Studi Pendidikan Matematika FKIP Unmuh Ponorogo Pertemuan 8 FONDASI MATEMATIKA Matematika Bukan Sekedar
Logika Matematika. Cece Kustiawan, FPMIPA, UPI
Logika Matematika 1. Pengertian Logika 2. Pernyataan Matematika 3. Nilai Kebenaran 4. Operasi Uner 5. Operasi Biner 6. Tabel kebenaran Pernyataan 7. Tautologi, Kontradiksi dan Kontingen 8. Pernyataan-pernyataan
RUMUS LOGIKA MATEMATIKA DAN TABEL KEBENARAN
RUMUS LOGIKA MATEMATIKA DAN TABEL KEBENARAN Updated by Admin of Bahan Belajar Logika matematika merupakan salah satu materi pelajaran matematika dan cabang logika yang mengandung kajian matematis logika.
Kuliah 2 1. LOGIKA (LOGIC) Matematika Diskrit. Dr.-Ing. Erwin Sitompul
Kuliah 2 1. LOGIKA (LOGIC) Dr.-Ing. http://zitompul.wordpress.com Solusi Pekerjaan Rumah (PR 1) Dua pedagang barang kelontong mengeluarkan semboyan dagang untuk menarik pembeli. Pedagang pertama mengumbar
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
INGKARAN DARI PERNYATAAN
HAND-OUT Student Name : Subject : Matematika Wajib Grade/Class : / Toic : Logika Matematika Date : Teacher(s) : Mr. Daniel Kristanto Semester : 2 Parent s Signature : LOGIKA MATEMATIKA Kalimat logika matematika
MODUL LOGIKA MATEMATIKA
PERENCANAAN PEMBELAJARAN MATEMATIKA MODUL LOGIKA MATEMATIKA AUTHOR: Navel Mangelep UNIVERSITAS NEGERI MANADO FAKULTAS MATEMATIKA & ILMU PENGETAHUAN ALAM JURUSAN MATEMATIKA KATA PENGANTAR Salah satu penunjang
METODA PEMBUKTIAN DALAM MATEMATIKA
METODA PEMBUKTIAN DALAM MATEMATIKA Dr. Julan HERNADI & Uki Suhendar, S.Pd (Asrul dan Enggar) Program Studi Pendidikan Matematika FKIP Unmuh Ponorogo Pertemuan 8 FONDASI MATEMATIKA Matematika Bukan Sekedar
KATA PENGANTAR. Assalamu alaikum Wr. Wb.
KATA PENGANTAR Assalamu alaikum Wr. Wb. Matematika tidak dapat terlepas dalam kehidupan manusia sehari-hari, baik saat mempelajari matematika itu sendiri maupun mata kuliah lainnya. Mata kuliah Pengantar