Dasar Logika Informatika

Selamat datang kembali di blog Kajian Informatika, kali ini Saya akan menyampaikan materi tentang Logika Informatika

Apa itu logika?

sebelum mengenal logika Kita harus tahu perbedaan antara Nalar dan logika.

apa perbedaannya?

Nalar itu adalah pengetahuan awal yang berpikir menurut alur tertentu Contoh:

Ada sebuah fakta yang memperlihatkan bahwa kambing mempunyai mata,

gajah mempunyai mata,

begitu pula dengan singa, kucing, dan binatang-binatang lainnya.

setelah melihat pernyataan diatas, nalar kita langsung menyimpulkan bahwa :

semua binatang mempunyai mata.

sedangkan logika adalah proses berpikir secara nalar yang sesuai dengan kebenaran.

jika kita menyimpulkan semua binatang memiliki mata akan tetapi pada faktanya tidak semua binatang memiliki mata. Berarti pernyataan

semua binatang memiliki mata = FALSE

Selanjutnya kita akan membahas LOGIKA PROPOSISI

Dari pembahasan diatas kita dapat menyimpulkan bahwa

Logika : Proses Berfikir Manusia berdasarkan nalardan ilmu pengetahuan yang sesuai dengan fakta

Proposisi : kalimat yang mengandung nilai benar atau salah, dan tidak mengandung keduanya.

Logika Proposisi : Proses berfikir manusia dalam menentukan sebuah kalimat yang mengandung arti Banar atau salah

MACAM LOGIKA PROPOSISI

Contoh Negasi :

Contoh Konjungsi :

Keterangan : Keduanya harus terpenuhi antara P dan Q

Contoh Disjungsi :

Keterangan : cukup salah satu terpenuhi antara P atau Q

Contoh Eksklusif -OR :

Keterangan : jika nilai P dan Q berbeda maka Eksklusif OR nilainya Benar (True)

Contoh Implikasi :

Keterangan : jika nilai pernyataan pertama Benar dan pernyataan kedua salah maka nilai implikasi adalah salah (False)

Contoh Biimplikasi :

Keterangan : jika dan hanya jika pernyataan keduanya bernilai sama

CONTOH SOAL :

1. Soal OSN-K tahun 2022