Presentasi sedang didownload. Silahkan tunggu

Presentasi sedang didownload. Silahkan tunggu

Pertemuan Ke-1 Oleh: Vindo Feladi, ST, M.Pd Logika Informatika.

Presentasi serupa


Presentasi berjudul: "Pertemuan Ke-1 Oleh: Vindo Feladi, ST, M.Pd Logika Informatika."— Transcript presentasi:

1

2 Pertemuan Ke-1 Oleh: Vindo Feladi, ST, M.Pd Logika Informatika

3 LOGIKA ?

4 Definisi logika adalah ilmu pengetahuan yang mempelajari atau berkaitan dengan prinsip-prinsip dari penalaran argumen yang valid. Menurut pendapat ahli, 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 dengan yang tidak baik.

5 Asal usul logika Dipelajari sebagai sebagai salah satu cabang ilmu filsafat Sejak tahun 1800-an logika dipelajari di bidang matematika Sekarang ini juga di bidang ilmu komputer, baik bidang software atau hardware

6 Argumen Argumen adalah suatu usaha untuk mencari kebenaran dari suatu pernyataan berupa kesimpulan dengan berdasarkan pada kebenaran dari satu kumpulan premis-premis. Bentuk argumen artinya sekumpulan pernyataan yang terdiri dari premis-premis dan diikuti satu kesimpulan.

7 Contoh 1. Semua mahasiswa pandai…(pernyataan ke-1) Badu adalah mahasiswa…(pernyataan ke-2) Dengan demikian, Badu pandai….(kesimpulan) 2. Semua manusia bermata empat…(pernyataan ke-1) Badu seorang manusia…(pernyataan ke-2) Dengan demikian, Badu bermata empat….(kesimpulan) Pertanyaan: a. Mana yang dikatakan logis ? b. Mana yang di katakan valid ? Logika hanya berhubungan dengan kesimpulan yang valid, dan diperoleh dari prinsip-prinsip penalaran yang valid. Validitasnya juga dapat dibuktikan dengan menggunakan aturan-aturan logika yang telah diterima keabsahannya.

8 Logika Matematika Definisi: aturan-aturan logika yang menggunakan kaidah- kaidah matematika tersebut dipergunakan untuk membuktikan validitas suatu argumen. Logika matematika merupakan dasar-dasar penting bagi seseorang jika ingin belajar ilmu komputer dengan baik. Jika ilmu komputer diumpamakan rumah, maka logika adalah fondasi rumah tersebut. Logika yang kuat akan membentuk kemampuan pemrograman yang kuat pula.

9 Validitas Argumen Definisi: premis-premis yang diikuti oleh suatu kesimpulan yang berasal dari premis-premisnya dan bernilai benar. Validitas dapat dibedakan dengan kebenaran dari kesimpulan. Jika satu atau lebih premis-premis salah, maka kesimpulan dari argumen tersebut juga salah

10 Contoh 1. Semua mamalia adalah hewan berkaki empat. Semua manusia adalah mamalia. Dengan demikian, semua manusia adalah binatang berkaki empat. Argumen yang valid tapi premis pertama bernilai salah.

11 2. Ada jenis makhluk hidup berkaki dua. Semua manusia adalah maklhuk hidup. Dengan demikian, semua manusia berkaki dua. Argumen yang tidak valid, tetapi menghasilkan kesimpulan yang benar meskipun tidak mengikuti premis-premisnya

12 3. Semua mahasiswa rajin belajar. Badu seorang mahasiswa. Dengan demikian, Dewi rajin belajar. Kesimpulan yang tidak ada hubungan dengan premis-premisnya dan premis-premisnya bernilai benar, tetapi jelas bukan argumen yang kuat secara logis

13 4. Semua binatang yang dapat terbang. Gajah adalah binatang. Dengan demikian, gajah dapat terbang. Argumen dapat dikatakan valid, tetapi validitasnya tidak kuat dan premis pertama bernilai salah.

14 Kesimpulan dari contoh 1-4 Logika hanya mempermasalahkan bentuk dari argumen, bukan isi argumen Validitas yang logis adalah hubungan antara premis-premis dengan kesimpulan yang memastikan bahwa jika premis benar, maka harus diikuti dengan kesimpulan yang benar, yang diperoleh dengan menggunakan aturan-aturan logika. Kesimpulan juga harus berasal dari premis-premisnya. Argumen logis disebut kuat secara logis, jika dan hanya jika argumennya valid dan semua premisnya bernilai benar

15 Pertemuan Ke-2

16 Logika Klasik Pertama kali diperkenalkan oleh Aristoteles seorang ahli filsuf dan sains dari Yunani. Disebut juga logika Aristoteles, menurutnya suatu silogisme adalah suatu argumen yang terbentuk dari pernyataan-pernyataan dengan salah satu atau keempat bentuk berikut.  Semua A adalah B, universal affirmative  Tidak A adalah B, universal negative  Beberapa A adalah B, particular affirmative  Beberapa A adalah tidak B, particular negative Suatu silogisme berbentuk sempurna disebut well-formed syllogism jika ia memiliki dua buah premis dan satu kesimpulan dimana setiap premis memiliki satu pokok bersama dengan kesimpulan dan satu lagi pokok bersama dengan premis lainnya.

17 Logika Modern Logika modern atau logika simbolik dikembangkan dari logika Aristoteles oleh Agustus De Morgan ( ) dan George Boole ( ), para ahli matematika Inggris dari pertengahan abad XIX. Selanjutnya logika tersebut dikembangkan dan diperkaya dengan penemuan-penemuan dari Gottlob Frege ( ), ahli matematika dari Jerman, Bertrand Russel ( ), Alfred North Whitehead ( ). Sistem logika yang dikembangkan oleh Bertrand Russel dan Alfred North Whitehead ini, membahas argumen-argumen yang memungkinkan sesuatu dapat dimasukkan kedalam bentuk yang lebih luas daripada hanya bentuk silogistik. Mengenalkan simbol-simbol untuk merangkai suatu kalimat, misalnya “and, or, if…then, …if and only if…

18 Logika klasik dan modern termasuk logika deduktif. Dimana premis-premis dari suatu argumen yang valid harus memiliki kesimpulan, atau kebenaran suatu kesimpulan harus mengikuti premis-premisnya. Memiliki dua nilai, yaitu benar (true) atau salah (false). Nilai benar diganti dengan angka 1 dan nilai salah diganti dengan angka 0. Inilah yang disebut logika dua nilai “bivalent” karena hanya memiliki dua kemungkinan nilai, yakni benar atau salah. Logika modern dijadikan dasar dalam pembuatan aljabar Boole yang menjadi dasar teori tentang pengembangan komputer digital, terutama di bidang pengembangan mikroprosesor sebagai otak komputer digital. Suatu ekspresi logika yang berbentuk well-formed formulae, dari yang berbentuk sederhana sampai dengan yang rumit, akan dimanipulasi dan diproses dengan berbagai bentuk rumus-rumus (formula) sesuai dengan kaidah matematika yang sederhana sampai yang rumit.

19 Logika matematika yang menangani masalah well-formed formulae yang hanya memiliki nilai benar atau salah adalah:  Logika Proposisional, berfokus pada pernyataan yang dapat digolongkan dalam pengertian proposisi-proposisi.  Logika Predikat, pernyataan yang tidak dapat diproses dalam logika proposisional, akan ditangani oleh logika predikat yang memfokuskan diri pada predikat yang selalu menyertai suatu pernyataan dalam bentuk kalimat.

20 Logika Banyak Nilai Titik utamanya bukan hanya nilai benar atau salah, tetapi masih memiliki nilai ketiga yang bersifat netral. Pada saat ini sudah mampu menangani nilai antara 0 dan 1, atau antara truthfulness dengan falsehood yang disebut logika fuzzy (fuzzy logic) Logika juga dipakai di bidang pengembangan perangkat lunak terutama yang mengimplementasikan kecerdasan buatan (artificial intelligence), sistem pakar (expert system) dan pemrograman logika (logic programming). Secara sederhana logika juga dipakai untuk menguji konsistensi dari penulisan perangkat lunak yang terstruktur dengan baik.

21 Semantik atau filsafat bahasa. Tekanan utamanya adalah pada arti kata atau kalimat. Epistemologi atau teori pengetahuan. Tekanan utama pada kondisi atau situasi di mana pernyataan akan selalu bernilai benar. Psikologi penalaran. Tekanan utama pada proses mental yang memperngaruhi penalaran. Untuk mempelajari logika dengan sempurna, ada beberapa ilmu yang berkaitan yakni:

22 PERTEMUAN KE-3

23 Proposisi adalah setiap pernyataan yang hanya memiliki satu nilai benar atau salah. Logika proposisional adalah logika yang menangani, memproses atau memanipulasi penarikan kesimpulan secara logis dari proposisi-proposisi. Proposisi majemuk sebenarnya terdiri dari banyak proposisi atomik dimana proposisi atomik adalah proposisi yang tidak dapat dipecah-pecah menjadi beberapa proposisi lagi. Contoh “ Belajarlah ! ”. Jadi kata tersebut dapat di ubah manjadi lengkap tanpa mengubah artinya menjadi “Anda harus belajar dengan rajin”. “ Anda harus belajar dengan rajin atau anda akan gagal ujian”. Pertanyaannya adalah berapa buah proposisi dalam kalimat tersebut dan perangkai kata apa yang menghubungkan proposisinya?

24 “ Ayah dan Ibu pergi ke Solo. Pertanyaannya bagaimana memisahkan proposisi tersebut dan perangkai apa yang dipakai? Jawabannya adalah “Ayah pergi ke solo dan Ibu pergi ke solo”, perangkai kata yang dipakai adalah “dan”. Ada proposisi-proposisi yang disebut tautologi, yakni proposisi yang nilainya selalu benar. Menghasilkan implikasi secara logis dan ekuivalen secara logis. Implikasi logis merupakan dasar dari penalaran yang kuat, sedangkan ekuivalensi logis menunjukkan bagaimana proposisi dapat dimanipulasi secara aljabar atau secara matematis sehingga disebut logika matematika.

25 Hal-hal yang harus dihindari pada proposisi Proposisi tidak bisa dipakai karena nilai benar atau salah tidak bisa secara teknis dapat ditentukan Pernyataan yang berupa kalimat perintah dan kalimat pertanyaan tidak bisa dipakai pada proposisi. Proposisi tidak boleh digantikan dengan proposisi lain yang artinya sama.

26 Dalam logika simbol T dapat digantikan angka 1, sedangkan simbol F dapat digantikan dengan angka 0. Kombinasi angka 1 dan 0 melahirkan dunia digital dengan aturan tertentu, misalnya ASCII dan EBCDIC. Sehingga dapat menggantikan huruf atau simbol lainnya. Kombinasi 1 dan 0 adalah bahasa mesin yang dimengerti oleh komputer, atau bahasa tingkat rendah dan diterjemahkan oleh komputer sehingga dimengerti oleh manusia.

27 Pemberian Nilai A, B, C dan seterusnya disebut variabel proposional, dan hanya memiliki nilai benar (True = T) atau salah (False = F). Simbol berupa T dan F disebut konstanta proposional. Pada saat bersamaan tidak ada satu variabel proposional memiliki dua buah nilai yang berlawanan.

28 PERTEMUAN KE-4

29 Jika nilai A = T dan B = F, maka “A atau B” menghasilkan nilai T. Bagaimana nilai “A atau B” tersebut dapat ditentukan? Untuk itu digunakan suatu alat yang dipakai untuk memberikan nilai, yang disebut Tabel Kebenaran (Truth Table). Tabel kebenaran dari proposisi-proposisi akan menghasilkan nilai dari proposisi-proposisi pada semua pemberian nilai yang dimungkinkan. Tabel kebenaran yang merupakan dasar dari logika karena semua persoalan logika pada awalnya bersumber dari Tabel Kebenaran.

30 Apa itu logika? Logika adalah ilmu tentang penalaran (reasoning). Penalaran berarti mencari bukti validitas dari suatu argumen, mencari konsistensi dari pernyataan-pernyataan, dan membahas materi tentang kebenaran dan ketidak benaran. Logika hanya berhubungan dengan bentuk-bentuk logika dari argumen-argumen, serta penarikan kesimpulan tentang validitas dari argumen tersebut. Logika tidak mempermasalahkan arti sebenarnya dari pernyataan tersebut, ataupun isi dari pernyataan.

31 Contoh Manusia mempunyai 2 mata. Badu seorang manusia. Dengan demikian, Badu mempunyai 2 mata. Apa komentar kalian terhadap argumen-argumen tersebut ?

32 Contoh Binatang mempunyai 2 mata. Manusia mempunyai 2 mata. Dengan demikian, bunatang sama dengan manusia. Apa komentar kalian terhadap argumen-argumen tersebut ?

33 Logika tidak mempermasalahkan arti atau isi suatu pernyataan, tetapi hanya bentuk logika dari pernyataan itu. Logika hanya menekankan bahwa premis-premis yang benar harus menghasilkan kesimpulan yang benar (valid), tetapi bukan kebenaran secata aktual atau kebenaran sehari-hari. Penakanan logika pada penarikan kesimpulan tentang validitas suatu argumen untuk mendapatkan kebenaran yang bersifat abstrak, yang dibangun dengan memakai kaidah-kaidah dasar logika tentang kebenaran dan ketidakbenaran yang menggunakan perangkai logika, yakni “dan (and)”, “atau (or)”, “tidak (not)”, “jika…maka…(if…then…)”, “…jika dan hanya jika… (…if and only if…)”.

34 Tabel kebenaran adalah suatu tabel yang menunjukkan secara sistematis satu demi satu nilai-nilai kebenaran sebagai hasil kombinasi dari proposisi-proposisi yang sederhana. Setiap kombinasi dari proposisi-proposisi sederhana tersbut atau variabel proposisional, nilainya tergantung dari jenis perangkai atau operator yang digunakan untuk mengkombinasikannya.

35 PERTEMUAN KE-5


Download ppt "Pertemuan Ke-1 Oleh: Vindo Feladi, ST, M.Pd Logika Informatika."

Presentasi serupa


Iklan oleh Google