SlideShare une entreprise Scribd logo
1  sur  16
LOGIKA INFORMATIKA 1
Dosen : Bambang Sugianto, S.T., M.Kom
Program Studi Teknik Informatika
Universitas Ma’arif Nahdlatul Ulama Kebumen (UMNU
Kebumen)
Logika ?
 Berasal dari bahasa yunani “LOGOS” yang berarti
kata, ucapan, atau alasan.
 Logika adalah metode atau teknik yang diciptakan
untuk meneliti ketepatan penalaran.
 Logika mengkaji prinsip-prinsip penalaran yang
benar dan penalaran kesimpulan yang absah.
 Ilmu ini pertama kali dikembangkan sekitar 300 SM
oleh ARISTOTELES dan dikenal sebagai logika
tradisional atau logika klasik.
Logika matematika
 Logika matematika (mathematical logic) adalah
cabang ilmu di bidang matematika yang
memperdalam masalah logika, atau lebih tepatnya
memperjelas logika dengan kaidah-kaidah
matematika
Logika
Logika Pasti
Logika Pernyataan
(Propotitional
Logic)
Logika Predikat
(Predicate Logic)
Logika Himpunan
Logika Hubungan
(Relation Logic)
Logika Tidak Pasti
Logika Samar /kabur
(Fuzzy Logic)
Penjelasan
 Logika Pernyataan membicarakan tentang pernyataan tunggal dan kata
hubungannya sehingga didapat kalimat majemuk yang berupa kalimat
deklaratif.
 Logika Predikat menelaah variabel dalam suatu kalimat, kuantifikasi dan
validitas sebuah argumen.
 Logika Hubungan mempelajari hubungan antara pernyataan, relasi simetri,
refleksif, antisimtris, dll.
 Logika himpunan membicarakan tentang unsur-unsur himpunan dan hukum-
hukum yang berlaku di dalamnya.
 Logika Samar merupakan pertengahan dari dua nilai biner yaitu ya tidak,
nol-satu, benar-salah. Kondisi yang ditunjukkan oleh logika samar ini antara
lain : banyak, sedikit, sekitar x, sering, umumnya.
Logika Matematika
 Dalam ilmu logika matematika dikenal yang
namanya kalimat majemuk.
 Kalimat majemuk adalah sebuah kalimat yang
tersusun dari dua kalimat atau lebih dan dengan
menggunakan kata hubung tertentu.
 Ada beberapa jenis kalimat majemuk di antaranya
adalah sebagai berikut;
Konjungsi & Disjungsi
 Konsjungsi (AND). Notasi ^
 Disjungsi (OR). Notasi v
Implikasi
 Implikasi adalah kalimat majemuk yang
menggunakan kata hubung "JIKA" p "MAKA" q.
Implikasi disebut juga kalimat bersyarat tunggal
artinya jika kalimat p bernilai benar maka kalimat q
pun akan bernilai benar juga. Notasi dari implikasi
adalah "=>"
Biimplikasi
 Biimplikasi merupakan kalimat bersyarat ganda.
Biimplikasi menggunakan kata hubung JIKA DAN
HANYA JIKA. Notasinya: "<=>"
Hukum-hukum ekuivalen:
a. Hukum Komutatif
p ʌ q ≡ q ʌ p
p v q ≡ q v p
b. Hukum Distributif
p ʌ (q v r) ≡ (p ʌ q) v (p ʌ r)
p v (q ʌ r) ≡ (p v q) ʌ (p v r)
c. Hukum Asosiatif
(p ʌ q) ʌ r ≡ p ʌ (q ʌ r)
(p v q) v r ≡ p v (q v r)
d. Hukum Identitas
p ʌ T ≡ p
p v F ≡ p
Hukum-hukum ekuivalen:
e. Hukum Dominasi / Ikatan
p v T ≡ T
p v F ≡ F
f. Hukum Negasi
p v ~p ≡ T
p ʌ ~p ≡ F
g. Hukum Involusi / Negasi Ganda
~(~p) ≡ p
h. Hukum Idempoten
p ʌ p ≡ p
p v p ≡ p
Hukum-hukum ekuivalen:
i. Hukum De Morgan
~( p ʌ q ) ≡ ~p v ~q
~( p v q ) ≡ ~p ʌ ~q
j. Hukum Absorbsi / Penyerapan
p v (p ʌ q) ≡ p
p ʌ (p v q) ≡ p
k. Hukum True dan False
~T ≡ F
~F ≡ T
l. Hukum Perubahan Implikasi menjadi Disjungsi atau
Konjungsi.
p => q ≡ ~p v q
Periksalah Logika studi kasus berikut:
(sumber: beberapa posting di group FB)
Teknik mengutip berita paling mutakhir masa kini : Wartawan(W)
Menteri (M)
 W1 : Pak, bapak lebih suka ayam goreng apa gulai kambing?
 M : Ayam goreng
 W1 : Pakai tepung atau tidak pak?
 M : Pakai tepung
 W1 : Model ayam goreng KFC ya pak?
 M : Ya kurang lebih mirip begitulah..
 Headline : Menteri M lebih suka ayam goreng KFC model Amerika
dan tidak suka gulai kambing tradisional Indonesia..
 W2 menulis di berita online :Terlaluu! Gaya Hidup Menteri M
Kebarat-baratan
 Si B bikin status FB :Hati-hati Menteri M mendukung bisnis liberal
kapitalis daripada pertumbuhan ekonomi kerakyatan
 W3 menulis berita online abal-abal yang mencatut nama islam.
“Menteri M Benci Pada Daging Kambing Makanan Kesukaan
Rasulullah SAW”
 Si A tweeting :Astagfirullah.. Ada upaya penyesatan
akhlaq, Kambing yang disukai Rasulullah SAW dianggap
tidak baik oleh Menteri M. Kita akan digiring ke cara
pandang kafir
 Si C menulis dalam blog. “industri kecil dan menengah
lokal akan segera disingkirkan karena tidak
menguntungkan pemerintah”
 Kelompok X Merencanakan Demo Penyesatan Akhlaq
 Kelompok Y Merencanakan Demo Membela UKM
 Menteri M menerima summary berita hari ini dari
sekretarisnya"Pak ini rangkuman berita-berita tentang
anda seminggu ini“
 M : ##!??/
 Kesimpulan?
 ………………………………..

Contenu connexe

Similaire à Logika informatika (Bambang Sugianto, S.T., M.Kom - UMNU KEBUMEN ) (20)

Pertemuan 5 dan 6 representasi pengetahuan
Pertemuan 5 dan 6 representasi pengetahuan Pertemuan 5 dan 6 representasi pengetahuan
Pertemuan 5 dan 6 representasi pengetahuan
 
Materi Logika Matematika
Materi Logika MatematikaMateri Logika Matematika
Materi Logika Matematika
 
Nur aliyah
Nur aliyahNur aliyah
Nur aliyah
 
Logika Matematika
Logika MatematikaLogika Matematika
Logika Matematika
 
Makalah logika matematika
Makalah logika matematikaMakalah logika matematika
Makalah logika matematika
 
Makalah logika matematika
Makalah logika matematikaMakalah logika matematika
Makalah logika matematika
 
Makalah logika matematika
Makalah logika matematikaMakalah logika matematika
Makalah logika matematika
 
Makalah logika matematika
Makalah logika matematikaMakalah logika matematika
Makalah logika matematika
 
Bab 01 logika mtk diskrit
Bab 01 logika mtk diskritBab 01 logika mtk diskrit
Bab 01 logika mtk diskrit
 
Diskret II Logika
Diskret II LogikaDiskret II Logika
Diskret II Logika
 
Makalah logika informatika
Makalah logika informatikaMakalah logika informatika
Makalah logika informatika
 
Matematika
MatematikaMatematika
Matematika
 
Matematika[1]
Matematika[1]Matematika[1]
Matematika[1]
 
Matematika
MatematikaMatematika
Matematika
 
Matematika
MatematikaMatematika
Matematika
 
Matematika
MatematikaMatematika
Matematika
 
Matematika
MatematikaMatematika
Matematika
 
Matematika
MatematikaMatematika
Matematika
 
Matematika Dasar I
Matematika Dasar IMatematika Dasar I
Matematika Dasar I
 
Matematika
MatematikaMatematika
Matematika
 

Plus de Bambang Sugianto

Plus de Bambang Sugianto (6)

Fungsi Trigonometri (Bambang Sugianto, S.T., M.Kom - Prodi Fisika, UMNU Kebumen)
Fungsi Trigonometri (Bambang Sugianto, S.T., M.Kom - Prodi Fisika, UMNU Kebumen)Fungsi Trigonometri (Bambang Sugianto, S.T., M.Kom - Prodi Fisika, UMNU Kebumen)
Fungsi Trigonometri (Bambang Sugianto, S.T., M.Kom - Prodi Fisika, UMNU Kebumen)
 
Pengenalan HTML ( Bambang Sugianto, S.T., M.Kom - UMNU KEBUMEN )
Pengenalan HTML ( Bambang Sugianto, S.T., M.Kom - UMNU KEBUMEN )Pengenalan HTML ( Bambang Sugianto, S.T., M.Kom - UMNU KEBUMEN )
Pengenalan HTML ( Bambang Sugianto, S.T., M.Kom - UMNU KEBUMEN )
 
Pengenalan html (Bambang Sugianto)
Pengenalan html (Bambang Sugianto)Pengenalan html (Bambang Sugianto)
Pengenalan html (Bambang Sugianto)
 
Perencanaan Strategis Teknologi Informasi di Politeknik Sawunggalih Aji Mengg...
Perencanaan Strategis Teknologi Informasi di Politeknik Sawunggalih Aji Mengg...Perencanaan Strategis Teknologi Informasi di Politeknik Sawunggalih Aji Mengg...
Perencanaan Strategis Teknologi Informasi di Politeknik Sawunggalih Aji Mengg...
 
Data Flow Diagrams DFD (Bambang Sugianto - Politeknik Sawunggalih Aji - POLSA...
Data Flow Diagrams DFD (Bambang Sugianto - Politeknik Sawunggalih Aji - POLSA...Data Flow Diagrams DFD (Bambang Sugianto - Politeknik Sawunggalih Aji - POLSA...
Data Flow Diagrams DFD (Bambang Sugianto - Politeknik Sawunggalih Aji - POLSA...
 
Kamus data (data dictionary) - (Bambang Sugianto - Politeknik Sawunggalih Aji...
Kamus data (data dictionary) - (Bambang Sugianto - Politeknik Sawunggalih Aji...Kamus data (data dictionary) - (Bambang Sugianto - Politeknik Sawunggalih Aji...
Kamus data (data dictionary) - (Bambang Sugianto - Politeknik Sawunggalih Aji...
 

Dernier

Aksi Nyata Sosialisasi Profil Pelajar Pancasila.pdf
Aksi Nyata Sosialisasi Profil Pelajar Pancasila.pdfAksi Nyata Sosialisasi Profil Pelajar Pancasila.pdf
Aksi Nyata Sosialisasi Profil Pelajar Pancasila.pdf
JarzaniIsmail
 
Contoh PPT Seminar Proposal Teknik Informatika.pptx
Contoh PPT Seminar Proposal Teknik Informatika.pptxContoh PPT Seminar Proposal Teknik Informatika.pptx
Contoh PPT Seminar Proposal Teknik Informatika.pptx
IvvatulAini
 

Dernier (20)

DEMONSTRASI KONTEKSTUAL MODUL 1.3 CGP 10.pptx
DEMONSTRASI KONTEKSTUAL MODUL 1.3 CGP 10.pptxDEMONSTRASI KONTEKSTUAL MODUL 1.3 CGP 10.pptx
DEMONSTRASI KONTEKSTUAL MODUL 1.3 CGP 10.pptx
 
LATAR BELAKANG JURNAL DIALOGIS REFLEKTIF.ppt
LATAR BELAKANG JURNAL DIALOGIS REFLEKTIF.pptLATAR BELAKANG JURNAL DIALOGIS REFLEKTIF.ppt
LATAR BELAKANG JURNAL DIALOGIS REFLEKTIF.ppt
 
Salinan dari JUrnal Refleksi Mingguan modul 1.3.pdf
Salinan dari JUrnal Refleksi Mingguan modul 1.3.pdfSalinan dari JUrnal Refleksi Mingguan modul 1.3.pdf
Salinan dari JUrnal Refleksi Mingguan modul 1.3.pdf
 
PPT Mean Median Modus data tunggal .pptx
PPT Mean Median Modus data tunggal .pptxPPT Mean Median Modus data tunggal .pptx
PPT Mean Median Modus data tunggal .pptx
 
RENCANA & Link2 Materi Pelatihan_ "Teknik Perhitungan TKDN, BMP, Preferensi H...
RENCANA & Link2 Materi Pelatihan_ "Teknik Perhitungan TKDN, BMP, Preferensi H...RENCANA & Link2 Materi Pelatihan_ "Teknik Perhitungan TKDN, BMP, Preferensi H...
RENCANA & Link2 Materi Pelatihan_ "Teknik Perhitungan TKDN, BMP, Preferensi H...
 
OPTIMALISASI KOMUNITAS BELAJAR DI SEKOLAH.pptx
OPTIMALISASI KOMUNITAS BELAJAR DI SEKOLAH.pptxOPTIMALISASI KOMUNITAS BELAJAR DI SEKOLAH.pptx
OPTIMALISASI KOMUNITAS BELAJAR DI SEKOLAH.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...
 
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
 
SOAL PUBLIC SPEAKING UNTUK PEMULA PG & ESSAY
SOAL PUBLIC SPEAKING UNTUK PEMULA PG & ESSAYSOAL PUBLIC SPEAKING UNTUK PEMULA PG & ESSAY
SOAL PUBLIC SPEAKING UNTUK PEMULA PG & ESSAY
 
Panduan Memahami Data Rapor Pendidikan 2024
Panduan Memahami Data Rapor Pendidikan 2024Panduan Memahami Data Rapor Pendidikan 2024
Panduan Memahami Data Rapor Pendidikan 2024
 
power point bahasa indonesia "Karya Ilmiah"
power point bahasa indonesia "Karya Ilmiah"power point bahasa indonesia "Karya Ilmiah"
power point bahasa indonesia "Karya Ilmiah"
 
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
 
MODUL AJAR MATEMATIKA KELAS 6 KURIKULUM MERDEKA.pdf
MODUL AJAR MATEMATIKA KELAS 6 KURIKULUM MERDEKA.pdfMODUL AJAR MATEMATIKA KELAS 6 KURIKULUM MERDEKA.pdf
MODUL AJAR MATEMATIKA KELAS 6 KURIKULUM MERDEKA.pdf
 
TEKNIK MENJAWAB RUMUSAN SPM 2022 - UNTUK MURID.pptx
TEKNIK MENJAWAB RUMUSAN SPM 2022 - UNTUK MURID.pptxTEKNIK MENJAWAB RUMUSAN SPM 2022 - UNTUK MURID.pptx
TEKNIK MENJAWAB RUMUSAN SPM 2022 - UNTUK MURID.pptx
 
Aksi Nyata Sosialisasi Profil Pelajar Pancasila.pdf
Aksi Nyata Sosialisasi Profil Pelajar Pancasila.pdfAksi Nyata Sosialisasi Profil Pelajar Pancasila.pdf
Aksi Nyata Sosialisasi Profil Pelajar Pancasila.pdf
 
Contoh PPT Seminar Proposal Teknik Informatika.pptx
Contoh PPT Seminar Proposal Teknik Informatika.pptxContoh PPT Seminar Proposal Teknik Informatika.pptx
Contoh PPT Seminar Proposal Teknik Informatika.pptx
 
MODUL AJAR BAHASA INGGRIS KELAS 6 KURIKULUM MERDEKA.pdf
MODUL AJAR BAHASA INGGRIS KELAS 6 KURIKULUM MERDEKA.pdfMODUL AJAR BAHASA INGGRIS KELAS 6 KURIKULUM MERDEKA.pdf
MODUL AJAR BAHASA INGGRIS KELAS 6 KURIKULUM MERDEKA.pdf
 
Bab 4 Persatuan dan Kesatuan di Lingkup Wilayah Kabupaten dan Kota.pptx
Bab 4 Persatuan dan Kesatuan di Lingkup Wilayah Kabupaten dan Kota.pptxBab 4 Persatuan dan Kesatuan di Lingkup Wilayah Kabupaten dan Kota.pptx
Bab 4 Persatuan dan Kesatuan di Lingkup Wilayah Kabupaten dan Kota.pptx
 
Kanvas BAGJA prakarsa perubahan Ahyar.pdf
Kanvas BAGJA prakarsa perubahan Ahyar.pdfKanvas BAGJA prakarsa perubahan Ahyar.pdf
Kanvas BAGJA prakarsa perubahan Ahyar.pdf
 
Konseptual Model Keperawatan Jiwa pada manusia
Konseptual Model Keperawatan Jiwa pada manusiaKonseptual Model Keperawatan Jiwa pada manusia
Konseptual Model Keperawatan Jiwa pada manusia
 

Logika informatika (Bambang Sugianto, S.T., M.Kom - UMNU KEBUMEN )

  • 1. LOGIKA INFORMATIKA 1 Dosen : Bambang Sugianto, S.T., M.Kom Program Studi Teknik Informatika Universitas Ma’arif Nahdlatul Ulama Kebumen (UMNU Kebumen)
  • 2. Logika ?  Berasal dari bahasa yunani “LOGOS” yang berarti kata, ucapan, atau alasan.  Logika adalah metode atau teknik yang diciptakan untuk meneliti ketepatan penalaran.  Logika mengkaji prinsip-prinsip penalaran yang benar dan penalaran kesimpulan yang absah.  Ilmu ini pertama kali dikembangkan sekitar 300 SM oleh ARISTOTELES dan dikenal sebagai logika tradisional atau logika klasik.
  • 3. Logika matematika  Logika matematika (mathematical logic) adalah cabang ilmu di bidang matematika yang memperdalam masalah logika, atau lebih tepatnya memperjelas logika dengan kaidah-kaidah matematika
  • 4. Logika Logika Pasti Logika Pernyataan (Propotitional Logic) Logika Predikat (Predicate Logic) Logika Himpunan Logika Hubungan (Relation Logic) Logika Tidak Pasti Logika Samar /kabur (Fuzzy Logic)
  • 5. Penjelasan  Logika Pernyataan membicarakan tentang pernyataan tunggal dan kata hubungannya sehingga didapat kalimat majemuk yang berupa kalimat deklaratif.  Logika Predikat menelaah variabel dalam suatu kalimat, kuantifikasi dan validitas sebuah argumen.  Logika Hubungan mempelajari hubungan antara pernyataan, relasi simetri, refleksif, antisimtris, dll.  Logika himpunan membicarakan tentang unsur-unsur himpunan dan hukum- hukum yang berlaku di dalamnya.  Logika Samar merupakan pertengahan dari dua nilai biner yaitu ya tidak, nol-satu, benar-salah. Kondisi yang ditunjukkan oleh logika samar ini antara lain : banyak, sedikit, sekitar x, sering, umumnya.
  • 6.
  • 7. Logika Matematika  Dalam ilmu logika matematika dikenal yang namanya kalimat majemuk.  Kalimat majemuk adalah sebuah kalimat yang tersusun dari dua kalimat atau lebih dan dengan menggunakan kata hubung tertentu.  Ada beberapa jenis kalimat majemuk di antaranya adalah sebagai berikut;
  • 8. Konjungsi & Disjungsi  Konsjungsi (AND). Notasi ^  Disjungsi (OR). Notasi v
  • 9. Implikasi  Implikasi adalah kalimat majemuk yang menggunakan kata hubung "JIKA" p "MAKA" q. Implikasi disebut juga kalimat bersyarat tunggal artinya jika kalimat p bernilai benar maka kalimat q pun akan bernilai benar juga. Notasi dari implikasi adalah "=>"
  • 10. Biimplikasi  Biimplikasi merupakan kalimat bersyarat ganda. Biimplikasi menggunakan kata hubung JIKA DAN HANYA JIKA. Notasinya: "<=>"
  • 11. Hukum-hukum ekuivalen: a. Hukum Komutatif p ʌ q ≡ q ʌ p p v q ≡ q v p b. Hukum Distributif p ʌ (q v r) ≡ (p ʌ q) v (p ʌ r) p v (q ʌ r) ≡ (p v q) ʌ (p v r) c. Hukum Asosiatif (p ʌ q) ʌ r ≡ p ʌ (q ʌ r) (p v q) v r ≡ p v (q v r) d. Hukum Identitas p ʌ T ≡ p p v F ≡ p
  • 12. Hukum-hukum ekuivalen: e. Hukum Dominasi / Ikatan p v T ≡ T p v F ≡ F f. Hukum Negasi p v ~p ≡ T p ʌ ~p ≡ F g. Hukum Involusi / Negasi Ganda ~(~p) ≡ p h. Hukum Idempoten p ʌ p ≡ p p v p ≡ p
  • 13. Hukum-hukum ekuivalen: i. Hukum De Morgan ~( p ʌ q ) ≡ ~p v ~q ~( p v q ) ≡ ~p ʌ ~q j. Hukum Absorbsi / Penyerapan p v (p ʌ q) ≡ p p ʌ (p v q) ≡ p k. Hukum True dan False ~T ≡ F ~F ≡ T l. Hukum Perubahan Implikasi menjadi Disjungsi atau Konjungsi. p => q ≡ ~p v q
  • 14. Periksalah Logika studi kasus berikut: (sumber: beberapa posting di group FB) Teknik mengutip berita paling mutakhir masa kini : Wartawan(W) Menteri (M)  W1 : Pak, bapak lebih suka ayam goreng apa gulai kambing?  M : Ayam goreng  W1 : Pakai tepung atau tidak pak?  M : Pakai tepung  W1 : Model ayam goreng KFC ya pak?  M : Ya kurang lebih mirip begitulah..  Headline : Menteri M lebih suka ayam goreng KFC model Amerika dan tidak suka gulai kambing tradisional Indonesia..  W2 menulis di berita online :Terlaluu! Gaya Hidup Menteri M Kebarat-baratan  Si B bikin status FB :Hati-hati Menteri M mendukung bisnis liberal kapitalis daripada pertumbuhan ekonomi kerakyatan  W3 menulis berita online abal-abal yang mencatut nama islam. “Menteri M Benci Pada Daging Kambing Makanan Kesukaan Rasulullah SAW”
  • 15.  Si A tweeting :Astagfirullah.. Ada upaya penyesatan akhlaq, Kambing yang disukai Rasulullah SAW dianggap tidak baik oleh Menteri M. Kita akan digiring ke cara pandang kafir  Si C menulis dalam blog. “industri kecil dan menengah lokal akan segera disingkirkan karena tidak menguntungkan pemerintah”  Kelompok X Merencanakan Demo Penyesatan Akhlaq  Kelompok Y Merencanakan Demo Membela UKM  Menteri M menerima summary berita hari ini dari sekretarisnya"Pak ini rangkuman berita-berita tentang anda seminggu ini“  M : ##!??/