SlideShare a Scribd company logo
MATEMATIKA
DISKRIT
LOGIKA
(PROPOSISI)
Sub Topik
• Hukum-hukum Logika Proposisi
• Proposisi Bersyarat
• Varian proposisi bersyarat
• Bi-Implikasi
Tujuan Pembelajaran
Memahami konsep proposisi
Memahami konsep kombinasi proposisi
Memahami penggunaan tabel kebenaran
Memahami hukum - hukum logika proposisi
HUKUM PROPOSISIONAL P, Q,DAN R
1.Hukum de Morgan : (PQ)  (PQ)
2.Hukum de Morgan : (PQ)  (PQ)
3.Hukum distributif : P(QR)  (PQ)  (PR)
P(QR)  (PQ) (PR)
4.Hukum komutatif : (PQ)  (QP)
(PQ)  (QP)
5.Hukum asosiatif : ((PQ) R)  (P (QR))
((PQ) R)  (P (QR))
6.Hukum kontrapositif : (PQ)  ( Q P)
5
Dua buah proposisi, P(p, q, ..) dan Q(p, q, ..) disebut
ekivalen secara logika jika keduanya mempunyai tabel
kebenaran yang identik.
Notasi: P(p, q, …)  Q(p, q, …)
Hukum De Morgan: ~(p  q)  ~p  ~q.
p q p  q ~ (p  q) ~ p ~q ~ p  ~ q
T T T F F F F
T F F T F T T
F T F T T F T
F F F T T T T
Contoh Soal 1
• Jika p, q dan r adalah proposisi maka carilah
tabel kebenaran dari :
1. (p  q) V (q  r)
2. (p  q) V r
3. (p V q)  r
4. [(p V q)  r] V [(p  r) V (q  p)]
7
tabel kebenaran dari proposisi majemuk (p  q)  (~q  r).
p q r p  q ~q ~q  r (p  q)  (~q  r)
T T T T F F T
T T F T F F T
T F T F T T T
T F F F T F F
F T T F F F F
F T F F F F F
F F T F T T T
F F F F T F F
8
• Proposisi disebut tautologi jika ia benar untuk
semua kasus
• Proposisi disebut kontradiksi jika ia salah untuk
semua kasus.
9
p  ~(p  q) adalah sebuah tautologi
p q p  q ~(p  q) p  ~(p  q)
T T T F T
T F F T T
F T F T T
F F F T T
10
(p  q)  ~(p  q) adalah sebuah kontradiksi
p q p  q p  q ~(p  q) (p  q)  ~(p  q)
T T T F F F
T F F T F F
F T F T F F
F F F F T F
11
Disjungsi EksklusifKata “atau” (or) dalam operasi logika digunakan dalam salah
satu dari dua cara:
1. Inclusive or
“atau” berarti “p atau q atau keduanya”
Contoh: “Tenaga IT yang dibutuhkan menguasai Bahasa
C++ atau Java”.
2. Exclusive or
“atau” berarti “p atau q tetapi bukan keduanya”.
Contoh: “Ia dihukum 5 tahun atau denda 10 juta”.
12
Operator logika disjungsi eksklusif: xor
Notasi: 
Tabel kebenaran:
p q p  q
T T F
T F T
F T T
F F F
Proposisi Bersyarat (Implikasi)
• Misalkan p dan q adalah proposisi.
• Notasi dari proposisi majemuk “jika p maka q” :
p  q
• Proposisi p disebut hipotesis (antesenden atau premis
atau kondisi)
• Proposisi q disebut konklusi (konsekuen)
• Implikasi p  q hanya salah jika p benar tetapi q salah,
selain itu implikasi benilai benar
p q p  q
T T T
T F F
F T T
F F T
T = True (benar)
F = False (salah)
• Konsep matematik mengenai implikasi
independen dari hubungan sebab-akibat antara
hipotesis dan konklusi
• Ekspresi lain dari implikasi p  q :
a)Jika p maka q : if p then q
b)Jika p, q : if p, q
c) p mengakibatkan q : p implies q
d)q jika p : q if p
e)p hanya jika q : p only if q
f) p syarat cukup agar q :p is sufficient for p
g)q syarat perlu bagi p :q is necessary for p
h)q bilamana p : q whenever p
Proposisi Bersyarat (Implikasi)
Contoh Kalimat implikasi
a) Jika hari hujan maka tanaman akan tumbuh subur
b) Jika tekanan gas diperbesar, mobil melaju kencang
c) Es yang mencair di kutub mengakibatkan permukaan
air laut naik
d) Orang itu mau berangkat jika ia diberi ongkos jalan
e) Hani bisa mengambil MK Struktur Data hanya jika ia
sudah lulus MK Algoritma Pemrograman
f) Percikan api dari rokok adalah Syarat cukup agar pom
bensin meledak
g) mengontrak pemain asing kenamaan adalah Syarat perlu
bagi Indonesia agar ikut Piala Dunia
h) Banjir bandang terjadi bilamana hutan ditebangi
Pengubahan menjadi bentuk
proposisi jika p maka q
a) Jika hari hujan maka tanaman akan tumbuh subur
b) Jika tekanan gas diperbesar, maka mobil melaju
kencang
c) Jika Es yang mencair di kutub, maka permukaan air laut
naik
d) Jika Orang itu diberi ongkos jalan, maka ia mau
berangkat
e) Jika Hani sudah lulus MK Algoritma Pemrograman,
maka ia bisa mengambil MK Struktur Data
f) Jika api memercik dari rokok, maka pom bensin
meledak
g) Jika Indonesia ikut Piala Dunia, maka Indonesia
mengontrak pemain asing kenamaan
h) Jika Hutan ditebangi, maka Banjir bandang terjadi
Varian Proposisi Bersyarat
• Konvers (kebalikan)
Notasi : q p
• Invers
Notasi : p  q
• Kontraposisi :
Notasi : q  p
p q p q Implikasi
pq
Konvers
qp
Invers
p q
Kontraposisi
q p
T T F F T T T T
T F F T F T T F
F T T F T F F T
F F T T T T T T
Contoh Soal 2
• Jika Fani rajin belajar, maka ia mendapat nilai bagus
Sehingga ...
Konvers :
Invers :
Kontraposisi :
Bi-kondisional (Bi-implikasi)
• Misalkan p dan q adalah proposisi.
• Proposisi majemuk “p jika dan hanya jika q “ dinyatakan
dengan notasi :
p  q
• Penyataan p  q bernilai benar bila p dan q mempunyai
nilai kebenaran yang sama
p q p  q
T T T
T F F
F T F
F F T
T = True (benar)
F = False (salah)
• Bi-kondisional pq ekivalen dengan (p  q)  (q  p)
• Bi-kondisional dapat dinyatakan dengan kata-kata :
– p jika hanya jika q
– p adalah syarat perlu dan cukup untuk q
– Jika p maka q, dan sebaliknya
– P iff q
p q p q pq qp (p  q)  (q  p)
T T T T T T
T F F F T F
F T F T F F
F F T T T T
Contoh proposisi majemuk dari bi-implikasi
a) 1 + 1 = 2 jika hanya jika 2 + 2 = 4
b) Syarat cukup dan syarat perlu agar hari hujan
adalah kelembaban udara tinggi
c) Jika budi orang kaya maka budi mempunyai banyak
uang, dan sebaliknya
d) Surabaya terletak di Jawa Timur iff Jawa Timur
adalah sebuah propinsi di Indonesia
VIDEO PEMBELAJARAN
TUGAS
1. Misalkan p adalah “Ani bisa berbahasa Madura”, q adalah “ Ani
bisa berbahasa Indonesia”, dan r adalah “ Ani bisa berbahasa
Inggris”. Terjemahkan kalimat majemuk berikut ke dalam notasi
simbolik :
a. Ani bisa berbahasa Madura atau Indonesia
b. Ani bisa berbahasa Indonesia tetapi tidak bahasa Inggris.
c. Ani bisa berbahasa Madura atau bahasa Indonesia, atau dia tidak
bisa berbahasa Inggris atau bahasa Indonesia.
d. Tidak benar bahwa Ani bisa berbahasa Indonesia atau Inggris
e. Tidak benar bahwa Ani bisa berbahasa Indonesia atau Inggris
tetapi tidak bahasa Madura
f. Tidak benar bahwa Ani tidak bisa berbahasa Madura, Indonesia,
maupun Inggris.
TUGAS
2. Tuliskan tabel kebenaran untuk setiap proposisi
berikut :
a. (p ᴠ q) ᴧ ̴p
b. ̴(p ᴧ q) ᴠ ( ̴q v r)
c. ( ̴p v ̴q ) v p
d. (p v q) → ̴q
e. ( ̴q  p)  (p  ̴q)
TUGAS
3. Misalkan p adalah “ Hari ini adalah hari senin”, q
adalah “Hujan turun”, dan r adalah “Hari ini panas”.
Terjemahkan notasi simbolik ini dengan kata-kata.
a. p ᴠ q
b. ̴p ᴧ (q ᴠ r)
c. ̴ (p ᴠ q) ᴧ r
d. (p ᴧ q) ᴧ ̴(r ᴠ p)
e. ̴ q  ̴p
Daftar Pustaka
• Rinaldi Munir, 2005, “Matematika diskrit”,
INFORMATIKA Bandung

More Related Content

What's hot

Proposisi Logika Informatika
Proposisi Logika InformatikaProposisi Logika Informatika
Proposisi Logika Informatika
DeviGayatri
 
Logika (logic)
Logika (logic)Logika (logic)
Logika (logic)
Tenia Wahyuningrum
 
Matematika Logika - Kalkulus Proposisi bagian 1 Oleh Yeni Fatman, ST
Matematika Logika - Kalkulus Proposisi bagian 1 Oleh Yeni Fatman, STMatematika Logika - Kalkulus Proposisi bagian 1 Oleh Yeni Fatman, ST
Matematika Logika - Kalkulus Proposisi bagian 1 Oleh Yeni Fatman, ST
Anisa Maulina
 
Logika matematika kalkulus proposisi
Logika matematika kalkulus proposisiLogika matematika kalkulus proposisi
Logika matematika kalkulus proposisi
Sari Fauziah
 
P4 kalkulus proposisi
P4 kalkulus proposisiP4 kalkulus proposisi
P4 kalkulus proposisi
said zulhelmi
 
Matematika Diskrit - 02 pengantar logika (2013)
Matematika Diskrit - 02 pengantar logika (2013)Matematika Diskrit - 02 pengantar logika (2013)
Matematika Diskrit - 02 pengantar logika (2013)
KuliahKita
 
Review Mathematical Reasoning
Review Mathematical ReasoningReview Mathematical Reasoning
Review Mathematical Reasoning
Heni Widayani
 
proposisi majemuk & Tautologi
 proposisi majemuk & Tautologi proposisi majemuk & Tautologi
proposisi majemuk & Tautologi
Huzairi Zairi
 
Dasar Logika Informatia
Dasar Logika InformatiaDasar Logika Informatia
Dasar Logika Informatia
Muhammad Hanif
 
Bab 01 logika mtk diskrit
Bab 01 logika mtk diskritBab 01 logika mtk diskrit
Bab 01 logika mtk diskrit
KarlFykr
 
2. logika
2. logika 2. logika
2. logika
Rian Dp
 
Logika dan Pembuktian
Logika dan PembuktianLogika dan Pembuktian
Logika dan Pembuktian
Fahrul Usman
 
Matematika Logika - Kalkulus Proposisi bagian 2 Oleh Yeni Fatman, ST
Matematika Logika - Kalkulus Proposisi bagian 2 Oleh Yeni Fatman, STMatematika Logika - Kalkulus Proposisi bagian 2 Oleh Yeni Fatman, ST
Matematika Logika - Kalkulus Proposisi bagian 2 Oleh Yeni Fatman, ST
Anisa Maulina
 
Logika Matematika - Wahyu Fuadi, ST, M.IT
Logika Matematika - Wahyu Fuadi, ST, M.ITLogika Matematika - Wahyu Fuadi, ST, M.IT
Logika Matematika - Wahyu Fuadi, ST, M.IT
said zulhelmi
 
Logika
LogikaLogika
Logika
dinareka
 
Logika matematika pertemuan 2 (inferensi)
Logika matematika pertemuan 2 (inferensi)Logika matematika pertemuan 2 (inferensi)
Logika matematika pertemuan 2 (inferensi)
Meycelino A. T
 

What's hot (20)

Proposisi Logika Informatika
Proposisi Logika InformatikaProposisi Logika Informatika
Proposisi Logika Informatika
 
Logika (logic)
Logika (logic)Logika (logic)
Logika (logic)
 
Matematika Logika - Kalkulus Proposisi bagian 1 Oleh Yeni Fatman, ST
Matematika Logika - Kalkulus Proposisi bagian 1 Oleh Yeni Fatman, STMatematika Logika - Kalkulus Proposisi bagian 1 Oleh Yeni Fatman, ST
Matematika Logika - Kalkulus Proposisi bagian 1 Oleh Yeni Fatman, ST
 
02.logika
02.logika02.logika
02.logika
 
Logika matematika kalkulus proposisi
Logika matematika kalkulus proposisiLogika matematika kalkulus proposisi
Logika matematika kalkulus proposisi
 
Logika matematika
Logika matematikaLogika matematika
Logika matematika
 
P4 kalkulus proposisi
P4 kalkulus proposisiP4 kalkulus proposisi
P4 kalkulus proposisi
 
Matematika Diskrit - 02 pengantar logika (2013)
Matematika Diskrit - 02 pengantar logika (2013)Matematika Diskrit - 02 pengantar logika (2013)
Matematika Diskrit - 02 pengantar logika (2013)
 
Review Mathematical Reasoning
Review Mathematical ReasoningReview Mathematical Reasoning
Review Mathematical Reasoning
 
Logika
LogikaLogika
Logika
 
Ai 3
Ai 3Ai 3
Ai 3
 
proposisi majemuk & Tautologi
 proposisi majemuk & Tautologi proposisi majemuk & Tautologi
proposisi majemuk & Tautologi
 
Dasar Logika Informatia
Dasar Logika InformatiaDasar Logika Informatia
Dasar Logika Informatia
 
Bab 01 logika mtk diskrit
Bab 01 logika mtk diskritBab 01 logika mtk diskrit
Bab 01 logika mtk diskrit
 
2. logika
2. logika 2. logika
2. logika
 
Logika dan Pembuktian
Logika dan PembuktianLogika dan Pembuktian
Logika dan Pembuktian
 
Matematika Logika - Kalkulus Proposisi bagian 2 Oleh Yeni Fatman, ST
Matematika Logika - Kalkulus Proposisi bagian 2 Oleh Yeni Fatman, STMatematika Logika - Kalkulus Proposisi bagian 2 Oleh Yeni Fatman, ST
Matematika Logika - Kalkulus Proposisi bagian 2 Oleh Yeni Fatman, ST
 
Logika Matematika - Wahyu Fuadi, ST, M.IT
Logika Matematika - Wahyu Fuadi, ST, M.ITLogika Matematika - Wahyu Fuadi, ST, M.IT
Logika Matematika - Wahyu Fuadi, ST, M.IT
 
Logika
LogikaLogika
Logika
 
Logika matematika pertemuan 2 (inferensi)
Logika matematika pertemuan 2 (inferensi)Logika matematika pertemuan 2 (inferensi)
Logika matematika pertemuan 2 (inferensi)
 

Similar to 2 proposisi

logika.pdf
logika.pdflogika.pdf
Logika-(2016).pdf
Logika-(2016).pdfLogika-(2016).pdf
Logika-(2016).pdf
DaenRama
 
1 - intro Diskrit Logika.ppt
1 - intro Diskrit   Logika.ppt1 - intro Diskrit   Logika.ppt
1 - intro Diskrit Logika.ppt
AskariB1
 
Logika preposisi 1.pdf
Logika preposisi 1.pdfLogika preposisi 1.pdf
Logika preposisi 1.pdf
TerserahLah4
 
1. Logika Matematika.pdf
1. Logika Matematika.pdf1. Logika Matematika.pdf
1. Logika Matematika.pdf
imamqorimukminin
 
Materi logika informatika
Materi logika informatikaMateri logika informatika
Materi logika informatika
Mustahal SSi
 
Logika
LogikaLogika
Logika
endah kurnia
 
Logika
LogikaLogika
Logika
endah kurnia
 
TUWEB 1 MATEMATIKA.pptx
TUWEB 1 MATEMATIKA.pptxTUWEB 1 MATEMATIKA.pptx
TUWEB 1 MATEMATIKA.pptx
MahdaAzahra
 
metoda deduksi
metoda deduksimetoda deduksi
metoda deduksifattha
 
5. Proposisi.pdf
5. Proposisi.pdf5. Proposisi.pdf
5. Proposisi.pdf
NanangPranotoMukti
 
Logika Perguruan Tinggi: Bab 4 Metoda Deduksi
Logika Perguruan Tinggi:  Bab 4 Metoda DeduksiLogika Perguruan Tinggi:  Bab 4 Metoda Deduksi
Logika Perguruan Tinggi: Bab 4 Metoda Deduksi
miftahulive
 
Bab_3_Log_If_Logical_Entailment.pptx
Bab_3_Log_If_Logical_Entailment.pptxBab_3_Log_If_Logical_Entailment.pptx
Bab_3_Log_If_Logical_Entailment.pptx
2300018289
 
Logika inf
Logika infLogika inf
Logika inf
IdzniAhsanita
 
Tabel Kebenaran (Logika ... lagi)
Tabel Kebenaran (Logika ... lagi)Tabel Kebenaran (Logika ... lagi)
Tabel Kebenaran (Logika ... lagi)Aurelius Ratu
 
TUTORIAL 1 - PDGK 4108.pptx
TUTORIAL 1 - PDGK 4108.pptxTUTORIAL 1 - PDGK 4108.pptx
TUTORIAL 1 - PDGK 4108.pptx
muhamadinayatulloh
 
Logika Matematika, Fungsi dan Fungsi Invers
Logika Matematika, Fungsi dan Fungsi InversLogika Matematika, Fungsi dan Fungsi Invers
Logika Matematika, Fungsi dan Fungsi Invers
Ikak Waysta
 
Mtk diskrit
Mtk diskritMtk diskrit
Mtk diskrit
ayu ariyanti
 
Logika Matematika.pptx
Logika Matematika.pptxLogika Matematika.pptx
Logika Matematika.pptx
HANIFAHMADNASRULHAQ
 

Similar to 2 proposisi (20)

logika.pdf
logika.pdflogika.pdf
logika.pdf
 
Logika-(2016).pdf
Logika-(2016).pdfLogika-(2016).pdf
Logika-(2016).pdf
 
1 - intro Diskrit Logika.ppt
1 - intro Diskrit   Logika.ppt1 - intro Diskrit   Logika.ppt
1 - intro Diskrit Logika.ppt
 
Logika preposisi 1.pdf
Logika preposisi 1.pdfLogika preposisi 1.pdf
Logika preposisi 1.pdf
 
1. Logika Matematika.pdf
1. Logika Matematika.pdf1. Logika Matematika.pdf
1. Logika Matematika.pdf
 
Materi logika informatika
Materi logika informatikaMateri logika informatika
Materi logika informatika
 
Logika
LogikaLogika
Logika
 
Logika
LogikaLogika
Logika
 
TUWEB 1 MATEMATIKA.pptx
TUWEB 1 MATEMATIKA.pptxTUWEB 1 MATEMATIKA.pptx
TUWEB 1 MATEMATIKA.pptx
 
metoda deduksi
metoda deduksimetoda deduksi
metoda deduksi
 
5. Proposisi.pdf
5. Proposisi.pdf5. Proposisi.pdf
5. Proposisi.pdf
 
Logika Perguruan Tinggi: Bab 4 Metoda Deduksi
Logika Perguruan Tinggi:  Bab 4 Metoda DeduksiLogika Perguruan Tinggi:  Bab 4 Metoda Deduksi
Logika Perguruan Tinggi: Bab 4 Metoda Deduksi
 
Bab_3_Log_If_Logical_Entailment.pptx
Bab_3_Log_If_Logical_Entailment.pptxBab_3_Log_If_Logical_Entailment.pptx
Bab_3_Log_If_Logical_Entailment.pptx
 
Logika inf
Logika infLogika inf
Logika inf
 
Tabel Kebenaran (Logika ... lagi)
Tabel Kebenaran (Logika ... lagi)Tabel Kebenaran (Logika ... lagi)
Tabel Kebenaran (Logika ... lagi)
 
TUTORIAL 1 - PDGK 4108.pptx
TUTORIAL 1 - PDGK 4108.pptxTUTORIAL 1 - PDGK 4108.pptx
TUTORIAL 1 - PDGK 4108.pptx
 
Logika Matematika, Fungsi dan Fungsi Invers
Logika Matematika, Fungsi dan Fungsi InversLogika Matematika, Fungsi dan Fungsi Invers
Logika Matematika, Fungsi dan Fungsi Invers
 
Mtk diskrit
Mtk diskritMtk diskrit
Mtk diskrit
 
Logika Matematika.pptx
Logika Matematika.pptxLogika Matematika.pptx
Logika Matematika.pptx
 
Logika matematika3
Logika matematika3Logika matematika3
Logika matematika3
 

More from ahmadmuzaqqi

Virtual lan
Virtual lanVirtual lan
Virtual lan
ahmadmuzaqqi
 
Subnetting
SubnettingSubnetting
Subnetting
ahmadmuzaqqi
 
Model osi dan tcp
Model osi dan tcpModel osi dan tcp
Model osi dan tcp
ahmadmuzaqqi
 
Pengkabelan
PengkabelanPengkabelan
Pengkabelan
ahmadmuzaqqi
 
Routing
RoutingRouting
Routing
ahmadmuzaqqi
 
4 matriks dan relasi
4 matriks dan relasi4 matriks dan relasi
4 matriks dan relasi
ahmadmuzaqqi
 
Ppt modul 5 array
Ppt modul 5 arrayPpt modul 5 array
Ppt modul 5 array
ahmadmuzaqqi
 
Ppt modul 6 fungsi
Ppt modul 6 fungsiPpt modul 6 fungsi
Ppt modul 6 fungsi
ahmadmuzaqqi
 
Ppt modul 4 perulangan
Ppt modul 4 perulanganPpt modul 4 perulangan
Ppt modul 4 perulangan
ahmadmuzaqqi
 
Ppt modul 3 operasi kondisi
Ppt modul 3 operasi kondisiPpt modul 3 operasi kondisi
Ppt modul 3 operasi kondisi
ahmadmuzaqqi
 
Ppt modul 2 operator
Ppt modul 2 operatorPpt modul 2 operator
Ppt modul 2 operator
ahmadmuzaqqi
 
P.9 media 2 konsep inheritance
P.9 media 2 konsep inheritanceP.9 media 2 konsep inheritance
P.9 media 2 konsep inheritance
ahmadmuzaqqi
 
P.7 media 2 polymorphism
P.7 media 2 polymorphismP.7 media 2 polymorphism
P.7 media 2 polymorphism
ahmadmuzaqqi
 
P.5 media 2 enkapsulasi
P.5 media 2 enkapsulasiP.5 media 2 enkapsulasi
P.5 media 2 enkapsulasi
ahmadmuzaqqi
 
P.3 media 2 class, objek, method pada java
P.3 media 2 class, objek, method pada javaP.3 media 2 class, objek, method pada java
P.3 media 2 class, objek, method pada java
ahmadmuzaqqi
 
Sejarah Java
Sejarah JavaSejarah Java
Sejarah Java
ahmadmuzaqqi
 

More from ahmadmuzaqqi (19)

Virtual lan
Virtual lanVirtual lan
Virtual lan
 
Subnetting
SubnettingSubnetting
Subnetting
 
Model osi dan tcp
Model osi dan tcpModel osi dan tcp
Model osi dan tcp
 
Pengkabelan
PengkabelanPengkabelan
Pengkabelan
 
Routing
RoutingRouting
Routing
 
5 fungsi
5 fungsi5 fungsi
5 fungsi
 
4 matriks dan relasi
4 matriks dan relasi4 matriks dan relasi
4 matriks dan relasi
 
3 himpunan
3 himpunan3 himpunan
3 himpunan
 
1 logika
1 logika1 logika
1 logika
 
Ppt modul 5 array
Ppt modul 5 arrayPpt modul 5 array
Ppt modul 5 array
 
Ppt modul 6 fungsi
Ppt modul 6 fungsiPpt modul 6 fungsi
Ppt modul 6 fungsi
 
Ppt modul 4 perulangan
Ppt modul 4 perulanganPpt modul 4 perulangan
Ppt modul 4 perulangan
 
Ppt modul 3 operasi kondisi
Ppt modul 3 operasi kondisiPpt modul 3 operasi kondisi
Ppt modul 3 operasi kondisi
 
Ppt modul 2 operator
Ppt modul 2 operatorPpt modul 2 operator
Ppt modul 2 operator
 
P.9 media 2 konsep inheritance
P.9 media 2 konsep inheritanceP.9 media 2 konsep inheritance
P.9 media 2 konsep inheritance
 
P.7 media 2 polymorphism
P.7 media 2 polymorphismP.7 media 2 polymorphism
P.7 media 2 polymorphism
 
P.5 media 2 enkapsulasi
P.5 media 2 enkapsulasiP.5 media 2 enkapsulasi
P.5 media 2 enkapsulasi
 
P.3 media 2 class, objek, method pada java
P.3 media 2 class, objek, method pada javaP.3 media 2 class, objek, method pada java
P.3 media 2 class, objek, method pada java
 
Sejarah Java
Sejarah JavaSejarah Java
Sejarah Java
 

Recently uploaded

Juknis Pengisian Blanko Ijazah 2024 29 04 2024 Top.pptx
Juknis Pengisian Blanko Ijazah 2024 29 04 2024 Top.pptxJuknis Pengisian Blanko Ijazah 2024 29 04 2024 Top.pptx
Juknis Pengisian Blanko Ijazah 2024 29 04 2024 Top.pptx
mattaja008
 
VISI MISI KOMUNITAS BELAJAR SDN 93 KOTA JAMBI
VISI MISI KOMUNITAS BELAJAR SDN 93 KOTA JAMBIVISI MISI KOMUNITAS BELAJAR SDN 93 KOTA JAMBI
VISI MISI KOMUNITAS BELAJAR SDN 93 KOTA JAMBI
gloriosaesy
 
RANCANGAN TINDAKAN AKSI NYATA MODUL 1.4.pptx
RANCANGAN TINDAKAN AKSI NYATA MODUL 1.4.pptxRANCANGAN TINDAKAN AKSI NYATA MODUL 1.4.pptx
RANCANGAN TINDAKAN AKSI NYATA MODUL 1.4.pptx
SurosoSuroso19
 
MATERI SOSIALISASI PPDB JABAR- 4PAN052024.pdf
MATERI SOSIALISASI PPDB JABAR- 4PAN052024.pdfMATERI SOSIALISASI PPDB JABAR- 4PAN052024.pdf
MATERI SOSIALISASI PPDB JABAR- 4PAN052024.pdf
ssuser289c2f1
 
Koneksi Antar Materi modul 1.4 Budaya Positif
Koneksi Antar Materi modul 1.4 Budaya PositifKoneksi Antar Materi modul 1.4 Budaya Positif
Koneksi Antar Materi modul 1.4 Budaya Positif
Rima98947
 
SOSIALISASI PPDB TAHUN AJARAN 2024-2025.pptx
SOSIALISASI PPDB TAHUN AJARAN 2024-2025.pptxSOSIALISASI PPDB TAHUN AJARAN 2024-2025.pptx
SOSIALISASI PPDB TAHUN AJARAN 2024-2025.pptx
astridamalia20
 
INSTRUMEN PENILAIAN PRAKTIK KINERJA KS Dok Rating Observasi (1).docx
INSTRUMEN PENILAIAN PRAKTIK KINERJA KS Dok Rating Observasi (1).docxINSTRUMEN PENILAIAN PRAKTIK KINERJA KS Dok Rating Observasi (1).docx
INSTRUMEN PENILAIAN PRAKTIK KINERJA KS Dok Rating Observasi (1).docx
lindaagina84
 
Karakteristik Manusia Komunikan dalam Bingkai Psikologi Komunikasi
Karakteristik Manusia Komunikan dalam Bingkai Psikologi KomunikasiKarakteristik Manusia Komunikan dalam Bingkai Psikologi Komunikasi
Karakteristik Manusia Komunikan dalam Bingkai Psikologi Komunikasi
AdePutraTunggali
 
ppt landasan pendidikan Alat alat pendidikan PAI 9_
ppt landasan pendidikan Alat alat pendidikan PAI 9_ppt landasan pendidikan Alat alat pendidikan PAI 9_
ppt landasan pendidikan Alat alat pendidikan PAI 9_
setiatinambunan
 
SOAL SHB PKN SEMESTER GENAP TAHUN 2023-2024.docx
SOAL SHB PKN SEMESTER GENAP TAHUN 2023-2024.docxSOAL SHB PKN SEMESTER GENAP TAHUN 2023-2024.docx
SOAL SHB PKN SEMESTER GENAP TAHUN 2023-2024.docx
MuhammadBagusAprilia1
 
ppt landasan pendidikan pai 9 revisi.pdf
ppt landasan pendidikan pai 9 revisi.pdfppt landasan pendidikan pai 9 revisi.pdf
ppt landasan pendidikan pai 9 revisi.pdf
setiatinambunan
 
PENGUMUMAN PPDB SMPN 4 PONOROGO TAHUN 2024.pdf
PENGUMUMAN PPDB SMPN 4 PONOROGO TAHUN 2024.pdfPENGUMUMAN PPDB SMPN 4 PONOROGO TAHUN 2024.pdf
PENGUMUMAN PPDB SMPN 4 PONOROGO TAHUN 2024.pdf
smp4prg
 
Laporan Piket Guru untuk bukti dukung PMM.pdf
Laporan Piket Guru untuk bukti dukung PMM.pdfLaporan Piket Guru untuk bukti dukung PMM.pdf
Laporan Piket Guru untuk bukti dukung PMM.pdf
gloriosaesy
 
Modul Projek - Modul P5 Kearifan Lokal _Menampilkan Tarian Daerah Nusantara_...
Modul Projek  - Modul P5 Kearifan Lokal _Menampilkan Tarian Daerah Nusantara_...Modul Projek  - Modul P5 Kearifan Lokal _Menampilkan Tarian Daerah Nusantara_...
Modul Projek - Modul P5 Kearifan Lokal _Menampilkan Tarian Daerah Nusantara_...
MirnasariMutmainna1
 
Permainan Wiwi Wowo aksi nyata berkebhinekaan
Permainan Wiwi Wowo aksi nyata berkebhinekaanPermainan Wiwi Wowo aksi nyata berkebhinekaan
Permainan Wiwi Wowo aksi nyata berkebhinekaan
DEVI390643
 
untuk observasi kepala sekolah dengan pengawas
untuk observasi kepala sekolah dengan pengawasuntuk observasi kepala sekolah dengan pengawas
untuk observasi kepala sekolah dengan pengawas
TEDYHARTO1
 
0. PPT Juknis PPDB TK-SD -SMP 2024-2025 Cilacap.pptx
0. PPT Juknis PPDB TK-SD -SMP 2024-2025 Cilacap.pptx0. PPT Juknis PPDB TK-SD -SMP 2024-2025 Cilacap.pptx
0. PPT Juknis PPDB TK-SD -SMP 2024-2025 Cilacap.pptx
Indah106914
 
tugas modul 1.4 Koneksi Antar Materi (1).pptx
tugas  modul 1.4 Koneksi Antar Materi (1).pptxtugas  modul 1.4 Koneksi Antar Materi (1).pptx
tugas modul 1.4 Koneksi Antar Materi (1).pptx
d2spdpnd9185
 
LK 1 - 5T Keputusan Berdampak PERMATA BUNDA.pdf
LK 1 - 5T Keputusan Berdampak PERMATA BUNDA.pdfLK 1 - 5T Keputusan Berdampak PERMATA BUNDA.pdf
LK 1 - 5T Keputusan Berdampak PERMATA BUNDA.pdf
UditGheozi2
 
SEMINAR PPG DAN PPL ppg prajabatan 2024.pptx
SEMINAR PPG DAN PPL ppg prajabatan 2024.pptxSEMINAR PPG DAN PPL ppg prajabatan 2024.pptx
SEMINAR PPG DAN PPL ppg prajabatan 2024.pptx
bobobodo693
 

Recently uploaded (20)

Juknis Pengisian Blanko Ijazah 2024 29 04 2024 Top.pptx
Juknis Pengisian Blanko Ijazah 2024 29 04 2024 Top.pptxJuknis Pengisian Blanko Ijazah 2024 29 04 2024 Top.pptx
Juknis Pengisian Blanko Ijazah 2024 29 04 2024 Top.pptx
 
VISI MISI KOMUNITAS BELAJAR SDN 93 KOTA JAMBI
VISI MISI KOMUNITAS BELAJAR SDN 93 KOTA JAMBIVISI MISI KOMUNITAS BELAJAR SDN 93 KOTA JAMBI
VISI MISI KOMUNITAS BELAJAR SDN 93 KOTA JAMBI
 
RANCANGAN TINDAKAN AKSI NYATA MODUL 1.4.pptx
RANCANGAN TINDAKAN AKSI NYATA MODUL 1.4.pptxRANCANGAN TINDAKAN AKSI NYATA MODUL 1.4.pptx
RANCANGAN TINDAKAN AKSI NYATA MODUL 1.4.pptx
 
MATERI SOSIALISASI PPDB JABAR- 4PAN052024.pdf
MATERI SOSIALISASI PPDB JABAR- 4PAN052024.pdfMATERI SOSIALISASI PPDB JABAR- 4PAN052024.pdf
MATERI SOSIALISASI PPDB JABAR- 4PAN052024.pdf
 
Koneksi Antar Materi modul 1.4 Budaya Positif
Koneksi Antar Materi modul 1.4 Budaya PositifKoneksi Antar Materi modul 1.4 Budaya Positif
Koneksi Antar Materi modul 1.4 Budaya Positif
 
SOSIALISASI PPDB TAHUN AJARAN 2024-2025.pptx
SOSIALISASI PPDB TAHUN AJARAN 2024-2025.pptxSOSIALISASI PPDB TAHUN AJARAN 2024-2025.pptx
SOSIALISASI PPDB TAHUN AJARAN 2024-2025.pptx
 
INSTRUMEN PENILAIAN PRAKTIK KINERJA KS Dok Rating Observasi (1).docx
INSTRUMEN PENILAIAN PRAKTIK KINERJA KS Dok Rating Observasi (1).docxINSTRUMEN PENILAIAN PRAKTIK KINERJA KS Dok Rating Observasi (1).docx
INSTRUMEN PENILAIAN PRAKTIK KINERJA KS Dok Rating Observasi (1).docx
 
Karakteristik Manusia Komunikan dalam Bingkai Psikologi Komunikasi
Karakteristik Manusia Komunikan dalam Bingkai Psikologi KomunikasiKarakteristik Manusia Komunikan dalam Bingkai Psikologi Komunikasi
Karakteristik Manusia Komunikan dalam Bingkai Psikologi Komunikasi
 
ppt landasan pendidikan Alat alat pendidikan PAI 9_
ppt landasan pendidikan Alat alat pendidikan PAI 9_ppt landasan pendidikan Alat alat pendidikan PAI 9_
ppt landasan pendidikan Alat alat pendidikan PAI 9_
 
SOAL SHB PKN SEMESTER GENAP TAHUN 2023-2024.docx
SOAL SHB PKN SEMESTER GENAP TAHUN 2023-2024.docxSOAL SHB PKN SEMESTER GENAP TAHUN 2023-2024.docx
SOAL SHB PKN SEMESTER GENAP TAHUN 2023-2024.docx
 
ppt landasan pendidikan pai 9 revisi.pdf
ppt landasan pendidikan pai 9 revisi.pdfppt landasan pendidikan pai 9 revisi.pdf
ppt landasan pendidikan pai 9 revisi.pdf
 
PENGUMUMAN PPDB SMPN 4 PONOROGO TAHUN 2024.pdf
PENGUMUMAN PPDB SMPN 4 PONOROGO TAHUN 2024.pdfPENGUMUMAN PPDB SMPN 4 PONOROGO TAHUN 2024.pdf
PENGUMUMAN PPDB SMPN 4 PONOROGO TAHUN 2024.pdf
 
Laporan Piket Guru untuk bukti dukung PMM.pdf
Laporan Piket Guru untuk bukti dukung PMM.pdfLaporan Piket Guru untuk bukti dukung PMM.pdf
Laporan Piket Guru untuk bukti dukung PMM.pdf
 
Modul Projek - Modul P5 Kearifan Lokal _Menampilkan Tarian Daerah Nusantara_...
Modul Projek  - Modul P5 Kearifan Lokal _Menampilkan Tarian Daerah Nusantara_...Modul Projek  - Modul P5 Kearifan Lokal _Menampilkan Tarian Daerah Nusantara_...
Modul Projek - Modul P5 Kearifan Lokal _Menampilkan Tarian Daerah Nusantara_...
 
Permainan Wiwi Wowo aksi nyata berkebhinekaan
Permainan Wiwi Wowo aksi nyata berkebhinekaanPermainan Wiwi Wowo aksi nyata berkebhinekaan
Permainan Wiwi Wowo aksi nyata berkebhinekaan
 
untuk observasi kepala sekolah dengan pengawas
untuk observasi kepala sekolah dengan pengawasuntuk observasi kepala sekolah dengan pengawas
untuk observasi kepala sekolah dengan pengawas
 
0. PPT Juknis PPDB TK-SD -SMP 2024-2025 Cilacap.pptx
0. PPT Juknis PPDB TK-SD -SMP 2024-2025 Cilacap.pptx0. PPT Juknis PPDB TK-SD -SMP 2024-2025 Cilacap.pptx
0. PPT Juknis PPDB TK-SD -SMP 2024-2025 Cilacap.pptx
 
tugas modul 1.4 Koneksi Antar Materi (1).pptx
tugas  modul 1.4 Koneksi Antar Materi (1).pptxtugas  modul 1.4 Koneksi Antar Materi (1).pptx
tugas modul 1.4 Koneksi Antar Materi (1).pptx
 
LK 1 - 5T Keputusan Berdampak PERMATA BUNDA.pdf
LK 1 - 5T Keputusan Berdampak PERMATA BUNDA.pdfLK 1 - 5T Keputusan Berdampak PERMATA BUNDA.pdf
LK 1 - 5T Keputusan Berdampak PERMATA BUNDA.pdf
 
SEMINAR PPG DAN PPL ppg prajabatan 2024.pptx
SEMINAR PPG DAN PPL ppg prajabatan 2024.pptxSEMINAR PPG DAN PPL ppg prajabatan 2024.pptx
SEMINAR PPG DAN PPL ppg prajabatan 2024.pptx
 

2 proposisi

  • 2. Sub Topik • Hukum-hukum Logika Proposisi • Proposisi Bersyarat • Varian proposisi bersyarat • Bi-Implikasi
  • 3. Tujuan Pembelajaran Memahami konsep proposisi Memahami konsep kombinasi proposisi Memahami penggunaan tabel kebenaran Memahami hukum - hukum logika proposisi
  • 4. HUKUM PROPOSISIONAL P, Q,DAN R 1.Hukum de Morgan : (PQ)  (PQ) 2.Hukum de Morgan : (PQ)  (PQ) 3.Hukum distributif : P(QR)  (PQ)  (PR) P(QR)  (PQ) (PR) 4.Hukum komutatif : (PQ)  (QP) (PQ)  (QP) 5.Hukum asosiatif : ((PQ) R)  (P (QR)) ((PQ) R)  (P (QR)) 6.Hukum kontrapositif : (PQ)  ( Q P)
  • 5. 5 Dua buah proposisi, P(p, q, ..) dan Q(p, q, ..) disebut ekivalen secara logika jika keduanya mempunyai tabel kebenaran yang identik. Notasi: P(p, q, …)  Q(p, q, …) Hukum De Morgan: ~(p  q)  ~p  ~q. p q p  q ~ (p  q) ~ p ~q ~ p  ~ q T T T F F F F T F F T F T T F T F T T F T F F F T T T T
  • 6. Contoh Soal 1 • Jika p, q dan r adalah proposisi maka carilah tabel kebenaran dari : 1. (p  q) V (q  r) 2. (p  q) V r 3. (p V q)  r 4. [(p V q)  r] V [(p  r) V (q  p)]
  • 7. 7 tabel kebenaran dari proposisi majemuk (p  q)  (~q  r). p q r p  q ~q ~q  r (p  q)  (~q  r) T T T T F F T T T F T F F T T F T F T T T T F F F T F F F T T F F F F F T F F F F F F F T F T T T F F F F T F F
  • 8. 8 • Proposisi disebut tautologi jika ia benar untuk semua kasus • Proposisi disebut kontradiksi jika ia salah untuk semua kasus.
  • 9. 9 p  ~(p  q) adalah sebuah tautologi p q p  q ~(p  q) p  ~(p  q) T T T F T T F F T T F T F T T F F F T T
  • 10. 10 (p  q)  ~(p  q) adalah sebuah kontradiksi p q p  q p  q ~(p  q) (p  q)  ~(p  q) T T T F F F T F F T F F F T F T F F F F F F T F
  • 11. 11 Disjungsi EksklusifKata “atau” (or) dalam operasi logika digunakan dalam salah satu dari dua cara: 1. Inclusive or “atau” berarti “p atau q atau keduanya” Contoh: “Tenaga IT yang dibutuhkan menguasai Bahasa C++ atau Java”. 2. Exclusive or “atau” berarti “p atau q tetapi bukan keduanya”. Contoh: “Ia dihukum 5 tahun atau denda 10 juta”.
  • 12. 12 Operator logika disjungsi eksklusif: xor Notasi:  Tabel kebenaran: p q p  q T T F T F T F T T F F F
  • 13. Proposisi Bersyarat (Implikasi) • Misalkan p dan q adalah proposisi. • Notasi dari proposisi majemuk “jika p maka q” : p  q • Proposisi p disebut hipotesis (antesenden atau premis atau kondisi) • Proposisi q disebut konklusi (konsekuen) • Implikasi p  q hanya salah jika p benar tetapi q salah, selain itu implikasi benilai benar p q p  q T T T T F F F T T F F T T = True (benar) F = False (salah)
  • 14. • Konsep matematik mengenai implikasi independen dari hubungan sebab-akibat antara hipotesis dan konklusi • Ekspresi lain dari implikasi p  q : a)Jika p maka q : if p then q b)Jika p, q : if p, q c) p mengakibatkan q : p implies q d)q jika p : q if p e)p hanya jika q : p only if q f) p syarat cukup agar q :p is sufficient for p g)q syarat perlu bagi p :q is necessary for p h)q bilamana p : q whenever p Proposisi Bersyarat (Implikasi)
  • 15. Contoh Kalimat implikasi a) Jika hari hujan maka tanaman akan tumbuh subur b) Jika tekanan gas diperbesar, mobil melaju kencang c) Es yang mencair di kutub mengakibatkan permukaan air laut naik d) Orang itu mau berangkat jika ia diberi ongkos jalan e) Hani bisa mengambil MK Struktur Data hanya jika ia sudah lulus MK Algoritma Pemrograman f) Percikan api dari rokok adalah Syarat cukup agar pom bensin meledak g) mengontrak pemain asing kenamaan adalah Syarat perlu bagi Indonesia agar ikut Piala Dunia h) Banjir bandang terjadi bilamana hutan ditebangi
  • 16. Pengubahan menjadi bentuk proposisi jika p maka q a) Jika hari hujan maka tanaman akan tumbuh subur b) Jika tekanan gas diperbesar, maka mobil melaju kencang c) Jika Es yang mencair di kutub, maka permukaan air laut naik d) Jika Orang itu diberi ongkos jalan, maka ia mau berangkat e) Jika Hani sudah lulus MK Algoritma Pemrograman, maka ia bisa mengambil MK Struktur Data f) Jika api memercik dari rokok, maka pom bensin meledak g) Jika Indonesia ikut Piala Dunia, maka Indonesia mengontrak pemain asing kenamaan h) Jika Hutan ditebangi, maka Banjir bandang terjadi
  • 17. Varian Proposisi Bersyarat • Konvers (kebalikan) Notasi : q p • Invers Notasi : p  q • Kontraposisi : Notasi : q  p p q p q Implikasi pq Konvers qp Invers p q Kontraposisi q p T T F F T T T T T F F T F T T F F T T F T F F T F F T T T T T T
  • 18. Contoh Soal 2 • Jika Fani rajin belajar, maka ia mendapat nilai bagus Sehingga ... Konvers : Invers : Kontraposisi :
  • 19. Bi-kondisional (Bi-implikasi) • Misalkan p dan q adalah proposisi. • Proposisi majemuk “p jika dan hanya jika q “ dinyatakan dengan notasi : p  q • Penyataan p  q bernilai benar bila p dan q mempunyai nilai kebenaran yang sama p q p  q T T T T F F F T F F F T T = True (benar) F = False (salah)
  • 20. • Bi-kondisional pq ekivalen dengan (p  q)  (q  p) • Bi-kondisional dapat dinyatakan dengan kata-kata : – p jika hanya jika q – p adalah syarat perlu dan cukup untuk q – Jika p maka q, dan sebaliknya – P iff q p q p q pq qp (p  q)  (q  p) T T T T T T T F F F T F F T F T F F F F T T T T
  • 21. Contoh proposisi majemuk dari bi-implikasi a) 1 + 1 = 2 jika hanya jika 2 + 2 = 4 b) Syarat cukup dan syarat perlu agar hari hujan adalah kelembaban udara tinggi c) Jika budi orang kaya maka budi mempunyai banyak uang, dan sebaliknya d) Surabaya terletak di Jawa Timur iff Jawa Timur adalah sebuah propinsi di Indonesia
  • 23. TUGAS 1. Misalkan p adalah “Ani bisa berbahasa Madura”, q adalah “ Ani bisa berbahasa Indonesia”, dan r adalah “ Ani bisa berbahasa Inggris”. Terjemahkan kalimat majemuk berikut ke dalam notasi simbolik : a. Ani bisa berbahasa Madura atau Indonesia b. Ani bisa berbahasa Indonesia tetapi tidak bahasa Inggris. c. Ani bisa berbahasa Madura atau bahasa Indonesia, atau dia tidak bisa berbahasa Inggris atau bahasa Indonesia. d. Tidak benar bahwa Ani bisa berbahasa Indonesia atau Inggris e. Tidak benar bahwa Ani bisa berbahasa Indonesia atau Inggris tetapi tidak bahasa Madura f. Tidak benar bahwa Ani tidak bisa berbahasa Madura, Indonesia, maupun Inggris.
  • 24. TUGAS 2. Tuliskan tabel kebenaran untuk setiap proposisi berikut : a. (p ᴠ q) ᴧ ̴p b. ̴(p ᴧ q) ᴠ ( ̴q v r) c. ( ̴p v ̴q ) v p d. (p v q) → ̴q e. ( ̴q  p)  (p  ̴q)
  • 25. TUGAS 3. Misalkan p adalah “ Hari ini adalah hari senin”, q adalah “Hujan turun”, dan r adalah “Hari ini panas”. Terjemahkan notasi simbolik ini dengan kata-kata. a. p ᴠ q b. ̴p ᴧ (q ᴠ r) c. ̴ (p ᴠ q) ᴧ r d. (p ᴧ q) ᴧ ̴(r ᴠ p) e. ̴ q  ̴p
  • 26. Daftar Pustaka • Rinaldi Munir, 2005, “Matematika diskrit”, INFORMATIKA Bandung