Dokumen tersebut merupakan materi pelajaran logika informatika yang membahas tentang pengertian logika, sejarah logika, dan logika formal. Terdapat pembahasan mengenai tokoh-tokoh penting dalam perkembangan logika serta penjelasan mengenai logika informatika dan hubungannya dengan ilmu komputer.
1. LOGIKA INFORMATIKA
Oleh :
Mustahal, S.Si
UNIVERSITAS ISLAM LAMONGAN
FAKULTAS TEKNIK
PRODI TEKNIK INFORMATIKA
TAHUN AKADEMIK 2011-2012
April 9, 2012 Logika Informatika 1
2. Materi Logika
Infor matika
BAB 1 : DASAR-DASAR LOGIKA
q 1.1 Pengertian Umum Logika
q 1.2 Logika dan Pernyataan
q 1.3 Tautologi dan Kontradiksi
q 1.4 Konvers, Invers, dan Kontraposisi.
q 1.5 Inferensi Logika
q 1.6 Soal Latihan
April 9, 2012 Logika Informatika 2
3. q Mustahal.ssi@gmail.com
q Tokoh tokoh yang berperan
dalam ILMU LOGIKA
c. Sebelum Masehi
d. Sebelum tahun 1800 an
e. Setelah tahun 1800 an
f. Masa kini (Abad 20)
April 9, 2012 Logika Informatika 3
4. Materi Logika
Infor matika
BAB 2 : KALIMAT BERKUANTOR
q 2.1 Predikat dan Kalimat Berkuantor
q 2.2 Kuantor Universal dan Kuantor
Eksistensial
q 2.3 Ingkaran Kalimat Berkuantor
q 2.4 Kalimat Berkuantor Ganda
q 2.5 Soal Latihan
April 9, 2012 Logika Informatika 4
5. Materi Logika
Infor matika
BAB 3 : ALJABAR BOOLE
q 3.1 Aljabar Boole Sebagai Suatu Struktur
Aljabar
q 3.2 Fungsi Boolean
q 3.3 Ekspresi Boole
q 3.4 Bentuk Normal Disjunctive
q 3.5 Rangkaian Logika
q 3.6 Soal Latihan
April 9, 2012 Logika Informatika 5
6. Materi Logika
Infor matika
BAB 4 : METODE PEMBUKTIAN
q 4.1 Petunjuk Umum Pembuktian
q 4.2 Metode Pembuktian Langsung
q 4.3 Metode Pembuktian Tak Langsung
q 4.4 Soal Latihan
April 9, 2012 Logika Informatika 6
7. Materi Logika
Infor matika
Referensi :
q 1). Logika Matematika Untuk Ilmu Komputer , oleh F.
Soesianto dan Djoni Dwijono, Andi Offset, Jogjakarta.
q 2). Logika Informatika (Dasar-dasar Logika untuk
Pemrograman Komputer & Perancangan Komputer) ”,
Suprapto, Logika Informatika, 2003, “ Penerbit Gava Media
Yogyakarta.
q 3). Pengantar Logika Matematika, Setiadi Rachmat, 2004
Penerbit Informatika Bandung.
April 9, 2012 Logika Informatika 7
8. PENGENALAN LOGIKA INFORMATIKA
A. Pengertian Logika
q Logika berasal dari bahasa Yunani
”Logos”. Dalam bahasa Inggris berarti
“word”, “speech” atau “what is spoken”,
lebih dekat lagi dengan istilah “thought”
atau “reason”. Oleh karena itu, defenisi
logika adalah ilmu pengetahuan yang
mempelajari atau berkaitan dengan
prinsip-prinsip dari penalaran argument
yang valid
April 9, 2012 Logika Informatika 8
9. PENGENALAN LOGIKA INFORMATIKA
Para ahli setuju bahwa logika adalah studi
tentang kriteria-kriteria untuk mengevaluasi
argumen-argumen dengan menentukan
mana argumen yang valid dan mana yang
tidak valid dan membedakan antara
argumen yang baik dan yang tidak baik.
April 9, 2012 Logika Informatika 9
10. PENGENALAN LOGIKA INFORMATIKA
Semula logika dipelajari sebagai salah
satu cabang filosofi atau ilmu filsafat.
Namun, sejak tahun 1800-an logika
dipelajari di bidang matematika dan
sekarang ini juga di bidang ilmu
komputer karena logika
mempengaruhi ilmu komputer di
bidang perangkat keras maupun
perangkat lunak.
April 9, 2012 Logika Informatika 10
11. PENGENALAN LOGIKA INFORMATIKA
q Logika di sini disebut logika
simbol karena ia mempelajari
usaha-usaha menyimbolisasikan
logika secara formal. Oleh karena
itu, logika disebut juga logika
formal (formal logic).
April 9, 2012 Logika Informatika 11
12. PENGENALAN LOGIKA INFORMATIKA
q Dengan kata lain, logika dipelajari sebagai
sistem formal yang menjelaskan peranan
sekumpulan rumus-rumus ataupun
sekumpulan aturan untuk derivasi. Derivasi
dipahami sebagai pembuktian validitas
argumen yang kuat dengan didukung
kenyataan bahwa kesimpulan yang benar
harus diperoleh dari premis-premis yang
benar.
April 9, 2012 Logika Informatika 12
13. PENGENALAN LOGIKA INFORMATIKA
Logika secara umum berhubungan
dengan penalaran deduktif (deductive
reasoning) yang hanya secara umum
mengambil kesimpulan dari premis-
premisnya. Berbeda dengan penalaran
induktif (inductive reasoning), yakni studi
tentang pengambilan kesimpulan umum
yang diperoleh dari suatu penelitian atau
observasi.
April 9, 2012 Logika Informatika 13
14. PENGENALAN LOGIKA INFORMATIKA
Aristoteles adalah orang pertama yang
mengobservasi, meneliti dan mencatat
hukum-hukum dari logika formal,
khususnya bentuk penalaran yang disebut
silogisme yang terdiri dari beberapa
premis dan satu konklusi. Logika yang
dikembangkan oleh Aristoteles ini disebut
juga logika klasik atau logika aristoteles.
April 9, 2012 Logika Informatika 14
15. PENGENALAN LOGIKA INFORMATIKA
q Dalam karya tentang logika formal,
Aristoteles menggunakan bahasai alami.
Keunggulan bahasa alami antara lain
memungkinkan seseorang mengucapkan
perbedaan perasaan-perasaan yang halus.
Kelemahan bahasa alami adalah bersifat
intrinsik bermakna ganda (mulvalent), tak
jelas/kabur (ambiguous) dan tak beraturan.
Ini berlaku untuk semua bahasa alami
(Inggris, Perancis, Indonesia dll).
April 9, 2012 Logika Informatika 15
16. PENGENALAN LOGIKA INFORMATIKA
q Satu kata dalam bahasa alami tidaklah
mempunyai arti yang tepat dan tunggal,
tetapi tergantung pada :
q si pengucap dari mana dia berasal
q keadaan kejiwaan (mood) pada waktu
mengucapkan kata itu (marah, becanda
q dan faktor lainnya.
April 9, 2012 Logika Informatika 16
17. PENGENALAN LOGIKA INFORMATIKA
Perlu diingat bahwa di dalam ilmu
pengetahuan, bahasa itu tidak hanya
merupakan alat komunikasi tetapi juga
berfungsi sebagai pembawa pikiran,
kendaraan berpikir (vihicle of thought).
April 9, 2012 Logika Informatika 17
18. PENGENALAN LOGIKA INFORMATIKA
Dalam usahanya mengungkap dan
mencatat langkah-langkah penalaran yang
dilaksanakan para ilmuwan dalam
mengembangkan ilmu serta untuk
menunjang dan mengefektifkan usaha
tersebut, para logikawan, menciptakan apa
yang disebut dengan LOGIKA
INFORMATIKA/MATEMATIKA dengan
bahasa dan simbolisme yang khas.
April 9, 2012 Logika Informatika 18
19. PENGENALAN LOGIKA INFORMATIKA
q Tampak bahwa logika infomatika/matema-
tika ini dapat dipandang sebagai perkem-
bangan dari logika formal.
q Aturan-aturan logika yang menggunakan
kaidah-kaidah matematika tersebut diper-
gunakan untuk membuktikan validitas su-
atu argumen sehingga disebut logika
matematika.
April 9, 2012 Logika Informatika 19
20. PENGENALAN LOGIKA INFORMATIKA
q Istilah logika matematika diperkenalkan
pertama kali oleh Giuseppe Peano
(1858–1932), seorang ahli matematika
dari Italia. Boleh dibilang Peano adalah
penemu logika matematika dan teori
himpunan.
April 9, 2012 Logika Informatika 20
21. PENGENALAN LOGIKA INFORMATIKA
q Sebagaimana juga logika formalnya
Aristoteles, maka logika informatika
bukanlah suatu direct science seperti
halnya ilmu alam atau ilmu botani tetapi
merupakan pengetahuan (refleksif),
yaitu pikiran manusia merenungkan
(mengadakan refleksi) tentang
pikirannya sendiri.
April 9, 2012 Logika Informatika 21
22. TERIMA KASIH
ATAS PERHATIAN ANDA
WASSALAAM
April 9, 2012 ke awal
Logika Informatika 22