Pengertian Logika

Logika Informatika

Logika disebut juga “the calculus of computer science” karena logika memegang peranan yang sangat penting di bidang ilmu komputer. Peran kalkulus (matematika) sama pentingnya untuk ilmu-ilmu bidang sains, misalnya ilmu fisika, ilmu elektronika, ilmu kimia, 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 sytem, dan matematika diskrit memiliki peran penting dalam ilmu komputer karena semuanya berperan dalam pemrograman. Logika merupakan dasar-dasar matemtis suatu perangkat lunak, digunakan untuk memformalkan ystem 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.

ogika dalam ilmu komputer digunakan sebagai dasar dalam belajar bahasa pemrograman, struktur data, kecerdasan buatan, teknik/ystem digital, basis data, teori komputasi, rekayasa perangkat lunak, ystem pakar, jaringan syaraf tiruan, dan lain-lainnya yang mempergunakan logika secara intensif. Salah satu contoh yang ystem adlah ystem 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 matematika (mathematical logic) adalah cabang ilmu di bidang matematika yang memperdalam masalah logika, atau lebih tepatnya memperjelas logika dengan kaidah-kaidah matematika.

Logika matematika sendiri juga terus berkembang, mulai dari logika proposional, logika predikat, pemrograman logika, dan sebaganya. Perkembangan terakhir ilmu logika adalah logika fuzzy, atau di Indonesia disebut logika kabur atau logika samar. Implementasi logika fuzzy dapat ditemui pada pengatur suhu udara (AC), mesin pencuci, kulkas, lainnya.


Pengertian Umum Logika

Filsafat dan matematika adalah bidang pengetahuan rasional yang ada sejak dahulu. Jauh sebelum matematika berkembang seperti sekarang ini dan penerapannya menyentuh hampir seluruh bidang ilmu pengetahuan modern, ilmuwan dan filosof yunani telah mengembangkan dasar pemikiran ilmu geometri dan logika. Sebut saja THALES (640-546 SM) yaitu seorang ilmuwan geometri yang juga disebut sebagai bapak filosofi dan penalaran deduktif. Ada juga ahli matematika dan filosof PHYTAGORAS (572-497 SM) dengan dalil phytagorasnya yang terkenal yaitu a2+b2=c2. 

Matematika Dan Filsafat

Persamaan filsafat dan matematika:

• Kerja Filosof adalah berpikir konsep.
• Kerja Matematikawan adalah memperjelas konsep yang dikembangkan oleh filosof.

Perbedaan filsafat dan matematika:

• Filsafat bebas menerapkan berbagai metode rasional.
•  Matematikawan hanya menerapkan metode deduksi.

Matematika Dan Logika

Menurut BETRAND RUSSEL matematika adalah ilmu yang menyangkut deduksi logis tentang akibat-akibat dari pangkal fikir umum semua penalaran.

Ini berkaitan dengan konsepsi matematika sebagai ilmu formal, ilmu tentang bilangan dan ruang, ilmu tentang besaran dan keluasan, ilmu tentang hubungan, pola bentuk, dan rakitan juga sebagai ilmu yang bersifat abstrak dan deduktif.

Makna Logika

Berasal dari bahasa yunani “LOGOS” yang berarti kata, ucapan, atau alasan. Logika adalah metode atau teknik yang diciptakan untuk meneliti ketepatan penalaran. Logika mengkaji prinsip-prinsip penalaran yang benar dan penalaran kesimpulan yang absah. Ilmu ini pertama kali dikembangkan sekitar 300 SM oleh ARISTOTELES dan dikenal sebagai logika tradisioanal atau logika klasik. Dua ribu tahun kemudian dikembangkan logika modern oleh GEORGE BOOLE dan DE MORGAN yang disebut dengan Logika Simbolik karena menggunakan simbol-simbol logika secara intensif.

Dasar pemikiran logika klasik adalah logika benar dan salah yang disimbolkan dengan 0 (untuk logika salah) dan 1 (untuk logika benar) yang disebut juga LOGIKA BINER. Tetapi pada kenyataanya dalam kehidupan sehari-hari banyak hal yang kita jumpai yang tidak bisa dinyatakan bahwa sesuatu itu mutlak benar atau mutlak salah. Ada daerah dimana benar dan salah tersebut nilainya tidak bisa ditentukan mutlak benar atau mutlak salah alias kabur.

Untuk mengatasi masalah yang terjadi dalam logika klasik yang dikembangkan oleh ARISTOTELES tersebut, seorang ilmuwan dari Universitas California Berkeley, PROF. LOTFI A.ZADEH pada tahun 1965 mengenalkan suatu konsep berpikir logika yang baru yaitu LOGIKA KABUR (FUZZY LOGIC).

Pada logika fuzzy

• Nilai kebenarn bukan bersifat crisp (tegas) 0 dan 1 saja tetapi berada diantaranya (multivariabel).
• Digunakan untuk merumuskan pengetahuan dan pengalaman manusia yang mengakomodasi ketidakpastian ke dalam bentuk matematis tanpa harus mengetahui model matematikanya.
• Pada aplikasinya dalam bidang komputer, logika fuzzy diimplementasikan untuk memenuhi kebutuhan manusia akan sistem komputer yang dapat merepresentasikan cara berpikir manusia.

Hubungan Matematika Dan Logika

Menurut RUDOLF CARNAP (1931)

• Konsep matematika dapat diturunkan dari konsep-konsep logika dengan melalui batasan-batasan yang jelas.
• Dalil-dalil matematika dapat diturunkan dari aksioma-aksioma logika dengan perantara deduksi logis secara murni.

Menurut BETRAND RUSSEL

• Logika adalah masa muda matematika dan matematika adalah masa dewasa logika.

Logika Dan Komputer

Arsitektur sistem komputer tersusun atas rangkaian logika 1 (true) dan 0 (false) yang dikombinasikan dengan sejumlah gerbang logika AND. OR, NOT, XOR, dan NAND.

rogram komputer berjalan di atas struktur  penalaran yang baik dari suatu solusi terhadap suatu permasalahan dengan bantuan komponen program IF…THEN…ELSE, FOR…TO…DO, WHILE, CASE…OF.