SlideShare ist ein Scribd-Unternehmen logo
1 von 83
Logika ( logic ) Materi Kuliah IF2091 Struktur Diskrit Program Studi Teknik Informatika STEI - ITB
[object Object],[object Object],[object Object],[object Object],[object Object]
[object Object],Permainan Apakah ini sebuah pernyataan? YA Apakah ini sebuah proposisi? YA Apakah nilai kebenaran dari proposisi ini? BENAR
[object Object],Permainan Apakah ini sebuah pernyataan? YA Apakah ini sebuah proposisi? YA Apakah nilai kebenaran dari proposisi ini? SALAH
[object Object],Permainan Nilai kebenaran dari pernyataan tersebut bergantung pada y, tapi nilainya belum ditentukan. Pernyataan jenis ini kita sebut sebagai  fungsi proposisi  atau  kalimat terbuka . Apakah ini sebuah pernyataan? YA Apakah ini sebuah proposisi? TIDAK
[object Object],Permainan Apakah ini sebuah pernyataan? YA Apakah ini sebuah proposisi? YA Apakah nilai kebenaran dari proposisi ini? SALAH
[object Object],Permainan TIDAK TIDAK Hanya pernyataanlah yang bisa menjadi proposisi. Ini adalah sebuah permintaan. Apakah ini sebuah pernyataan? Apakah ini sebuah proposisi?
[object Object],Permainan Apakah ini pernyataan ? YA Apakah ini proposisi ? YA Apakah nilai kebenaran dari proposisi ini ? BENAR …  karena nilai kebenarannya tidak bergantung harga spesifik x maupun y.
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
[object Object],[object Object],[object Object],[object Object],[object Object]
Mengkombinasikan Proposisi ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
 
 
[object Object]
 
 
[object Object],[object Object]
 
 
 
Hukum-hukum Logika
 
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Soal Latihan 1 ,[object Object],[object Object],[object Object]
Penyelesaian Soal Latihan 1 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Disjungsi Eksklusif ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
 
Proposisi Bersyarat  (kondisional atau implikasi) ,[object Object],[object Object],[object Object],[object Object]
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
 
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
 
 
 
 
[object Object],[object Object],[object Object],[object Object]
 
 
 
 
 
Soal Latihan 2 ,[object Object],[object Object],[object Object]
[object Object],[object Object],[object Object],[object Object],Penyelesaian Soal Latihan 2
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
[object Object],[object Object],[object Object]
Varian Proposisi Bersyarat
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
 
Bikondisional (Bi-implikasi)
 
 
 
 
 
[object Object],[object Object],[object Object],[object Object],[object Object]
Soal latihan 3 ,[object Object],[object Object],[object Object],[object Object],[object Object]
Penyelesaian soal latihan 3 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
 
[object Object],Soal latihan 4
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Penyelesaian soal latihan 4
[object Object],[object Object],[object Object]
 
 
 
 
 
p q p  q T T T (baris 1) T F F (baris 2) F T T (baris 3) F F T (baris 4)
p q  ~ q  p  ~ q ~ p T T F F F T F T T F F T F T T F F T T T
 
Beberapa argumen yang sudah terbukti sahih ,[object Object],[object Object],[object Object],[object Object],[object Object]
[object Object],[object Object],[object Object],[object Object],[object Object]
[object Object],[object Object],[object Object],[object Object],[object Object]
[object Object],[object Object],[object Object],[object Object]
[object Object],[object Object],[object Object],[object Object]
[object Object],[object Object],[object Object],[object Object],[object Object]
Aksioma, Teorema,  Lemma ,  Corollary
 

Weitere ähnliche Inhalte

Was ist angesagt?

Was ist angesagt? (20)

Logika matematika
Logika matematikaLogika matematika
Logika matematika
 
Review Mathematical Reasoning
Review Mathematical ReasoningReview Mathematical Reasoning
Review Mathematical Reasoning
 
P4 kalkulus proposisi
P4 kalkulus proposisiP4 kalkulus proposisi
P4 kalkulus proposisi
 
Bab 01 logika mtk diskrit
Bab 01 logika mtk diskritBab 01 logika mtk diskrit
Bab 01 logika mtk diskrit
 
02.logika
02.logika02.logika
02.logika
 
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
 
Matematika diskrit
Matematika diskritMatematika diskrit
Matematika diskrit
 
Logika simbolik
Logika simbolikLogika simbolik
Logika simbolik
 
Bab i. dasar dasar logika
Bab i. dasar dasar logikaBab i. dasar dasar logika
Bab i. dasar dasar logika
 
Matematika Diskrit - 02 pengantar logika (2013)
Matematika Diskrit - 02 pengantar logika (2013)Matematika Diskrit - 02 pengantar logika (2013)
Matematika Diskrit - 02 pengantar logika (2013)
 
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 dasr
Logika dasrLogika dasr
Logika dasr
 
Logika dan Pembuktian
Logika dan PembuktianLogika dan Pembuktian
Logika dan Pembuktian
 
Matematika diskrit
Matematika diskritMatematika diskrit
Matematika diskrit
 
Matematika Diskrit
Matematika DiskritMatematika Diskrit
Matematika Diskrit
 
Proposisi Logika Informatika
Proposisi Logika InformatikaProposisi Logika Informatika
Proposisi Logika Informatika
 
Pengertian Logika Informatika
Pengertian Logika InformatikaPengertian Logika Informatika
Pengertian Logika Informatika
 
Logika matematika pertemuan 2 (inferensi)
Logika matematika pertemuan 2 (inferensi)Logika matematika pertemuan 2 (inferensi)
Logika matematika pertemuan 2 (inferensi)
 
2 proposisi
2 proposisi2 proposisi
2 proposisi
 
Logika mat-simpel
Logika mat-simpelLogika mat-simpel
Logika mat-simpel
 

Ähnlich wie Logika

soal Logika
soal Logikasoal Logika
soal Logika
monkeane
 
powerpoint logika matematika
powerpoint logika matematikapowerpoint logika matematika
powerpoint logika matematika
Suryo Wedo Susilo
 

Ähnlich wie Logika (20)

logika.pdf
logika.pdflogika.pdf
logika.pdf
 
Logika-(2016).pdf
Logika-(2016).pdfLogika-(2016).pdf
Logika-(2016).pdf
 
Logika
LogikaLogika
Logika
 
1 - intro Diskrit Logika.ppt
1 - intro Diskrit   Logika.ppt1 - intro Diskrit   Logika.ppt
1 - intro Diskrit Logika.ppt
 
TUTORIAL 1 - PDGK 4108.pptx
TUTORIAL 1 - PDGK 4108.pptxTUTORIAL 1 - PDGK 4108.pptx
TUTORIAL 1 - PDGK 4108.pptx
 
TUWEB 1 MATEMATIKA.pptx
TUWEB 1 MATEMATIKA.pptxTUWEB 1 MATEMATIKA.pptx
TUWEB 1 MATEMATIKA.pptx
 
Logika
LogikaLogika
Logika
 
Apriyanti arifin panduan belajar matematika ips sukses ujian 2015
Apriyanti arifin panduan belajar matematika ips sukses ujian 2015Apriyanti arifin panduan belajar matematika ips sukses ujian 2015
Apriyanti arifin panduan belajar matematika ips sukses ujian 2015
 
Dasar Logika Informatia
Dasar Logika InformatiaDasar Logika Informatia
Dasar Logika Informatia
 
Logika matematika1
Logika matematika1Logika matematika1
Logika matematika1
 
Logika
LogikaLogika
Logika
 
Logika
LogikaLogika
Logika
 
Buku Smart skl matematika sma ipa 2015
Buku Smart skl matematika sma ipa 2015Buku Smart skl matematika sma ipa 2015
Buku Smart skl matematika sma ipa 2015
 
soal Logika
soal Logikasoal Logika
soal Logika
 
Kuantor dan Validitas Pembuktian
Kuantor dan Validitas PembuktianKuantor dan Validitas Pembuktian
Kuantor dan Validitas Pembuktian
 
Logika Matematika.pptx
Logika Matematika.pptxLogika Matematika.pptx
Logika Matematika.pptx
 
powerpoint logika matematika
powerpoint logika matematikapowerpoint logika matematika
powerpoint logika matematika
 
Logika
LogikaLogika
Logika
 
logika matematika
logika matematikalogika matematika
logika matematika
 
5. Proposisi.pdf
5. Proposisi.pdf5. Proposisi.pdf
5. Proposisi.pdf
 

Mehr von task groub campus (10)

Gerbang Logika
Gerbang  LogikaGerbang  Logika
Gerbang Logika
 
INTERNET
INTERNETINTERNET
INTERNET
 
tugas Insertion Sort c++
tugas Insertion Sort c++tugas Insertion Sort c++
tugas Insertion Sort c++
 
DEFINISI INTERNET
DEFINISI INTERNETDEFINISI INTERNET
DEFINISI INTERNET
 
DEFINISI INTERNET
DEFINISI INTERNETDEFINISI INTERNET
DEFINISI INTERNET
 
Pemrograman #11
Pemrograman #11Pemrograman #11
Pemrograman #11
 
corel draw-x4-untuk-desain-sampul-buku-bab-3
corel draw-x4-untuk-desain-sampul-buku-bab-3corel draw-x4-untuk-desain-sampul-buku-bab-3
corel draw-x4-untuk-desain-sampul-buku-bab-3
 
Bahasa indonesia
Bahasa indonesiaBahasa indonesia
Bahasa indonesia
 
Himpunan
Himpunan Himpunan
Himpunan
 
tri kaya parisudha
tri kaya parisudhatri kaya parisudha
tri kaya parisudha
 

Kürzlich hochgeladen

.....................Swamedikasi 2-2.pptx
.....................Swamedikasi 2-2.pptx.....................Swamedikasi 2-2.pptx
.....................Swamedikasi 2-2.pptx
furqanridha
 
1. Kisi-kisi PAT IPA Kelas 7 Kurmer 2024
1. Kisi-kisi PAT IPA Kelas 7 Kurmer 20241. Kisi-kisi PAT IPA Kelas 7 Kurmer 2024
1. Kisi-kisi PAT IPA Kelas 7 Kurmer 2024
DessyArliani
 

Kürzlich hochgeladen (20)

MODUL AJAR BAHASA INDONESIA KELAS 6 KURIKULUM MERDEKA.pdf
MODUL AJAR BAHASA INDONESIA KELAS 6 KURIKULUM MERDEKA.pdfMODUL AJAR BAHASA INDONESIA KELAS 6 KURIKULUM MERDEKA.pdf
MODUL AJAR BAHASA INDONESIA KELAS 6 KURIKULUM MERDEKA.pdf
 
Panduan Memahami Data Rapor Pendidikan 2024
Panduan Memahami Data Rapor Pendidikan 2024Panduan Memahami Data Rapor Pendidikan 2024
Panduan Memahami Data Rapor Pendidikan 2024
 
PPT BAHASA INDONESIA KELAS 1 SEKOLAH DASAR
PPT BAHASA INDONESIA KELAS 1 SEKOLAH DASARPPT BAHASA INDONESIA KELAS 1 SEKOLAH DASAR
PPT BAHASA INDONESIA KELAS 1 SEKOLAH DASAR
 
AKSI NYATA TOPIK 1 MERDEKA BELAJAR. PPTX
AKSI NYATA TOPIK 1 MERDEKA BELAJAR. PPTXAKSI NYATA TOPIK 1 MERDEKA BELAJAR. PPTX
AKSI NYATA TOPIK 1 MERDEKA BELAJAR. PPTX
 
MODUL AJAR MATEMATIKA KELAS 3 KURIKULUM MERDEKA.pdf
MODUL AJAR MATEMATIKA KELAS 3 KURIKULUM MERDEKA.pdfMODUL AJAR MATEMATIKA KELAS 3 KURIKULUM MERDEKA.pdf
MODUL AJAR MATEMATIKA KELAS 3 KURIKULUM MERDEKA.pdf
 
.....................Swamedikasi 2-2.pptx
.....................Swamedikasi 2-2.pptx.....................Swamedikasi 2-2.pptx
.....................Swamedikasi 2-2.pptx
 
MODUL PENDIDIKAN PANCASILA KELAS 6 KURIKULUM MERDEKA.pdf
MODUL PENDIDIKAN PANCASILA KELAS 6 KURIKULUM MERDEKA.pdfMODUL PENDIDIKAN PANCASILA KELAS 6 KURIKULUM MERDEKA.pdf
MODUL PENDIDIKAN PANCASILA KELAS 6 KURIKULUM MERDEKA.pdf
 
BAHAN PAPARAN UU DESA NOMOR 3 TAHUN 2024
BAHAN PAPARAN UU DESA NOMOR 3 TAHUN 2024BAHAN PAPARAN UU DESA NOMOR 3 TAHUN 2024
BAHAN PAPARAN UU DESA NOMOR 3 TAHUN 2024
 
MODUL AJAR IPAS KELAS 3 KURIKULUM MERDEKA.pdf
MODUL AJAR IPAS KELAS 3 KURIKULUM MERDEKA.pdfMODUL AJAR IPAS KELAS 3 KURIKULUM MERDEKA.pdf
MODUL AJAR IPAS KELAS 3 KURIKULUM MERDEKA.pdf
 
Webinar 1_Pendidikan Berjenjang Pendidikan Inklusif.pdf
Webinar 1_Pendidikan Berjenjang Pendidikan Inklusif.pdfWebinar 1_Pendidikan Berjenjang Pendidikan Inklusif.pdf
Webinar 1_Pendidikan Berjenjang Pendidikan Inklusif.pdf
 
sistem digesti dan ekskresi pada unggas ppt
sistem digesti dan ekskresi pada unggas pptsistem digesti dan ekskresi pada unggas ppt
sistem digesti dan ekskresi pada unggas ppt
 
Skenario Lokakarya 2 Pendidikan Guru Penggerak
Skenario Lokakarya 2 Pendidikan Guru PenggerakSkenario Lokakarya 2 Pendidikan Guru Penggerak
Skenario Lokakarya 2 Pendidikan Guru Penggerak
 
1. Kisi-kisi PAT IPA Kelas 7 Kurmer 2024
1. Kisi-kisi PAT IPA Kelas 7 Kurmer 20241. Kisi-kisi PAT IPA Kelas 7 Kurmer 2024
1. Kisi-kisi PAT IPA Kelas 7 Kurmer 2024
 
Topik 4_Eksplorasi Konsep LK Kelompok_Pendidikan Berkelanjutan
Topik 4_Eksplorasi Konsep LK Kelompok_Pendidikan BerkelanjutanTopik 4_Eksplorasi Konsep LK Kelompok_Pendidikan Berkelanjutan
Topik 4_Eksplorasi Konsep LK Kelompok_Pendidikan Berkelanjutan
 
RENCANA + Link2 MATERI Training _"SISTEM MANAJEMEN MUTU (ISO 9001_2015)".
RENCANA + Link2 MATERI Training _"SISTEM MANAJEMEN MUTU (ISO 9001_2015)".RENCANA + Link2 MATERI Training _"SISTEM MANAJEMEN MUTU (ISO 9001_2015)".
RENCANA + Link2 MATERI Training _"SISTEM MANAJEMEN MUTU (ISO 9001_2015)".
 
Materi Modul 1.4_Fitriani Program guru penggerak
Materi Modul 1.4_Fitriani Program guru penggerakMateri Modul 1.4_Fitriani Program guru penggerak
Materi Modul 1.4_Fitriani Program guru penggerak
 
Penyuluhan DM Tipe II Kegiatan Prolanis.ppt
Penyuluhan DM Tipe II Kegiatan Prolanis.pptPenyuluhan DM Tipe II Kegiatan Prolanis.ppt
Penyuluhan DM Tipe II Kegiatan Prolanis.ppt
 
AKSI NYATA Numerasi Meningkatkan Kompetensi Murid_compressed (1) (1).pptx
AKSI NYATA  Numerasi  Meningkatkan Kompetensi Murid_compressed (1) (1).pptxAKSI NYATA  Numerasi  Meningkatkan Kompetensi Murid_compressed (1) (1).pptx
AKSI NYATA Numerasi Meningkatkan Kompetensi Murid_compressed (1) (1).pptx
 
Aksi Nyata Menyebarkan (Pemahaman Mengapa Kurikulum Perlu Berubah) Oleh Nur A...
Aksi Nyata Menyebarkan (Pemahaman Mengapa Kurikulum Perlu Berubah) Oleh Nur A...Aksi Nyata Menyebarkan (Pemahaman Mengapa Kurikulum Perlu Berubah) Oleh Nur A...
Aksi Nyata Menyebarkan (Pemahaman Mengapa Kurikulum Perlu Berubah) Oleh Nur A...
 
PPT PENDIDIKAN KELAS RANGKAP MODUL 3 KELOMPOK 3.pptx
PPT PENDIDIKAN KELAS RANGKAP MODUL 3 KELOMPOK 3.pptxPPT PENDIDIKAN KELAS RANGKAP MODUL 3 KELOMPOK 3.pptx
PPT PENDIDIKAN KELAS RANGKAP MODUL 3 KELOMPOK 3.pptx
 

Logika