Pengenalan Logika Informatika (lengkap)

Baca Cepat show

Logika Informatika

Apa itu logika infomatika?

Logika (logic) berasal darikata bahasa Yunani “logos” yaitu ilmu pengetahuan yang mempelajari atau berkaitan dengan prinsip-prinsip daripenalaran argumen yang valid

Kenapa harusbelajar logika informatika?

Logika adalah dasar-dasar matematis suatu perangkat lunak, yang digunakan untuk memformalkan sebuah bahasa pemrograman dan spesifikasi program, serta menguji ketepatan suatu program

Logika Klasik

Aristoteles mengembangkan penalaran syllogism
Menurutnya suatu silogisme (syllogism) adalah suatu argumen yang terbentuk dari pernyataanpernyataan.
Pada Logika Klasik dikenal premis dan kesimpulan.
Contoh :

Kalimat 1 : jika saya belajar maka saya lulus ujian

Kalimat 2 : jika saya lulus ujian maka saya akan mendapat hadiah

Kesimpulan : Jika saya belajar maka saya akan mendapat hadiah

Logika Modern

Logika Modern atau Logika Simbolik dikembangkan dari Logika Aristoteles oleh Augustus De Morgan (1806 – 1971) dan George Boole (1815 – 1864), selanjutnya dikembangkan dan diperkaya oleh penemuan-penemuan dari Gottlob Frege (1848 – 1925), ahli matematika dari Jerman, Bertrand Russell (1872 – 1970), Alfred North Whitehead (1861 – 1947). Sistem logika yang dikembangkan oleh Bertrand dan Alfred, membahas argumen – argumen yang memungkinkan sesuatu dapatdimasukkan ke dalam bentukyang lebih luas seperti : “and”, “or”, “if … then…”, “…if and only if …“ dan sebagainya.

Di dalam logika modern memiliki satu nilai saja dari dua nilai, yaitu benar (true) atau salah(false), nilai benar bisa digantikan dengan angka 1 sedangkan nilai salah diganti angka 0. Inilah yang disebut dengan Logika Dua Nilai (“two-valuedlogic” atau “bivalent”), karena hanya mempunyai dua kemungkinan nilai, yakni benar atau salah.

Argumen

Argumen adalah sebuah usaha untuk mencari sebuah kebenaran dari suatu pernyataan berupa kesimpulan dengan berdasarkan kebenaran dari suatu kumpulan pernyataan yang disebut dengan premis-premis.

Contoh Argumen

1. Semua mahasiswa pandai Iwan adalah mahasiswa Dengan demikian , Iwan pandai

2. Semua manusia bermata empat Anto seorangmanusia Dengan demikian,Anto bermata empat

Validitas Argumen

Validitas Argumen adalah premis-premis yang di ikuti oleh suatu kesimpulan yang berasal dari premis premisnya dan bernilai benar. Jadi, validitas dapat dibedakan dengan kebenaran dan kesimpulan. Jika sebuah premis salah, maka kesimpulan dari argumen tersebut juga salah

Contoh

Semua mamalia adalah hewan berkaki empat, Semua manusia adalah mamalia. Dengan demikian, Semua manusia adalah hewan berkaki empat

Bisa disimpulkan dari contoh di atas adalah argumen yang valid, tetapi dengan premis pertama yang bernilai salah. Argumen tersebut tetap dianggap valid karena kesimpulannya tetap mengikuti premispremisnya.

Contoh (2)

Ada jenis makhluk hidup berkakidua Semua manusia adalah makhluk hidup Dengan demikian, Semua manusia berkaki dua

Bisa disimpulkan dari contoh di atas adalah argumen valid dan juga menghasilkan kesimpulan yang benar karena mengikuti premis-premisnya.