pengenalan Logika Informatika ( part 1)

Logika informatika disebut juga the calculus of computer science karna logika memegang peran penting di bidang ilmu komputer.Logika merupakan dasar-dasar matemtis suatu perangkat lunak, digunakan untuk memformalkan semantik 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 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 lainlainnya yang mempergunakan logika secara intensif. Salah satu contoh yang populer 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.

Manfaat Logika adalah :

• Membantu setiap orang yang mempelajari logika agar berpikir logis, kritis, lurus, tetap, tertib, metodis, koharen
• membantu berpikir secara abstrak, cermat dan objectif
• menambah kecerdasan dan meningkatkan kemampuan berpikir secara tajam dan mandiri
• Meningkatkan cinta akan kebenaran dan menghindari kesalahan kesalahan berpikir.
• mampu melakukan analisis terhadap suatu kejadian.

Istilah-istilah dalam logika :

• Premis : pernyataan
• argumen : usaha untuk mencari kebenaran dari kumpulan pernyataan/premis yang berupa kesimpulan.
• konklusi : Kesimpulan

Logika proposisi

Logika proposisi adalah logika yang terdiri dari kalimat-kalimat, khususnya kalimat abstrak. kalimat-kalimat dalam bahasa logika proposisional dibentuk dari simbol-simbol yang disebut proposisi (propositin), dikelompokkan menjadi 2 yaitu :

• simbol kebenaran (truth symbol) true and false
• simbol proposisional (propotional symbol) P, Q, R, S, P1, Q1, R1, S1, P2, Q2, R2, S2,....

kalimat-kalimat dalam logika proposisional dibangun dari proposisi dengan menerapkan proposisional connection : not, and, or, if-then, if and-ony if, if-then else.

Penghubung Kalimat

Satu atau lebih kalimta proposisi yang digabungkan menjadi kalimat propsisi baru disebut proposisi majemuk (compound compesition). Sedangka n propsisi yang bukan merupakan gabuangan dari kalimat proposisi lain disebut proposisi atomic. Proposisi majemuk merupakan gabungan dari beberapa proposisi atomic. Ada 5 penghubung yang dikenal dalam logika. Yaitu :

~ atau ¬ : Negasi/not/tidak

˄            : Konjungsi/and/dan

˅            : disjungsi/or/dan

=>          : Implikasi

<=>        : Biimlikasi

contoh :

p : mawar adalah nama bunga

q : Apel adalah nama buah

maka

p ˄ q : "mawar adalah nama bunga dan apel adalah nama buah"