LOGIKA INFORMATIKA 1

Dosen : Bambang Sugianto, S.T., M.Kom

Program Studi Teknik InformatikaUniversitas Ma’arif Nahdlatul Ulama Kebumen (UMNU Kebumen)

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 tradisional atau logika klasik.

Logika matematika Logika matematika (mathematical logic)

adalah cabang ilmu di bidang matematika yang memperdalam masalah logika, atau lebih tepatnya memperjelas logika dengan kaidah-kaidah matematika

Logika

Logika Pasti

Logika Pernyataan (Propotitional Logic)

Logika Predikat (Predicate Logic)

Logika Himpunan

Logika Hubungan (Relation Logic)

Logika Tidak Pasti

Logika Samar /kabur (Fuzzy Logic)

Penjelasan Logika Pernyataan membicarakan tentang pernyataan tunggal dan kata

hubungannya sehingga didapat kalimat majemuk yang berupa kalimat deklaratif.

Logika Predikat menelaah variabel dalam suatu kalimat, kuantifikasi dan validitas sebuah argumen.

Logika Hubungan mempelajari hubungan antara pernyataan, relasi simetri, refleksif, antisimtris, dll.

Logika himpunan membicarakan tentang unsur-unsur himpunan dan hukum-hukum yang berlaku di dalamnya. 

Logika Samar merupakan pertengahan dari dua nilai biner yaitu ya tidak, nol-satu, benar-salah. Kondisi yang ditunjukkan oleh logika samar ini antara lain : banyak, sedikit, sekitar x, sering, umumnya. 

Logika Matematika Dalam ilmu logika matematika dikenal yang

namanya kalimat majemuk. Kalimat majemuk adalah sebuah kalimat yang

tersusun dari dua kalimat atau lebih dan dengan menggunakan kata hubung tertentu.

Ada beberapa jenis kalimat majemuk di antaranya adalah sebagai berikut;

Konjungsi & Disjungsi Konsjungsi (AND). Notasi ^

Disjungsi (OR). Notasi v

Implikasi Implikasi adalah kalimat majemuk yang

menggunakan kata hubung "JIKA" p "MAKA" q. Implikasi disebut juga kalimat bersyarat tunggal artinya jika kalimat p bernilai benar maka kalimat q pun akan bernilai benar juga. Notasi dari implikasi adalah "=>"

Biimplikasi Biimplikasi merupakan kalimat bersyarat

ganda. Biimplikasi menggunakan kata hubung JIKA DAN HANYA JIKA. Notasinya: "<=>"

Hukum-hukum ekuivalen:a. Hukum Komutatif    p ʌ q ≡  q ʌ p    p v q ≡ q v p

b. Hukum Distributif    p ʌ (q v r) ≡ (p ʌ q) v (p ʌ r)    p v (q ʌ r) ≡ (p v q) ʌ (p v r)

c. Hukum Asosiatif    (p ʌ q) ʌ r ≡ p ʌ (q ʌ r)    (p v q) v r ≡  p v (q v r)

d. Hukum Identitas    p ʌ T ≡  p    p v F ≡  p

Hukum-hukum ekuivalen:e. Hukum Dominasi / Ikatan    p v T ≡ T    p v F ≡ F 

f.  Hukum Negasi    p v ~p ≡  T     p ʌ ~p ≡ F

g. Hukum Involusi / Negasi Ganda    ~(~p) ≡  p

h. Hukum Idempoten    p ʌ p ≡ p    p v p ≡ p

Hukum-hukum ekuivalen:i.  Hukum De Morgan    ~( p ʌ q ) ≡  ~p v ~q    ~( p v q ) ≡ ~p ʌ ~q

j.  Hukum Absorbsi / Penyerapan    p v (p ʌ q) ≡  p    p ʌ (p v q) ≡ p

k. Hukum True dan False    ~T ≡  F    ~F ≡ T

l.  Hukum Perubahan Implikasi menjadi Disjungsi atau Konjungsi.    p => q ≡ ~p v q 

Periksalah Logika studi kasus berikut: (sumber: beberapa posting di group FB)Teknik mengutip berita paling mutakhir masa kini : Wartawan(W) Menteri

(M) W1 : Pak, bapak lebih suka ayam goreng apa gulai kambing? M : Ayam goreng W1 : Pakai tepung atau tidak pak? M : Pakai tepung W1 : Model ayam goreng KFC ya pak? M : Ya kurang lebih mirip begitulah..

Headline : Menteri M lebih suka ayam goreng KFC model Amerika dan tidak suka gulai kambing tradisional Indonesia..

W2 menulis di berita online :Terlaluu! Gaya Hidup Menteri M Kebarat-baratan

Si B bikin status FB :Hati-hati Menteri M mendukung bisnis liberal kapitalis daripada pertumbuhan ekonomi kerakyatan

W3 menulis berita online abal-abal yang mencatut nama islam. “Menteri M Benci Pada Daging Kambing Makanan Kesukaan Rasulullah SAW”

Si A tweeting :Astagfirullah.. Ada upaya penyesatan akhlaq, Kambing yang disukai Rasulullah SAW dianggap tidak baik oleh Menteri M. Kita akan digiring ke cara pandang kafir

Si C menulis dalam blog. “industri kecil dan menengah lokal akan segera disingkirkan karena tidak menguntungkan pemerintah”

Kelompok X Merencanakan Demo Penyesatan Akhlaq Kelompok Y Merencanakan Demo Membela UKM Menteri M menerima summary berita hari ini dari

sekretarisnya"Pak ini rangkuman berita-berita tentang anda seminggu ini“

M : ##!??/

Kesimpulan? ………………………………..