LOGIKA MATEMATIKA (Logika Simbolik/Proposisi)

Matematika Dasar Fisika 2010/2011

Pengertian

Logika adalah ilmu untuk berpikir dan bernalar dengan benar berdasarkan akal budi dan bukan berdasarkan perasaaan atau pengalaman Kegunaan Logika : bidang pemrograman, kebanaran algoritma, kecerdasan buatan ( artificial intelligence), perancangan komputer, dll.

Istilah dalam Logika matematika

Kalimat terbuka dan tertutup Pernyataan adalah kalimat deklaratif (menerangkan sesuatu) yang bernilai benar atau salah tapi tidak keduanya. Proposisi adalah istilah lain dari pernyataan. Kuantor adalah istilah untuk menyatakan berapa banyak dari suatu objek. Kuantor universal dan eksistensial Pernyataan majemuk Pernyataan + kata penghubung sebagai dasar logika matematika

Penghubung Logika
Jenis Penghubung Negasi Konjungsi Disjungsi Implikasi Biimplikasi Simbol ~ V Bentuk tidak ...dan... ...Atau... Jika...maka ...jika dan hanya jika

Tabel Kebenaran
p T q T ~p F p q T pVq T pq T pq T

T
F F

F
T F

F
T T

F
F F

T
T F

F
T T

F
F T

Tautologi dan kontradiksi

Suatu pernyataan disebut tautologi jika pernyataan tersebut selalu bernilai benar untuk semua nilai yang mungkin dari pernyataan komponen Suatu pernyataan disebut Kontradiksi jika pernyataan tersebut selalu bernilai salah untuk semua nilai yang mungkin dari pernyataan komponen

Contoh Tabel Tautologi & Kontradiksi

p T q T p q T (p q) p T p~p F

T
F F

F
T F

F
F F

T
T T

F
F F

Konvers, Kontraposisi dan invers

Konvers dari pq adalah qp Kontraposisi dari pq adalah ~q~p Invers dari pq adalah ~p~q

Latihan

Nyatakan konvers, kontraposisi dan invers dari implikasi berikut

Jika x bil prima, maka x tidak mempunyai pembagi selain 1 dan x sendiri Jika saya mempunyai waktu dan saya tidak lelah, maka saya akan ke toko buku Jika saya mempunyai cukup uang, maka saya akan membeli mobil dan membeli rumah

Implikasi Logis dan Ekuivalensi

Implikasi Logis adalah suatu implikasi yang selalu bernilai tautologi

Contoh : (pq)p , ~p(pq)

Dua pernyataan dikatakan ekuivalen jika kedua pernyataan tersebut bernilai sama atau pq tautologi

Contoh : (pq) (~q~p) , (pq) (~pvq)

Hukum Logika Proposisi

1.Hukum Identitas pvF p pT p 3.Hukum Negasi pv~p T p ~p F 5.Hukum involusi ~(~p) p 7.Hukum komutatif (p q) q p (pvq) q v p 2.Hukum dominasi p F F p v T T 4.Hukum idempoten pvp p p p p 6.Hukum absorpsi pv(p q) p p (pvq) p 8. Hukum Assosiatif p (q r) (p q) r p v(q v r) (p v q) v r

9. Hukum distributif p v(q r) (p v q) (p v r) p (q v r) (p q) v (p r)

10.Hukum DeMorgan ~(p q) ~p v ~q ~(pvq) ~p ~q

Contoh

Tunjukkan bahwa pv~(pvq) dan pv~q Tunjukkan bahwa p(pvq)p

Inferensi/Kesimpulan

Modus Ponen : (p(pq))q Modus Tollen : (~q(pq))p Silogisme Hipotesis: ((pq)(qr))(pr) Silogisme Disjungsif: ((pvq) ~p)q Simplifikasi : (p q)p

Latihan

Dengan menggunakan tabel kebenaran dan hukum logika proposisi buktikan bahwa pernyataan berikut adalah ekuivalen

p(pvq)p [~(pv(qr))][(~p~q)(~p~r)] [p(qr)] [(pq)(pr)] [(pvq)r] [(pr)(qr)] [p(qvr)] [~r(pq)]

Materi selanjutnya

Pembuktian

Bukti langsung Bukti tak langsung Bukti induksi matematika