Diskrit : sejumlah berhingga elemen-elemen yang tidak bersambungan. Lawan kata Diskrit
yaitu kontinyu (menerus)
Materi-materi Matematika diskrit :
1. Logika
2. Teori Himpunan
3. Matriks
4. Relasi dan Fungsi
5. Induksi Matematika
6. Algoritma
7. Teori Bilangan Bulat
8. Barisan dan Deret
9. Teori Grup dan Ring
10. Aljabar Boolean
11. Kombinatorial
12. Teori Peluang Diskrit
13. Fungsi Pembangkit dan Analisis Rekurens
14. Teori graf
15. Kompleksitas Algoritma
16. Pemodelan Komputasi (Otomata dan Teori Bahasa Formal)
LOGIKA
Contoh Proposisi :
a. 6 adalah bilangan genap
b. Ibu kota provinsi jawa barat adalah Semarang
c. Kemarin hari hujan
d. 2+2=4
Bukan Proposisi :
a. Jam berapa Kereta tiba ?
b. Tolong ambilkan buku tulis itu !
c. X+3=8
d. X≥3
Mengkombinasikan Proposisi
Operator Logika untuk menkombinasikan proposisi
yaitu dan (and), atau (or) dan tidak (not).
Proposisi yang terbentuk dari pengkombinasian
beberapa proposisi atomik disebut proposisi
majemuk
Proposisi Majemuk ada tiga macam:
1. Konjungsi (conjunction)
2. Disjungsi (disjunction)
3. Ingkaran (negation)
Konjungsi
Definisi 2 :
Misalkan p dan q adalah proposisi.Konjungsi p dan q dinyatakan dengan notasi p Λ q,
adalah proposisi p dan q.
Contoh :
p : Hari ini hujan F
q : Hari ini dingin T
p Λ q : Hari ini hujan dan hari ini dingin / hari ini hujan dan dingin
Definisi 3:
Konjungsi p Λ q bernilai benar jika p dan q keduanya benar, selain itu nilainya salah.
Tabel kebenaran.
p q pΛq
T T T
T F F
F T F
F F F
DISJUNGSI
Definisi 4 :
Disjungsi p dan q dinyatakan dengan notasi p v q, adalah proposisi p atau q
Contoh :
p : ibu pergi ke pasar T
q : ibu belanja sayuran F
p v q : ibu pergi ke pasar atau belanja sayuran
Definisi 5 :
Disjunsi p v q bernilai salah jika p dan q keduanya bernilai salah,selain itu nilainya
benar.
Tabel kebenaran
p q pvq
T T T
T F T
F T T
F F F
Ingkaran ( Negasi )
Definisi 6 :
Ingkaran dari p, dinyatakan dengan notasi ~p, adalah proposisi tidak p
Contoh :
p : pemuda itu tinggi
~p : tidak benar pemuda itu tinggi / pemuda
itu tidak tinggi.
Definisi 7 :
Ingkaran p bernilai benar jika p salah, sebaliknya bernilai salah jika p benar.
Tabel kebenaran
p q pΛq
T T T
T F F
F T F
F F F
Latihan Soal :
Contoh :
1. Proposisi majemuk p v ~(p Λ q)
2. Proposisi majemuk (p Λ q) Λ ~(p v q)
p q pΛq ~ (p Λ q) p v ~(p Λ q)
Contoh :
~ (p Λ q) ↔ ~p v ~q ( HUKUM DE MORGAN )
p q pΛq ~ (p Λ q) p q ~p ~q ~p v ~q
T T T F T T F F F
T F F T T F F T T
F T F T F T T F T
F F F T F F T T T
Disjungsi Eksklusif
Definisi 9 :
Misalkan p dan q adalah proposisi. Exclusive or p
dan q dinyatakan dengan notasi p + q hanya benar
jika salah satu dari p dan q benar selain itu nilainya
salah.
Tabel Kebenaran
p q p +q
T T F
T F T
F T T
F F F
Hukum-hukum Logika Proposisi
1. Hukum Identas 2. Hukum null/Dominasi
(i) p v F ↔ p (i) p Λ F ↔ F
(ii) p Λ T ↔ p (ii) p v T ↔ T
3. Hukum Negasi 4. Hukum idempoten
(i) p v ~p ↔ T (i) p v p ↔ p
(ii) p Λ ~p ↔ F (ii) p Λ p ↔ p
5. Hukum Involusi(negasi ganda) 6. Hukum Penyerapan (absorpsi)
(i) ~ (~p) ↔ p (i) p v (p Λ q) ↔ p
(ii) p Λ (p v q) ↔ p
7. Hukum komutatif 8. Hukum assosiatif
(i) p v q ↔ q v p (i) p v (q v r) ↔ (p v q) v r
(ii) p Λ q ↔ q Λ p (ii) p Λ (q Λ r ) ↔ (p Λ q) Λ r
9. Hukum Distributif 10. Hukum De Morgan
(i) p v (q Λ r) ↔ (p v q) Λ (p v r) (i) ~(p Λ q) ↔ ~p v ~q
(ii) p Λ (q v r ) ↔ (p Λ q) v (p Λ r) (ii) ~(p v q) ↔ ~p Λ ~q
PROPOSISI BERSYARAT
Definisi 10 :
Misalkan p dan q adalah proposisi. Proposisi majemuk “jika p maka q”
disebut proposisi bersyarat(implikasi) dan dilambangkan p → q
Proposisi p disebut hipotesis (atau anteseden atau premis atau kondisi) dan
proposisi q disebut konklusi (atau konsekuen)
Tabel kebenaran.
p q p→q
T T T
T F F
F T T
F F T
VARIAN PROPOSISI BERSYARAT
Konvers :q→p
Invers :~p→~q
Kontraposisi : ~ q → ~ p
p q ~ p ~ q implikasi konvers invers kontraposisi
p →q q→p ~p→~ ~q→~p
q
T T
T F
F T
F F
Bi-implikasi
Definisi 11:
Definisi 11 :
Misalkan p dan q adalah proposisi. Proposisi majemuk “p jikan dan hanya
jika q” disebut bi kondisional (bi-implikasi) dan dilambangkan p ↔ q.
Tabel kebenaran
p q p ↔q
T T T
T F F
F T F
F F T
INFERENSI (KESIMPULAN)
1. Modus ponen
2. Modus Tollen
3. Silogisme Hipotesis
4. Silogisme Disjungtif
5. Simplikasi