Definisi Logika

Logika disebut juga “the calculus of computer science” karena logika memegang peranan yang sangat pentingnya untuk ilmu-ilmu bidang sains, misalnya ilmu fisika, ilmu elektronik, ilmu kirim dan sebagainya. Oleh karena itu, biasanya pelajar, mahasiswa, guru dan dosen setuju bahwa logika memainkan peranan penting dalam berbagai bidang keilmuan, bahkan dalam kehidupan manusia sehari-hari. Logika, komputasi sistem, dan matematika diskrit memiliki peranan penting dalam ilmu komputer karena semuanya berperan dalam pemrograman. Logika merupakan dasar-dasar matematis suatu perangkat lunak, digunakan untuk memformalkan system bahasa pemrograman dan spesifikasi program, serta menguji ketepatan suatu program. Hal ini menunjukkan betapa pentingnya logika matematika karena banyak ilmu, khususnya dalam bidang ilmu komputer yang memerlukan logika untuk berkembang.

Logika dalam ilmu komputer digunakan sebagai dasar dalam belajar bahasa pemrograman, struktur data, kecerdasan buatan, teknik/sistem digital, basis data, teori komputasi, rekayasa perangkat lunak, sistem pakar, jaringan syaraf tiruan, dan lain-lainnya yang mempergunakan logika secara intensif. Salah satu contoh yang system adalah sistem digital, yaitu bidang ilmu yang didasari oleh logika untuk membuat gerbang logika (logic gates) dan arsitektur komputer sebagai inti mikroprosesor, otak komputer atau central processing unit. Logika berasal dari bahasa Yunani, “LOGOS” yang artinya kata, ucapan atau alasan. Jadi, logika itu merupakan sebuah metode atau teknik yang diciptakan untuk meneliti ketepatan penalaran. Simpelnya, logika itu pada prinsipnya mengkaji prinsip-prinsip penalaran yang benar dan juga penalaran kesimpulan yang absah.
Logika terbagi menjadi dua, yaitu :

1. Logika pasti.
   Logika pasti meliputi logika pernyataan(propositional logic), logika predikat(predicat logic), logika hubungan(relation logic) dan logika himpunan. Logika pernyataan menyangkut dengan pernyataan tunggal dan kata hubungannya sehingga didapat kalimat majemuk yag berupa kalimat deklaratif. Logika predikat menelaah variabel dalam suatu kalimat, kuantitas dan validitas sebuah argumen. Logika hubungan mempelajari hubungan antara pernyaatan, refleksif, relasi simetris, antisimtris dan lainnya, sedangkan logika himpunan berkaitan tentang unsur-unsur himpunan dan hukum-hukum yang berlaku didalamnya.
2. Logika tidak pasti.
   Logika tidak pasti meliputi logika samar atau kabur, atau biasa anak TI lebih mengenal dengan fuzzy logic (logika fuzzy). Logika samar merupakan pertengahan dari 2 nilai biner yaitu ya atau tidak, nol atau satu, dan benar atau salah. Kondisi yang ditunjukkan oleh logika samar ini diantaranya banyak, sedikit, sekitar x, sering, dan umumnya. Pada umumnya, logika samar lebih banyak digunakan untuk kecerdasan buatan, mesin pintar atau sistem cerdas, dan alat-alat elektronik lainnya. Keunggulannya, program komputer yang menggunakan dan menerapkan logika samar memiliki kapasitas penyimpanan yang lebih kecil dan lebih cepat jika dibandingkan dengan logika biner.

Setelah mengetahui definisi dan turunan dari logika.

Nah sekarang apa manfaat dari mempelajari logika ?

Jadi secara umum, manfaat logika adalah :

1. Membantu setiap orang yang mempelajari logika untuk berpikir secara rasional, lurus, kritis, tertib, koheren dan metodis.
2. Dapat meningkatkan kemampuan berpikir kamu secara abstrak, objektif dan cermat.
3. Menambah kecerdasan dan juga dapat meningkatkan kemampuan berpikir kamu secara mandiri dan tajam.
4. Dapat memaksa dan mendorong kamu untuk berpikir sendiri dengan menggunakan azas-azas secara sistematis.
5. Menjadikan kamu mampu melakukan analisis terhadap suatu kejadian.
6. Menjadikan kamu seseorang yang lebih memilih untuk sesuatu yang memiliki nilai kebenaran, dan menghindari kesalahan-kesalahan berpikir, kekeliruan bahkan pemikiran yang menyesatkan.
7. Nah, jika point pertama diatas terpenuhi, manfaat lainnya adalah dapat meningkatkan citra diri kamu

Sampai disini apa hubungannya logika dengan komputer ?

Logika dalam ilmu komputer, digunakan sebagai dasar dalam belajar bahasa pemrograman, struktur data, kecerdasan buatan, teknik/sistem digital, basis data, teori komputasi, rekayasa perangkat lunak, jaringan syaraf tiruan, sistem pakar, dan lainnya.

Biasakanlah mempelajari logika berpikir komputer agar dapat menjadi Software Developer yang handal/mampu memberikan solusi untuk memecahkan masalah.