Matematika Diskrit Logika Matematika Dani Suandi,S.Si.,M.Si.

Slides:



Advertisements
Presentasi serupa
Soal Latihan 1 Diberikan pernyataan “Tidak benar bahwa dia belajar Algoritma tetapi tidak belajar Matematika”. (a)  Nyatakan pernyataan di atas dalam notasi.
Advertisements

LOGIKA Viska Armalina ST., M.Eng.
Materi Kuliah IF2091 Struktur Diskrit
LOGIKA MATEMATIKA BAG 1: PROPOSISI.
LOGIKA MATEMATIKA Pertemuan III.
PERNYATAAN ATAU PROPORSI
Negasi dari Konvers, Invers, dan Kontraposisi
LOGIKA LOGIKA LOGIKA.
MATEMATIKA DISKRIT By DIEN NOVITA.
Logika (logic).
MATEMATIKA DISKRIT By DIEN NOVITA.
PROPORSI (LOGIKA MATEMATIKA)
Matematika Diskrit Oleh Ir. Dra. Wartini.
Matematika Diskrit Logika Matematika Heru Nugroho, S.Si., M.T.
TOPIK 1 LOGIKA.
Bina Nusantara Logika Proposisi Pertemuan 1: Matakuliah:K0144/Matematika Diskrit Tahun:2008.
MATEMATIKA DISKRIT LOGIKA MATEMATIKA.
Pernyataan Pertemuan 3:
Matematika Diskrit Logika Matematika Heru Nugroho, S.Si., M.T.
Pertemuan ke 1.
DASAR LOGIKA MATEMATIKA
LOGIKA Logika mempelajari hubungan antar pernyataan-pernyataan yang berupa kalimat-kalimat atau rumus-rumus, sehingga dapat menentukan apakah suatu pernyataan.
Matematika Informatika 2
PROPOSISI Citra N, S.Si, MT.
LOGIKA STRUKTUR DISKRIT K-2 Program Studi Teknik Komputer
LOGIKA MATEMATIKA Universitas Telkom
Matematika Diskrit Logika.
Matematika Diskrit Bab 1-logika.
Logika (logic).
PENALARAN MATEMATIKA OLEH KELOMPOK 1 Nama:
Materi Kuliah Matematika Disktrit I Imam Suharjo
Logika Semester Ganjil TA
BAB 2 LOGIKA
Sabtu, 27 Januari 2018 Kalimat Matematika Oleh : Choirudin, M.Pd.
PROPOSITION AND NOT PROPOSITION
Program Studi Teknik Informatika
Implikasi dan Aplikasi
Logika Kalimat, Kalimat Dan Penghubung Kalimat, Pembuktian
IMPLIKASI (Proposisi Bersyarat)
MATEMATIKA DISKRIT LOGIKA MATEMATIKA.
Oleh : Devie Rosa Anamisa
Matematika diskrit Logika Proposisi
PERNYATAAN ATAU PROPORSI
PRESENTASI PERKULIAHAN
LOGIKA MATEMATIKA Pertemuan II.
Logika (logic).
Oleh : Cipta Wahyudi, S.Kom, M.Eng, M.Si
logika matematika Standar Kompetensi:
LOGIKA MATEMATIKA (Pernyataan Majemuk)
Dasar dasar Matematika
Materi Kuliah TIN2204 Struktur Diskrit
Adalah cabang dari matematika yang mengkaji objek-objek diskrit.
Core Jurusan Teknik Informatika Kode MK/SKS : TIF /2
1.1 Proposisi & Proposisi Majemuk
MATEMATIKA KOMPUTASI LOGIKA MATEMATIKA.
Proposisi Sri Nurhayati.
LOGIKA MATEMATIKA Logika matematika pada hakekatnya adalah suatu metode dalam komputasi menggunakan proposisi atau kalimat deklaratif. Kalimat deklaratif.
Tabel Kebenaran Dan Proposisi Majemuk
TOPIK 1 LOGIKA.
KONVERS, INVERS, KONTRAPOSISI TAUTOLOGI & KONTRADIKSI
Pengantar Logika PROPOSISI
BAB 2 LOGIKA MATEMATIKA.
LOGIKA MATEMATIKA Logika matematika pada hakekatnya adalah suatu metode dalam komputasi menggunakan proposisi atau kalimat deklaratif. Kalimat deklaratif.
Proposisi Majemuk Bagian II
Contoh 1 Kalimat (p → q) → r bernilai benar Jika
1 Logika Matematik. 2 Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan (statements).
Materi Kuliah Matematika Diskrit
Modul Matematika Diskrit
LOGIKA MATEMATIKA.
BAB I DASAR-DASAR LOGIKA
Transcript presentasi:

Matematika Diskrit Logika Matematika Dani Suandi,S.Si.,M.Si. Semester Ganjil TA 2015-2016 Logika Matematika Dani Suandi,S.Si.,M.Si. No Tlp : 085-294-10-60-70 Email : danisuandi.mat@gmail.com

Preposisi Pernyataan atau proposisi adalah sebuah kalimat tertutup yang mempunyai nilai kebenaran BENAR saja atau SALAH saja, tapi tidak keduanya. Umumnya digunakan huruf kecil seperti : p, q, r, s, t … Nilai kebenaran suatu pernyataan dinotasikan dengan simbol 

Contoh p : “ Hasil perkalian 3 dan 6 adalah 18 “ , (p) = B (Benar) q : “ Semua bilangan prima adalah bilangan ganjil” , (q) = S (Salah) r : “ 12 + 5 > 16 “ , (r) = B s : “ Besi adalah benda cair “ , (s) = S

Bukan Preposisi/Pernyataan Kalimat yang tidak mempunyai nilai kebenaran yang pasti adalah bukan pernyataan. Contoh : “Cape deh…” “ x2 – 5x + 4 > 0 “ “ 2x + 5 < 18 “ “Mahasiswa/i Telkom University keren semua”

Kombinasi Preposisi Misalkan p dan q adalah proposisi. 1. Konjungsi (conjunction): p dan q  p  q, 2. Disjungsi (disjunction): p atau q  p  q 3. Ingkaran (negation) dari p: tidak p  p p dan q disebut proposisi atomik Kombinasi p dengan q menghasilkan proposisi majemuk (compound proposition

Contoh p : Hari ini hujan q : Murid-murid diliburkan dari sekolah Maka p  q : Hari ini hujan dan murid-murid diliburkan dari sekolah p  q : Hari ini hujan atau murid-murid diliburkan p : Tidak benar hari ini hujan (atau: Hari ini tidak hujan)

Operator AND Dalam Google

Operator OR Dalam Google

Proposisi Bersyarat (kondisional atau implikasi) Bentuk proposisi: “jika p, maka q” Notasi: p  q Contoh Jika saya lulus ujian, maka saya mendapat hadiah dari ayah Jika suhu mencapai 80C, maka alarm akan berbunyi Jika anda tidak mendaftar ulang, maka anda dianggap mengundurkan diri

Varian Preposisi Bersyarat Kondisional : p  q Konvers (kebalikan) : q  p Invers : ~ p  ~ q Kontraposisi : ~ q  ~ p

Contoh Tentukan konvers, invers, dan kontraposisi dari: “Jika Amir mempunyai mobil, maka ia orang kaya” p : Amir mempunyai mobil q : Ia/Amir orang kaya Penyelesaian: Konvers (q  p) Jika Amir orang kaya, maka ia mempunyai mobil Invers (~ p  ~ q ) Jika Amir tidak mempunyai mobil, maka ia bukan orang kaya Kontraposisi (~ q  ~ p ) Jika Amir bukan orang kaya, maka ia tidak mempunyai mobil

Contoh Diberikan pernyataan “Perlu memiliki password yang sah agar anda bisa log on ke server” Nyatakan pernyataan di atas dalam bentuk proposisi “jika p, maka q”. Tentukan konvers, invers, dan kontraposisi dari pernyataan tersebut.

Solusi Misal: p : Anda bisa log on ke server q : Memiliki password yang sah Jika anda bisa log on ke server maka anda memiliki password yang sah Konvers: (q  p) “Jika anda memiliki password yang sah maka anda bisa log on ke server”

Solusi Invers: (~ p  ~ q ) “Jika anda tidak bisa log on ke server maka anda tidak memiliki password yang sah” Kontraposisi : (~ q  ~ p ) “Jika anda tidak memiliki password yang sah maka anda tidak bisa log on ke server”

Tabel Kebenaran p ~p B S p q p v q B S p q p ^ q B S p q p  q B S p q NEGASI DISJUNGSI KONJUNGSI IMPLIKASI p ~p B S p q p v q B S p q p ^ q B S p q p  q B S BIIMPLIKASI p q p  q B S

TABEL KEBENARAN PERNYATAAN MAJEMUK Buatlah tabel kebenaran untuk (p  q) p q ~q (p  ~q) ~(p  ~q) B S p q ~q (p  ~q) ~(p  ~q) B S p q ~q (p  ~q) ~(p  ~q) B S p q ~q (p  ~q) ~(p  ~q) B S CARA BIASA ~ ( p ^ q ) B S ~ ( p ^ q ) S B ~ ( p ^ q ) S B ~ ( p ^ q ) S B CARA SINGKAT

TABEL KEBENARAN PERNYATAAN MAJEMUK Buatlah tabel kebenaran untuk (p  q)  [p  (q  r)] ( p ^ q )  [ ~p V ( q r ) ] B S (1) (3) (5) (2) (4) ( p ^ q )  [ ~p V ( q r ) ] B S (1) (3) (2) (4) ( p ^ q )  [ ~p V ( q r ) ] B S (1) (2) ( p ^ q )  [ ~p V ( q r ) ] B S (1) (3) (2)

TAUTOLOGI, KONTRADIKSI, SATISFY Pernyataan Majemuk yang nilai kebenarannya BENAR semua KONTRADIKSI: Pernyataan Majemuk yang nilai kebenarannya SALAH semua SATISFY : Pernyataan Majemuk yang nilai kebenarannya GABUNGAN. 2. PERNYATAAN

Contoh Tautologi & Kontradiksi p V ~ ( p q ) ~( pq )  (~p V q ) p V ~ ( p ^ q ) B S ~ ( p  q) ^ (~p V S B TAUTOLOGI KONTRADIKSI

Aplikasi pada rangkaian p V q q p B A p  q PARALEL: Arus akan mengalir ke titik B Jika salah satu dari p atau q ON SERI : Arus akan mengalir ke titik B Jika p dan q keduanya ON. p ~p q r ~q [ p V (q ^ ~p) ] V [ (r V ~q) ^ p ]

EKIVALENSI LOGIS

Contoh Tunjukkan bahwa ~ ( p V q ) ekivalen dengan ~p ^ ~q ~ (p V q) S

Contoh Tunjukkan bahwa ~ ( p ^ q ) ekivalen dengan ~p v ~q ~ (p ^ q) S

Latihan Soal Tentukan konvers, invers, dan kontraposisi jika diketahui implikasi berikut ini Jika hari ini asessemen matdis maka saya akan berusaha mengerjakan soal dengan baik Jika saya tidak malas belajar maka kelulusan bukanlah hal yang sulit

Latihan Soal Buatlah Tabel Kebenaran untuk pernyataan majemuk berikut. 1) [ p  q ]  ~ p 2) ~ [ p  q ] V ~ p 3) [~ p V ~q ]  r 4) p  [p  ( q V r) ] 5) p  [(p  q)  r ] 6) [ (p q)  ( ~q V r )]  ( p  r )

Latihan Soal 7. Tunjukkan bahwa (p q) ekivalen dengan ~p V q 8. Tunjukkan bahwa p V (p ^ q)  p dan p ^ (p V q)  p 9. Gambarkan rangkaian dari pernyataan majemuk berikut a. (~p ^ [ q V (r ^ ~s) ]) V [~q V p] b. { [ (p ^ q) V (r ^ ~p)] ^ s } V { ~p ^ [ q V (r ^ ~s) ] ^ ~q }