SlideShare a Scribd company logo
1 of 27
DASAR – DASAR 
LOGIKA INFORMATIKA 
Erik Hadi Saputra, S.Kom, M.Eng. 
1
2 
4. Implication Rule 
(Aturan IF-THEN) 
Implikasi bernilai “salah” bila anteseden benar dan konsekuen salah. 
P Q If p then q 
True True True 
True False False 
False True True 
False False True
3 
 Jika (pq) adalah implikasi, maka : 
 (qp) adalah konvers 
 (not pnot q) adalah invers 
 (not qnot p) adalah kontraposisi 
 Jika (pq) bernilai benar, maka: 
 belum tentu (q  p), (not p  not q), 
 (not q  not p) bernilai benar.
4 
5. Equivalence Rule 
(Aturan IF -AND ONLY IF -) 
Biimplikasi bernilai “benar”, jika penyusun proposisi bernilai sama 
P q p if and only if q 
True True True 
True False False 
False True False 
False False True
5 
6. Conditional Rule 
(Aturan IF–THEN-ELSE) 
Jika p bernilai benar maka q berlaku, Jika p bernilai salah maka r berlaku 
P q r if p then q else r 
True True True True 
True True False True 
True False True False 
True False False False 
False True True True 
False True False False 
False False True True 
False False False False
6 
1. Tentukan nilai kebenaran (truth value) dari 
sentence berikut, dengan menggunakan 
truth table : 
a. F: (f and g) if and only if (g and g) 
b. G: if (if p then q) then q 
c. H: ((p or q) and not r) if and only if ((if p then r) 
and (if q then r)) 
2. Jika diberikan suatu nilai (interpretasi) True 
untuk p dan s dan False untuk q dan r, 
maka tentukanlah nilai kebenaran untuk 
kalimat berikut: 
a. ((if p then q) and (if q then p)) if and only if 
(q or not p) 
b. (p and (if r then s)) if and only if 
((if r then s) and p)
Properties of Sentence 
7 
Sifat - Sifat Kalimat 
Logika
8 
Valid 
Suatu sentence f disebut valid, jika untuk 
setiap interpretation I for f, maka f bernilai 
true. 
Contoh: 
1. (f and g) if and only if (g and f) 
2. f or not f 
3. (p and (if r then s)) if and only if ((if r then s) 
and p) 
4. (p or q) or not (p or q) 
5. (if p then not q) if and only if not (p and q)
9 
Satisfiable 
Suatu sentence f disebut satisfiable, 
jika untuk suatu interpretation I for f, 
maka f bernilai true. 
Contoh: 
1. If (if p then q) then q 
2. (if p then q) or (r and s) 
3. (if p then q) or r
Kontradiksi 
Suatu sentence f disebut kontradiksi, jika 
untuk setiap interpretation I for f, maka f 
bernilai false. 
Contoh: 
1. p and not p 
2. ((p or q) and not r) if and only if ((if p then r) 
10 
and (if q then r))
Quantifier Sentence 
Kalimat Berkuantor 
11 
 Pernyataan yang 
memuat ekspresi kuantitas 
obyek yang terlibat 
Misalnya: semua, ada, 
beberapa, tidak semua.
12 
KALIMAT BERKUANTOR 
Universal Quantifier (for all…) 
Mempunyai makna umum dan menyeluruh 
Notasi: , dibaca semua, seluruh, setiap 
Penulisan: x Î S  p(x) 
 Semua x dalam semesta s mempunyai sifat p 
Contoh: 
1. Semua orang yang hidup pasti mati. 
2. Setiap mahasiswa pasti pandai. 
3. Seluruh mahasiswa amikom ganteng-ganteng 
dan cantik-cantik.
13 
KALIMAT BERKUANTOR 
Existential Quantifier (for some…) 
Mempunyai makna khusus atau sebagian 
Notasi: $, dibaca terdapat, ada, 
beberapa 
Penulisan: $y Î S  q(y) 
 Terdapat y dalam semesta S mempunyai 
sifat q 
Contoh: 
1. Ada Mahasiswa di kelas ini yang ngantuk 
2. Beberapa Mahasiswa yang mendapat nilai 
A mata kuliah Logika Informatika
14 
Ingkaran Pernyataan Berkuantor 
(x) p(x) = ($y) p(y) 
($y) q(y) = (x) q(x) 
Contoh: 
1. p : Semua mahasiswa AMIKOM harus berdasi. 
~p : Ada mahasiswa AMIKOM yang tidak berdasi. 
2. q : Ada pejabat yang korupsi. 
~q : Semua pejabat tidak korupsi. 
3. p : Semua Mahasiswa AMIKOM pintar. 
~p : Ada juga mahasiswa yang tidak pintar. 
4. q : Ada orang yang gagal mencapai tujuannya. 
~q : Semua orang tidak gagal mencapai 
tujuannya.
Inference Method 
15 
Metode Inferensi
16 
Modus Ponens 
 Pada suatu implikasi “jika p maka q” yang 
diasumsikan bernilai benar, dan apabila juga 
diketahui bahwa nilai dari anteseden (p) 
bernilai benar, maka nilai q juga harus benar. 
p  q 
p 
q 
 Contoh: 
 Jika seseorang itu adalah mahasiswa maka ia 
pasti pandai 
 Aril adalah seorang mahasiswa 
 Aril pasti pandai
Modus Tellens 
 Suatu implikasi “jika p maka q” akan selalu 
ekivalen dengan kontraposisinya, yaitu “jika 
bukan q maka bukan p”. Dengan demikian, 
hipotesa kedua dan kesimpulan merupakan 
kontraposisi hipotesa pertama pada modus 
ponens. 
p  q 
17 
~q 
~p 
 Contoh: 
 Jika Cinta adalah mahasiswi yang baik maka ia 
pasti tidak nyotek di ujian 
 Cinta nyontek dalam ujian 
 Cinta bukan mahasiswi yang baik
18 
Prinsip Syllogisme 
 Prinsip silogisme adalah sifat transitif dari 
implikasi. Artinya, jika suatu implikasi p  q 
dan q  r keduanya bernilai benar maka 
implikasi p  q pasti bernilai benar. 
p  q 
q  r 
p  r 
 Contoh: 
 Jika ia rajin maka ia pasti pandai 
 Jika ia pandai maka ia pasti sukses 
 Jika ia rajin maka ia pasti sukses
Contoh Metode 
Inferensi 
19 
Pada suatu hari, Anda 
hendak pergi kuliah dan 
baru sadar bahwa anda 
tidak memakai kacamata. 
Setelah diingat-ingat, ada 
beberapa fakta yang Anda 
yakini benar :
Setelah diingat-ingat, ada beberapa 
fakta yang Anda yakini benar : 
1. Jika kacamataku ada di meja dapur, aku pasti 
sudah melihatnya ketika mengambil makanan 
kecil. 
20 
2. Aku membaca buku pemrograman di ruang 
tamu atau aku membacanya di dapur. 
3. Jika aku membaca buku pemrograman di 
ruang tamu, maka pastilah kacamata 
kuletakkan dimeja tamu. 
4. Aku tidak melihat kacamataku ketika aku 
mengambil makanan kecil. 
5. Jika aku membaca majalah di ranjang, maka 
kacamataku kuletakkan dimeja samping 
ranjang. 
6. Jika aku membaca buku pemrograman di 
dapur, maka kacamata ada di meja dapur.
Berdasarkan Fakta - 
Fakta Tersebut... 
21 
Tentukan dimana letak 
kacamata..?
Pernyataan Dengan 
Simbol - Simbol Logika 
 p : Kacamata ada di meja dapur. 
 q : Aku melihat kacamataku ketika mengambil 
22 
makanan kecil. 
 r : Aku membaca buku pemrograman di ruang 
tamu. 
 s : Aku membaca buku pemrograman di dapur. 
 t : Kacamata kuletakkan di meja tamu. 
 u : Aku membaca MAJALAH di ranjang. 
 w : Kacamata kuletakkan di meja samping 
ranjang.
23 
Fakta dapat ditulis : 
1. p  q 
2. r v s 
3. r  t 
4. ~q 
5. u  w 
6. s  p
24 
Inferensi yang dapat 
dilakukan : 
1. p  q 
~q 
~p 
2. s  p 
~p 
~s 
3. r v s 
~s 
r 
4. r  t 
r 
t
Kesimpulan 
Kacamata ada di meja tamu 
25
Latihan  
1. Buktikan bahwa sentence berikut memiliki sifat “valid” 
26 
(p and (if r then s)) if and only if ((if r then s) and p) 
1. Jika diberikan interpretasi p, q, dan r berturut turut 
adalah True, False, dan True. Tentukan truth value dari 
sentence berikut: 
1.If ((if q then not p) or not q) then (p if and only if q) else not 
r 
2.If (if p then (if q then r)) then (if p then q) else (if p then r) 
2. Jika diberikan dua implikasi seperti berikut: 
1.If (p or q) or not (p or q) then ((f and g) if and only if (g and 
f) 
2.If ((f and g) if and only if (g and f) then ( p and not p) 
Tentukan kesimpulannya dengan menggunakan prinsip 
Syllogisme, serta berikan truth value-nya dengan 
menggunakan truth table.
THANX ‘U..  
Sukses Selalu 
27

More Related Content

What's hot

Soal kalkulus proposisi
Soal kalkulus proposisi Soal kalkulus proposisi
Soal kalkulus proposisi ikoast
 
Logika simbolik
Logika simbolikLogika simbolik
Logika simbolikagusgtbgt
 
proposisi majemuk & Tautologi
 proposisi majemuk & Tautologi proposisi majemuk & Tautologi
proposisi majemuk & TautologiHuzairi Zairi
 
logika matematika
logika matematika logika matematika
logika matematika Erna S
 
Logika dan Pembuktian
Logika dan PembuktianLogika dan Pembuktian
Logika dan PembuktianFahrul Usman
 
Review Mathematical Reasoning
Review Mathematical ReasoningReview Mathematical Reasoning
Review Mathematical ReasoningHeni Widayani
 
Kata Hubung Kalimat Logika Matematika
Kata Hubung Kalimat Logika MatematikaKata Hubung Kalimat Logika Matematika
Kata Hubung Kalimat Logika MatematikaEman Mendrofa
 
tabel kebenaran&hukum
 tabel kebenaran&hukum tabel kebenaran&hukum
tabel kebenaran&hukumHuzairi Zairi
 
KAPITA SELEKTA MATEMATIKA
KAPITA SELEKTA MATEMATIKAKAPITA SELEKTA MATEMATIKA
KAPITA SELEKTA MATEMATIKANety24
 
2. logika
2. logika 2. logika
2. logika Rian Dp
 
Logika matematika pertemuan 2 (inferensi)
Logika matematika pertemuan 2 (inferensi)Logika matematika pertemuan 2 (inferensi)
Logika matematika pertemuan 2 (inferensi)Meycelino A. T
 
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.ITsaid zulhelmi
 
Soal logika matematika 9 april 2013
Soal logika matematika 9 april 2013Soal logika matematika 9 april 2013
Soal logika matematika 9 april 2013Alfipi
 

What's hot (20)

Soal kalkulus proposisi
Soal kalkulus proposisi Soal kalkulus proposisi
Soal kalkulus proposisi
 
Logika simbolik
Logika simbolikLogika simbolik
Logika simbolik
 
proposisi majemuk & Tautologi
 proposisi majemuk & Tautologi proposisi majemuk & Tautologi
proposisi majemuk & Tautologi
 
logika matematika
logika matematika logika matematika
logika matematika
 
Matematika diskrit
Matematika diskritMatematika diskrit
Matematika diskrit
 
Logika dan Pembuktian
Logika dan PembuktianLogika dan Pembuktian
Logika dan Pembuktian
 
Logika mat-simpel
Logika mat-simpelLogika mat-simpel
Logika mat-simpel
 
Review Mathematical Reasoning
Review Mathematical ReasoningReview Mathematical Reasoning
Review Mathematical Reasoning
 
Kata Hubung Kalimat Logika Matematika
Kata Hubung Kalimat Logika MatematikaKata Hubung Kalimat Logika Matematika
Kata Hubung Kalimat Logika Matematika
 
tabel kebenaran&hukum
 tabel kebenaran&hukum tabel kebenaran&hukum
tabel kebenaran&hukum
 
Logika (logic)
Logika (logic)Logika (logic)
Logika (logic)
 
KAPITA SELEKTA MATEMATIKA
KAPITA SELEKTA MATEMATIKAKAPITA SELEKTA MATEMATIKA
KAPITA SELEKTA MATEMATIKA
 
2 proposisi
2 proposisi2 proposisi
2 proposisi
 
Logika ppt
Logika pptLogika ppt
Logika ppt
 
2. logika
2. logika 2. logika
2. logika
 
Logika matematika pertemuan 2 (inferensi)
Logika matematika pertemuan 2 (inferensi)Logika matematika pertemuan 2 (inferensi)
Logika matematika pertemuan 2 (inferensi)
 
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 lanjutan
Logika lanjutanLogika lanjutan
Logika lanjutan
 
Logika matematika
Logika matematikaLogika matematika
Logika matematika
 
Soal logika matematika 9 april 2013
Soal logika matematika 9 april 2013Soal logika matematika 9 april 2013
Soal logika matematika 9 april 2013
 

Similar to Dasar Logika Informatia

Modul matematika Mahasiswa Pendidikan Matematika Universitas Sriwijaya 2015
Modul matematika Mahasiswa Pendidikan Matematika Universitas Sriwijaya 2015Modul matematika Mahasiswa Pendidikan Matematika Universitas Sriwijaya 2015
Modul matematika Mahasiswa Pendidikan Matematika Universitas Sriwijaya 2015Bella Timorti
 
Bahan ajar matematika ( kapita selekta )
Bahan ajar matematika ( kapita selekta )Bahan ajar matematika ( kapita selekta )
Bahan ajar matematika ( kapita selekta )reno sutriono
 
Logika-(2016).pdf
Logika-(2016).pdfLogika-(2016).pdf
Logika-(2016).pdfDaenRama
 
Kuantor dan Validitas Pembuktian
Kuantor dan Validitas PembuktianKuantor dan Validitas Pembuktian
Kuantor dan Validitas PembuktianEman Mendrofa
 
TUWEB 1 MATEMATIKA.pptx
TUWEB 1 MATEMATIKA.pptxTUWEB 1 MATEMATIKA.pptx
TUWEB 1 MATEMATIKA.pptxMahdaAzahra
 
Soal soal-logika-matematika
Soal soal-logika-matematikaSoal soal-logika-matematika
Soal soal-logika-matematikajudfyrokhman
 
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.pptx2300018289
 
Modul matematika-kelas-x-logika
Modul matematika-kelas-x-logikaModul matematika-kelas-x-logika
Modul matematika-kelas-x-logikaDiana Permatasari
 

Similar to Dasar Logika Informatia (20)

Modul matematika Mahasiswa Pendidikan Matematika Universitas Sriwijaya 2015
Modul matematika Mahasiswa Pendidikan Matematika Universitas Sriwijaya 2015Modul matematika Mahasiswa Pendidikan Matematika Universitas Sriwijaya 2015
Modul matematika Mahasiswa Pendidikan Matematika Universitas Sriwijaya 2015
 
Logika
LogikaLogika
Logika
 
Logika inf
Logika infLogika inf
Logika inf
 
5. Proposisi.pdf
5. Proposisi.pdf5. Proposisi.pdf
5. Proposisi.pdf
 
Bahan ajar matematika ( kapita selekta )
Bahan ajar matematika ( kapita selekta )Bahan ajar matematika ( kapita selekta )
Bahan ajar matematika ( kapita selekta )
 
Materi Matematika
Materi MatematikaMateri Matematika
Materi Matematika
 
Logika-(2016).pdf
Logika-(2016).pdfLogika-(2016).pdf
Logika-(2016).pdf
 
Kelas x bab 7
Kelas x bab 7Kelas x bab 7
Kelas x bab 7
 
Kelas x bab 7
Kelas x bab 7Kelas x bab 7
Kelas x bab 7
 
TUTORIAL 1 - PDGK 4108.pptx
TUTORIAL 1 - PDGK 4108.pptxTUTORIAL 1 - PDGK 4108.pptx
TUTORIAL 1 - PDGK 4108.pptx
 
Kelas x bab 7
Kelas x bab 7Kelas x bab 7
Kelas x bab 7
 
Logika
LogikaLogika
Logika
 
Kuantor dan Validitas Pembuktian
Kuantor dan Validitas PembuktianKuantor dan Validitas Pembuktian
Kuantor dan Validitas Pembuktian
 
TUWEB 1 MATEMATIKA.pptx
TUWEB 1 MATEMATIKA.pptxTUWEB 1 MATEMATIKA.pptx
TUWEB 1 MATEMATIKA.pptx
 
Soal soal-logika-matematika
Soal soal-logika-matematikaSoal soal-logika-matematika
Soal soal-logika-matematika
 
Logika
LogikaLogika
Logika
 
Logika
LogikaLogika
Logika
 
logika.pdf
logika.pdflogika.pdf
logika.pdf
 
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
 
Modul matematika-kelas-x-logika
Modul matematika-kelas-x-logikaModul matematika-kelas-x-logika
Modul matematika-kelas-x-logika
 

More from Muhammad Hanif

Hukum dasar kimia dan perhitungan kimia
Hukum dasar kimia dan perhitungan kimiaHukum dasar kimia dan perhitungan kimia
Hukum dasar kimia dan perhitungan kimiaMuhammad Hanif
 
Memahami tentang kimia
Memahami tentang kimiaMemahami tentang kimia
Memahami tentang kimiaMuhammad Hanif
 
Mengelola e learningdengan claroline
Mengelola e learningdengan clarolineMengelola e learningdengan claroline
Mengelola e learningdengan clarolineMuhammad Hanif
 
Dasar Logika Informatia II
Dasar Logika Informatia IIDasar Logika Informatia II
Dasar Logika Informatia IIMuhammad Hanif
 
Literal Data [Algoritma]
Literal Data [Algoritma]Literal Data [Algoritma]
Literal Data [Algoritma]Muhammad Hanif
 
Pengetahuan dasar dan sejarah komputer
Pengetahuan dasar dan sejarah komputerPengetahuan dasar dan sejarah komputer
Pengetahuan dasar dan sejarah komputerMuhammad Hanif
 
[English] meeting3_ Materi question
[English] meeting3_ Materi question[English] meeting3_ Materi question
[English] meeting3_ Materi questionMuhammad Hanif
 

More from Muhammad Hanif (13)

Hukum dasar kimia dan perhitungan kimia
Hukum dasar kimia dan perhitungan kimiaHukum dasar kimia dan perhitungan kimia
Hukum dasar kimia dan perhitungan kimia
 
Ikatan kimia2
Ikatan kimia2Ikatan kimia2
Ikatan kimia2
 
Materi prosa
Materi prosaMateri prosa
Materi prosa
 
Memahami tentang kimia
Memahami tentang kimiaMemahami tentang kimia
Memahami tentang kimia
 
Mengelola e learningdengan claroline
Mengelola e learningdengan clarolineMengelola e learningdengan claroline
Mengelola e learningdengan claroline
 
Pengenalanilmukimia
PengenalanilmukimiaPengenalanilmukimia
Pengenalanilmukimia
 
Modul tatanamasenyawa
Modul tatanamasenyawaModul tatanamasenyawa
Modul tatanamasenyawa
 
Kepalangmerahan
KepalangmerahanKepalangmerahan
Kepalangmerahan
 
induksi matematika
induksi matematikainduksi matematika
induksi matematika
 
Dasar Logika Informatia II
Dasar Logika Informatia IIDasar Logika Informatia II
Dasar Logika Informatia II
 
Literal Data [Algoritma]
Literal Data [Algoritma]Literal Data [Algoritma]
Literal Data [Algoritma]
 
Pengetahuan dasar dan sejarah komputer
Pengetahuan dasar dan sejarah komputerPengetahuan dasar dan sejarah komputer
Pengetahuan dasar dan sejarah komputer
 
[English] meeting3_ Materi question
[English] meeting3_ Materi question[English] meeting3_ Materi question
[English] meeting3_ Materi question
 

Recently uploaded

Pendidikan-Bahasa-Indonesia-di-SD MODUL 3 .pptx
Pendidikan-Bahasa-Indonesia-di-SD MODUL 3 .pptxPendidikan-Bahasa-Indonesia-di-SD MODUL 3 .pptx
Pendidikan-Bahasa-Indonesia-di-SD MODUL 3 .pptxdeskaputriani1
 
MODUL P5 KEWIRAUSAHAAN SMAN 2 SLAWI 2023.pptx
MODUL P5 KEWIRAUSAHAAN SMAN 2 SLAWI 2023.pptxMODUL P5 KEWIRAUSAHAAN SMAN 2 SLAWI 2023.pptx
MODUL P5 KEWIRAUSAHAAN SMAN 2 SLAWI 2023.pptxSlasiWidasmara1
 
PPT PERUBAHAN LINGKUNGAN MATA PELAJARAN BIOLOGI KELAS X.pptx
PPT PERUBAHAN LINGKUNGAN MATA PELAJARAN BIOLOGI KELAS X.pptxPPT PERUBAHAN LINGKUNGAN MATA PELAJARAN BIOLOGI KELAS X.pptx
PPT PERUBAHAN LINGKUNGAN MATA PELAJARAN BIOLOGI KELAS X.pptxdpp11tya
 
PPT AKUNTANSI KEUANGAN MENENGAH DUA.pptx
PPT AKUNTANSI KEUANGAN MENENGAH DUA.pptxPPT AKUNTANSI KEUANGAN MENENGAH DUA.pptx
PPT AKUNTANSI KEUANGAN MENENGAH DUA.pptxssuser8905b3
 
PPT AKSI NYATA KOMUNITAS BELAJAR .ppt di SD
PPT AKSI NYATA KOMUNITAS BELAJAR .ppt di SDPPT AKSI NYATA KOMUNITAS BELAJAR .ppt di SD
PPT AKSI NYATA KOMUNITAS BELAJAR .ppt di SDNurainiNuraini25
 
Modul Ajar Pendidikan Pancasila Kelas 5 Fase C
Modul Ajar Pendidikan Pancasila Kelas 5 Fase CModul Ajar Pendidikan Pancasila Kelas 5 Fase C
Modul Ajar Pendidikan Pancasila Kelas 5 Fase CAbdiera
 
AKSI NYATA NARKOBA ATAU OBAT TERLARANG..
AKSI NYATA NARKOBA ATAU OBAT TERLARANG..AKSI NYATA NARKOBA ATAU OBAT TERLARANG..
AKSI NYATA NARKOBA ATAU OBAT TERLARANG..ikayogakinasih12
 
AKSI NYATA BERBAGI PRAKTIK BAIK MELALUI PMM
AKSI NYATA BERBAGI PRAKTIK BAIK MELALUI PMMAKSI NYATA BERBAGI PRAKTIK BAIK MELALUI PMM
AKSI NYATA BERBAGI PRAKTIK BAIK MELALUI PMMIGustiBagusGending
 
Paparan Refleksi Lokakarya program sekolah penggerak.pptx
Paparan Refleksi Lokakarya program sekolah penggerak.pptxPaparan Refleksi Lokakarya program sekolah penggerak.pptx
Paparan Refleksi Lokakarya program sekolah penggerak.pptxIgitNuryana13
 
ppt-modul-6-pend-seni-di sd kelompok 2 ppt
ppt-modul-6-pend-seni-di sd kelompok 2 pptppt-modul-6-pend-seni-di sd kelompok 2 ppt
ppt-modul-6-pend-seni-di sd kelompok 2 pptArkhaRega1
 
PELAKSANAAN + Link-Link MATERI Training_ "Effective INVENTORY & WAREHOUSING M...
PELAKSANAAN + Link-Link MATERI Training_ "Effective INVENTORY & WAREHOUSING M...PELAKSANAAN + Link-Link MATERI Training_ "Effective INVENTORY & WAREHOUSING M...
PELAKSANAAN + Link-Link MATERI Training_ "Effective INVENTORY & WAREHOUSING M...Kanaidi ken
 
Latsol TWK Nasionalisme untuk masuk CPNS
Latsol TWK Nasionalisme untuk masuk CPNSLatsol TWK Nasionalisme untuk masuk CPNS
Latsol TWK Nasionalisme untuk masuk CPNSdheaprs
 
Bab 7 - Perilaku Ekonomi dan Kesejahteraan Sosial.pptx
Bab 7 - Perilaku Ekonomi dan Kesejahteraan Sosial.pptxBab 7 - Perilaku Ekonomi dan Kesejahteraan Sosial.pptx
Bab 7 - Perilaku Ekonomi dan Kesejahteraan Sosial.pptxssuser35630b
 
AKSI NYATA NARKOBA ATAU OBAT TERLARANG..
AKSI NYATA NARKOBA ATAU OBAT TERLARANG..AKSI NYATA NARKOBA ATAU OBAT TERLARANG..
AKSI NYATA NARKOBA ATAU OBAT TERLARANG..ikayogakinasih12
 
Dasar-Dasar Sakramen dalam gereja katolik
Dasar-Dasar Sakramen dalam gereja katolikDasar-Dasar Sakramen dalam gereja katolik
Dasar-Dasar Sakramen dalam gereja katolikThomasAntonWibowo
 
Perumusan Visi dan Prakarsa Perubahan.pptx
Perumusan Visi dan Prakarsa Perubahan.pptxPerumusan Visi dan Prakarsa Perubahan.pptx
Perumusan Visi dan Prakarsa Perubahan.pptxadimulianta1
 
MODUL 1 Pembelajaran Kelas Rangkap-compressed.pdf
MODUL 1 Pembelajaran Kelas Rangkap-compressed.pdfMODUL 1 Pembelajaran Kelas Rangkap-compressed.pdf
MODUL 1 Pembelajaran Kelas Rangkap-compressed.pdfNurulHikmah50658
 
Kontribusi Islam Dalam Pengembangan Peradaban Dunia - KELOMPOK 1.pptx
Kontribusi Islam Dalam Pengembangan Peradaban Dunia - KELOMPOK 1.pptxKontribusi Islam Dalam Pengembangan Peradaban Dunia - KELOMPOK 1.pptx
Kontribusi Islam Dalam Pengembangan Peradaban Dunia - KELOMPOK 1.pptxssuser50800a
 
1.3.a.3. Mulai dari Diri - Modul 1.3 Refleksi 1 Imajinasiku tentang Murid di ...
1.3.a.3. Mulai dari Diri - Modul 1.3 Refleksi 1 Imajinasiku tentang Murid di ...1.3.a.3. Mulai dari Diri - Modul 1.3 Refleksi 1 Imajinasiku tentang Murid di ...
1.3.a.3. Mulai dari Diri - Modul 1.3 Refleksi 1 Imajinasiku tentang Murid di ...MetalinaSimanjuntak1
 
PERAN PERAWAT DALAM PEMERIKSAAN PENUNJANG.pptx
PERAN PERAWAT DALAM PEMERIKSAAN PENUNJANG.pptxPERAN PERAWAT DALAM PEMERIKSAAN PENUNJANG.pptx
PERAN PERAWAT DALAM PEMERIKSAAN PENUNJANG.pptxRizkyPratiwi19
 

Recently uploaded (20)

Pendidikan-Bahasa-Indonesia-di-SD MODUL 3 .pptx
Pendidikan-Bahasa-Indonesia-di-SD MODUL 3 .pptxPendidikan-Bahasa-Indonesia-di-SD MODUL 3 .pptx
Pendidikan-Bahasa-Indonesia-di-SD MODUL 3 .pptx
 
MODUL P5 KEWIRAUSAHAAN SMAN 2 SLAWI 2023.pptx
MODUL P5 KEWIRAUSAHAAN SMAN 2 SLAWI 2023.pptxMODUL P5 KEWIRAUSAHAAN SMAN 2 SLAWI 2023.pptx
MODUL P5 KEWIRAUSAHAAN SMAN 2 SLAWI 2023.pptx
 
PPT PERUBAHAN LINGKUNGAN MATA PELAJARAN BIOLOGI KELAS X.pptx
PPT PERUBAHAN LINGKUNGAN MATA PELAJARAN BIOLOGI KELAS X.pptxPPT PERUBAHAN LINGKUNGAN MATA PELAJARAN BIOLOGI KELAS X.pptx
PPT PERUBAHAN LINGKUNGAN MATA PELAJARAN BIOLOGI KELAS X.pptx
 
PPT AKUNTANSI KEUANGAN MENENGAH DUA.pptx
PPT AKUNTANSI KEUANGAN MENENGAH DUA.pptxPPT AKUNTANSI KEUANGAN MENENGAH DUA.pptx
PPT AKUNTANSI KEUANGAN MENENGAH DUA.pptx
 
PPT AKSI NYATA KOMUNITAS BELAJAR .ppt di SD
PPT AKSI NYATA KOMUNITAS BELAJAR .ppt di SDPPT AKSI NYATA KOMUNITAS BELAJAR .ppt di SD
PPT AKSI NYATA KOMUNITAS BELAJAR .ppt di SD
 
Modul Ajar Pendidikan Pancasila Kelas 5 Fase C
Modul Ajar Pendidikan Pancasila Kelas 5 Fase CModul Ajar Pendidikan Pancasila Kelas 5 Fase C
Modul Ajar Pendidikan Pancasila Kelas 5 Fase C
 
AKSI NYATA NARKOBA ATAU OBAT TERLARANG..
AKSI NYATA NARKOBA ATAU OBAT TERLARANG..AKSI NYATA NARKOBA ATAU OBAT TERLARANG..
AKSI NYATA NARKOBA ATAU OBAT TERLARANG..
 
AKSI NYATA BERBAGI PRAKTIK BAIK MELALUI PMM
AKSI NYATA BERBAGI PRAKTIK BAIK MELALUI PMMAKSI NYATA BERBAGI PRAKTIK BAIK MELALUI PMM
AKSI NYATA BERBAGI PRAKTIK BAIK MELALUI PMM
 
Paparan Refleksi Lokakarya program sekolah penggerak.pptx
Paparan Refleksi Lokakarya program sekolah penggerak.pptxPaparan Refleksi Lokakarya program sekolah penggerak.pptx
Paparan Refleksi Lokakarya program sekolah penggerak.pptx
 
ppt-modul-6-pend-seni-di sd kelompok 2 ppt
ppt-modul-6-pend-seni-di sd kelompok 2 pptppt-modul-6-pend-seni-di sd kelompok 2 ppt
ppt-modul-6-pend-seni-di sd kelompok 2 ppt
 
PELAKSANAAN + Link-Link MATERI Training_ "Effective INVENTORY & WAREHOUSING M...
PELAKSANAAN + Link-Link MATERI Training_ "Effective INVENTORY & WAREHOUSING M...PELAKSANAAN + Link-Link MATERI Training_ "Effective INVENTORY & WAREHOUSING M...
PELAKSANAAN + Link-Link MATERI Training_ "Effective INVENTORY & WAREHOUSING M...
 
Latsol TWK Nasionalisme untuk masuk CPNS
Latsol TWK Nasionalisme untuk masuk CPNSLatsol TWK Nasionalisme untuk masuk CPNS
Latsol TWK Nasionalisme untuk masuk CPNS
 
Bab 7 - Perilaku Ekonomi dan Kesejahteraan Sosial.pptx
Bab 7 - Perilaku Ekonomi dan Kesejahteraan Sosial.pptxBab 7 - Perilaku Ekonomi dan Kesejahteraan Sosial.pptx
Bab 7 - Perilaku Ekonomi dan Kesejahteraan Sosial.pptx
 
AKSI NYATA NARKOBA ATAU OBAT TERLARANG..
AKSI NYATA NARKOBA ATAU OBAT TERLARANG..AKSI NYATA NARKOBA ATAU OBAT TERLARANG..
AKSI NYATA NARKOBA ATAU OBAT TERLARANG..
 
Dasar-Dasar Sakramen dalam gereja katolik
Dasar-Dasar Sakramen dalam gereja katolikDasar-Dasar Sakramen dalam gereja katolik
Dasar-Dasar Sakramen dalam gereja katolik
 
Perumusan Visi dan Prakarsa Perubahan.pptx
Perumusan Visi dan Prakarsa Perubahan.pptxPerumusan Visi dan Prakarsa Perubahan.pptx
Perumusan Visi dan Prakarsa Perubahan.pptx
 
MODUL 1 Pembelajaran Kelas Rangkap-compressed.pdf
MODUL 1 Pembelajaran Kelas Rangkap-compressed.pdfMODUL 1 Pembelajaran Kelas Rangkap-compressed.pdf
MODUL 1 Pembelajaran Kelas Rangkap-compressed.pdf
 
Kontribusi Islam Dalam Pengembangan Peradaban Dunia - KELOMPOK 1.pptx
Kontribusi Islam Dalam Pengembangan Peradaban Dunia - KELOMPOK 1.pptxKontribusi Islam Dalam Pengembangan Peradaban Dunia - KELOMPOK 1.pptx
Kontribusi Islam Dalam Pengembangan Peradaban Dunia - KELOMPOK 1.pptx
 
1.3.a.3. Mulai dari Diri - Modul 1.3 Refleksi 1 Imajinasiku tentang Murid di ...
1.3.a.3. Mulai dari Diri - Modul 1.3 Refleksi 1 Imajinasiku tentang Murid di ...1.3.a.3. Mulai dari Diri - Modul 1.3 Refleksi 1 Imajinasiku tentang Murid di ...
1.3.a.3. Mulai dari Diri - Modul 1.3 Refleksi 1 Imajinasiku tentang Murid di ...
 
PERAN PERAWAT DALAM PEMERIKSAAN PENUNJANG.pptx
PERAN PERAWAT DALAM PEMERIKSAAN PENUNJANG.pptxPERAN PERAWAT DALAM PEMERIKSAAN PENUNJANG.pptx
PERAN PERAWAT DALAM PEMERIKSAAN PENUNJANG.pptx
 

Dasar Logika Informatia

  • 1. DASAR – DASAR LOGIKA INFORMATIKA Erik Hadi Saputra, S.Kom, M.Eng. 1
  • 2. 2 4. Implication Rule (Aturan IF-THEN) Implikasi bernilai “salah” bila anteseden benar dan konsekuen salah. P Q If p then q True True True True False False False True True False False True
  • 3. 3 Jika (pq) adalah implikasi, maka : (qp) adalah konvers (not pnot q) adalah invers (not qnot p) adalah kontraposisi Jika (pq) bernilai benar, maka: belum tentu (q  p), (not p  not q), (not q  not p) bernilai benar.
  • 4. 4 5. Equivalence Rule (Aturan IF -AND ONLY IF -) Biimplikasi bernilai “benar”, jika penyusun proposisi bernilai sama P q p if and only if q True True True True False False False True False False False True
  • 5. 5 6. Conditional Rule (Aturan IF–THEN-ELSE) Jika p bernilai benar maka q berlaku, Jika p bernilai salah maka r berlaku P q r if p then q else r True True True True True True False True True False True False True False False False False True True True False True False False False False True True False False False False
  • 6. 6 1. Tentukan nilai kebenaran (truth value) dari sentence berikut, dengan menggunakan truth table : a. F: (f and g) if and only if (g and g) b. G: if (if p then q) then q c. H: ((p or q) and not r) if and only if ((if p then r) and (if q then r)) 2. Jika diberikan suatu nilai (interpretasi) True untuk p dan s dan False untuk q dan r, maka tentukanlah nilai kebenaran untuk kalimat berikut: a. ((if p then q) and (if q then p)) if and only if (q or not p) b. (p and (if r then s)) if and only if ((if r then s) and p)
  • 7. Properties of Sentence 7 Sifat - Sifat Kalimat Logika
  • 8. 8 Valid Suatu sentence f disebut valid, jika untuk setiap interpretation I for f, maka f bernilai true. Contoh: 1. (f and g) if and only if (g and f) 2. f or not f 3. (p and (if r then s)) if and only if ((if r then s) and p) 4. (p or q) or not (p or q) 5. (if p then not q) if and only if not (p and q)
  • 9. 9 Satisfiable Suatu sentence f disebut satisfiable, jika untuk suatu interpretation I for f, maka f bernilai true. Contoh: 1. If (if p then q) then q 2. (if p then q) or (r and s) 3. (if p then q) or r
  • 10. Kontradiksi Suatu sentence f disebut kontradiksi, jika untuk setiap interpretation I for f, maka f bernilai false. Contoh: 1. p and not p 2. ((p or q) and not r) if and only if ((if p then r) 10 and (if q then r))
  • 11. Quantifier Sentence Kalimat Berkuantor 11  Pernyataan yang memuat ekspresi kuantitas obyek yang terlibat Misalnya: semua, ada, beberapa, tidak semua.
  • 12. 12 KALIMAT BERKUANTOR Universal Quantifier (for all…) Mempunyai makna umum dan menyeluruh Notasi: , dibaca semua, seluruh, setiap Penulisan: x Î S  p(x) Semua x dalam semesta s mempunyai sifat p Contoh: 1. Semua orang yang hidup pasti mati. 2. Setiap mahasiswa pasti pandai. 3. Seluruh mahasiswa amikom ganteng-ganteng dan cantik-cantik.
  • 13. 13 KALIMAT BERKUANTOR Existential Quantifier (for some…) Mempunyai makna khusus atau sebagian Notasi: $, dibaca terdapat, ada, beberapa Penulisan: $y Î S  q(y) Terdapat y dalam semesta S mempunyai sifat q Contoh: 1. Ada Mahasiswa di kelas ini yang ngantuk 2. Beberapa Mahasiswa yang mendapat nilai A mata kuliah Logika Informatika
  • 14. 14 Ingkaran Pernyataan Berkuantor (x) p(x) = ($y) p(y) ($y) q(y) = (x) q(x) Contoh: 1. p : Semua mahasiswa AMIKOM harus berdasi. ~p : Ada mahasiswa AMIKOM yang tidak berdasi. 2. q : Ada pejabat yang korupsi. ~q : Semua pejabat tidak korupsi. 3. p : Semua Mahasiswa AMIKOM pintar. ~p : Ada juga mahasiswa yang tidak pintar. 4. q : Ada orang yang gagal mencapai tujuannya. ~q : Semua orang tidak gagal mencapai tujuannya.
  • 15. Inference Method 15 Metode Inferensi
  • 16. 16 Modus Ponens Pada suatu implikasi “jika p maka q” yang diasumsikan bernilai benar, dan apabila juga diketahui bahwa nilai dari anteseden (p) bernilai benar, maka nilai q juga harus benar. p  q p q Contoh: Jika seseorang itu adalah mahasiswa maka ia pasti pandai Aril adalah seorang mahasiswa Aril pasti pandai
  • 17. Modus Tellens Suatu implikasi “jika p maka q” akan selalu ekivalen dengan kontraposisinya, yaitu “jika bukan q maka bukan p”. Dengan demikian, hipotesa kedua dan kesimpulan merupakan kontraposisi hipotesa pertama pada modus ponens. p  q 17 ~q ~p Contoh: Jika Cinta adalah mahasiswi yang baik maka ia pasti tidak nyotek di ujian Cinta nyontek dalam ujian Cinta bukan mahasiswi yang baik
  • 18. 18 Prinsip Syllogisme Prinsip silogisme adalah sifat transitif dari implikasi. Artinya, jika suatu implikasi p  q dan q  r keduanya bernilai benar maka implikasi p  q pasti bernilai benar. p  q q  r p  r Contoh: Jika ia rajin maka ia pasti pandai Jika ia pandai maka ia pasti sukses Jika ia rajin maka ia pasti sukses
  • 19. Contoh Metode Inferensi 19 Pada suatu hari, Anda hendak pergi kuliah dan baru sadar bahwa anda tidak memakai kacamata. Setelah diingat-ingat, ada beberapa fakta yang Anda yakini benar :
  • 20. Setelah diingat-ingat, ada beberapa fakta yang Anda yakini benar : 1. Jika kacamataku ada di meja dapur, aku pasti sudah melihatnya ketika mengambil makanan kecil. 20 2. Aku membaca buku pemrograman di ruang tamu atau aku membacanya di dapur. 3. Jika aku membaca buku pemrograman di ruang tamu, maka pastilah kacamata kuletakkan dimeja tamu. 4. Aku tidak melihat kacamataku ketika aku mengambil makanan kecil. 5. Jika aku membaca majalah di ranjang, maka kacamataku kuletakkan dimeja samping ranjang. 6. Jika aku membaca buku pemrograman di dapur, maka kacamata ada di meja dapur.
  • 21. Berdasarkan Fakta - Fakta Tersebut... 21 Tentukan dimana letak kacamata..?
  • 22. Pernyataan Dengan Simbol - Simbol Logika p : Kacamata ada di meja dapur. q : Aku melihat kacamataku ketika mengambil 22 makanan kecil. r : Aku membaca buku pemrograman di ruang tamu. s : Aku membaca buku pemrograman di dapur. t : Kacamata kuletakkan di meja tamu. u : Aku membaca MAJALAH di ranjang. w : Kacamata kuletakkan di meja samping ranjang.
  • 23. 23 Fakta dapat ditulis : 1. p  q 2. r v s 3. r  t 4. ~q 5. u  w 6. s  p
  • 24. 24 Inferensi yang dapat dilakukan : 1. p  q ~q ~p 2. s  p ~p ~s 3. r v s ~s r 4. r  t r t
  • 25. Kesimpulan Kacamata ada di meja tamu 25
  • 26. Latihan  1. Buktikan bahwa sentence berikut memiliki sifat “valid” 26 (p and (if r then s)) if and only if ((if r then s) and p) 1. Jika diberikan interpretasi p, q, dan r berturut turut adalah True, False, dan True. Tentukan truth value dari sentence berikut: 1.If ((if q then not p) or not q) then (p if and only if q) else not r 2.If (if p then (if q then r)) then (if p then q) else (if p then r) 2. Jika diberikan dua implikasi seperti berikut: 1.If (p or q) or not (p or q) then ((f and g) if and only if (g and f) 2.If ((f and g) if and only if (g and f) then ( p and not p) Tentukan kesimpulannya dengan menggunakan prinsip Syllogisme, serta berikan truth value-nya dengan menggunakan truth table.
  • 27. THANX ‘U..  Sukses Selalu 27