Logika temu 1
-
Upload
mubarokzaki -
Category
Education
-
view
1.479 -
download
3
Transcript of Logika temu 1
![Page 1: Logika temu 1](https://reader036.fdocument.pub/reader036/viewer/2022081502/559203ca1a28ab30328b45c1/html5/thumbnails/1.jpg)
Materi Logika Informatika
1.1 Pengertian Umum Logika 1.2 Logika dan Pernyataan 1.3 Tautologi dan Kontradiksi 1.4 Konvers, Invers, dan Kontraposisi. 1.5 Inferensi Logika 1.6 Soal Latihan
BAB 1 : DASAR-DASAR LOGIKA
April 14, 2023 2Logika Informatika
![Page 2: Logika temu 1](https://reader036.fdocument.pub/reader036/viewer/2022081502/559203ca1a28ab30328b45c1/html5/thumbnails/2.jpg)
[email protected] Tokoh tokoh yang berperan dalam
ILMU LOGIKA a. Sebelum Masehib. Sebelum tahun 1800 anc. Setelah tahun 1800 and. Masa kini (Abad 20)
April 14, 2023 Logika Informatika 3
![Page 3: Logika temu 1](https://reader036.fdocument.pub/reader036/viewer/2022081502/559203ca1a28ab30328b45c1/html5/thumbnails/3.jpg)
Materi Logika Informatika
2.1 Predikat dan Kalimat Berkuantor 2.2 Kuantor Universal dan Kuantor
Eksistensial 2.3 Ingkaran Kalimat Berkuantor 2.4 Kalimat Berkuantor Ganda 2.5 Soal Latihan
BAB 2 : KALIMAT BERKUANTOR
April 14, 2023 4Logika Informatika
![Page 4: Logika temu 1](https://reader036.fdocument.pub/reader036/viewer/2022081502/559203ca1a28ab30328b45c1/html5/thumbnails/4.jpg)
Materi Logika Informatika
3.1 Aljabar Boole Sebagai Suatu Struktur Aljabar
3.2 Fungsi Boolean 3.3 Ekspresi Boole 3.4 Bentuk Normal Disjunctive 3.5 Rangkaian Logika 3.6 Soal Latihan
BAB 3 : ALJABAR BOOLE
April 14, 2023 5Logika Informatika
![Page 5: Logika temu 1](https://reader036.fdocument.pub/reader036/viewer/2022081502/559203ca1a28ab30328b45c1/html5/thumbnails/5.jpg)
Materi Logika Informatika
4.1 Petunjuk Umum Pembuktian 4.2 Metode Pembuktian Langsung 4.3 Metode Pembuktian Tak Langsung 4.4 Soal Latihan
BAB 4 : METODE PEMBUKTIAN
April 14, 2023 6Logika Informatika
![Page 6: Logika temu 1](https://reader036.fdocument.pub/reader036/viewer/2022081502/559203ca1a28ab30328b45c1/html5/thumbnails/6.jpg)
Materi Logika Informatika
1). Logika Matematika Untuk Ilmu Komputer , oleh F. Soesianto dan Djoni Dwijono, Andi Offset, Jogjakarta.
2). Logika Informatika (Dasar-dasar Logika untuk Pemrograman Komputer & Perancangan Komputer) ”, Suprapto, Logika Informatika, 2003, “ Penerbit Gava Media Yogyakarta.
3). Pengantar Logika Matematika, Setiadi Rachmat, 2004 Penerbit Informatika Bandung.
Referensi :
April 14, 2023 7Logika Informatika
![Page 7: Logika temu 1](https://reader036.fdocument.pub/reader036/viewer/2022081502/559203ca1a28ab30328b45c1/html5/thumbnails/7.jpg)
PENGENALAN LOGIKA INFORMATIKA
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
A. Pengertian Logika
April 14, 2023 8Logika Informatika
![Page 8: Logika temu 1](https://reader036.fdocument.pub/reader036/viewer/2022081502/559203ca1a28ab30328b45c1/html5/thumbnails/8.jpg)
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.
PENGENALAN LOGIKA INFORMATIKA
April 14, 2023 9Logika Informatika
![Page 9: Logika temu 1](https://reader036.fdocument.pub/reader036/viewer/2022081502/559203ca1a28ab30328b45c1/html5/thumbnails/9.jpg)
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.
PENGENALAN LOGIKA INFORMATIKA
April 14, 2023 10Logika Informatika
![Page 10: Logika temu 1](https://reader036.fdocument.pub/reader036/viewer/2022081502/559203ca1a28ab30328b45c1/html5/thumbnails/10.jpg)
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).
PENGENALAN LOGIKA INFORMATIKA
April 14, 2023 11Logika Informatika
![Page 11: Logika temu 1](https://reader036.fdocument.pub/reader036/viewer/2022081502/559203ca1a28ab30328b45c1/html5/thumbnails/11.jpg)
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.
PENGENALAN LOGIKA INFORMATIKA
April 14, 2023 12Logika Informatika
![Page 12: Logika temu 1](https://reader036.fdocument.pub/reader036/viewer/2022081502/559203ca1a28ab30328b45c1/html5/thumbnails/12.jpg)
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.
PENGENALAN LOGIKA INFORMATIKA
April 14, 2023 13Logika Informatika
![Page 13: Logika temu 1](https://reader036.fdocument.pub/reader036/viewer/2022081502/559203ca1a28ab30328b45c1/html5/thumbnails/13.jpg)
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.
PENGENALAN LOGIKA INFORMATIKA
April 14, 2023 14Logika Informatika
![Page 14: Logika temu 1](https://reader036.fdocument.pub/reader036/viewer/2022081502/559203ca1a28ab30328b45c1/html5/thumbnails/14.jpg)
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).
PENGENALAN LOGIKA INFORMATIKA
April 14, 2023 15Logika Informatika
![Page 15: Logika temu 1](https://reader036.fdocument.pub/reader036/viewer/2022081502/559203ca1a28ab30328b45c1/html5/thumbnails/15.jpg)
Satu kata dalam bahasa alami tidaklah mempunyai arti yang tepat dan tunggal, tetapi tergantung pada :
si pengucap dari mana dia berasal keadaan kejiwaan (mood) pada waktu
mengucapkan kata itu (marah, becanda dan faktor lainnya.
PENGENALAN LOGIKA INFORMATIKA
April 14, 2023 16Logika Informatika
![Page 16: Logika temu 1](https://reader036.fdocument.pub/reader036/viewer/2022081502/559203ca1a28ab30328b45c1/html5/thumbnails/16.jpg)
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).
PENGENALAN LOGIKA INFORMATIKA
April 14, 2023 17Logika Informatika
![Page 17: Logika temu 1](https://reader036.fdocument.pub/reader036/viewer/2022081502/559203ca1a28ab30328b45c1/html5/thumbnails/17.jpg)
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.
PENGENALAN LOGIKA INFORMATIKA
April 14, 2023 18Logika Informatika
![Page 18: Logika temu 1](https://reader036.fdocument.pub/reader036/viewer/2022081502/559203ca1a28ab30328b45c1/html5/thumbnails/18.jpg)
Tampak bahwa logika infomatika/matema-tika ini dapat dipandang sebagai perkem-bangan dari logika formal.
Aturan-aturan logika yang menggunakan kaidah-kaidah matematika tersebut diper-gunakan untuk membuktikan validitas su-atu argumen sehingga disebut logika matematika.
PENGENALAN LOGIKA INFORMATIKA
April 14, 2023 19Logika Informatika
![Page 19: Logika temu 1](https://reader036.fdocument.pub/reader036/viewer/2022081502/559203ca1a28ab30328b45c1/html5/thumbnails/19.jpg)
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.
PENGENALAN LOGIKA INFORMATIKA
April 14, 2023 20Logika Informatika
![Page 20: Logika temu 1](https://reader036.fdocument.pub/reader036/viewer/2022081502/559203ca1a28ab30328b45c1/html5/thumbnails/20.jpg)
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.
PENGENALAN LOGIKA INFORMATIKA
April 14, 2023 21Logika Informatika
![Page 21: Logika temu 1](https://reader036.fdocument.pub/reader036/viewer/2022081502/559203ca1a28ab30328b45c1/html5/thumbnails/21.jpg)
WASSALAAM
TERIMA KASIH ATAS PERHATIAN ANDA
ke awalApril 14, 2023 22Logika Informatika