Pengantar logika
Kata logika bisa diartikan sebagai penalaran / alas an-alasan. Logika dalam arti ilmu adalah ilmu
pengetahuan yang mempelajari berkaitan dengan prinsip-prinsip dari penalaran yang valid dan
sah.
Argument adalah suatu usaha untuk mencari kebenaran dari pernyataan berupa kesimpulan,
dengan berdasarkan kebenaran dari sekumpulan pernyataan atau premis.
Missal diberikan premis 1 : Semua mahasiswa STMIK Indonesia pandai. premis 2 : Amir
mahasiswa STMIK Indonesia. Diperoleh kesimpulan bahwa Amir adalah pandai. Hal ini
memberi kesimpulan bahwa logika yang dipelajari, diperoleh prinsip-prinsip penalaran yang
valid.
Validitas yang logis adalah berhubungan antara premis-premis dengan kesimpulan yang
memastikan bahwa jika premis-premis benar, maka harus diikuti dengan kesimpulan yang benar,
yang diperoleh dengan menggunakan aturan-aturan logika.
Proposisi
Proposisi adalah suatu pernyataan yang bernilai benar saja atau salah saja, tetapi tidak keduanya.
Pada umumnya bentuk proposisi merupakan kalimat berita dan fakta yang sudah jelas nilai
kebenarannya.
Contoh diatas suatu kalimat yang nilai kebenarannya belum jelas atau menimbulkan makna
ganda.
Jenis-jenis Proposisi
Proposisi Atomik : adalah proposisi yang tidak dapat dipecah-pecah menjadi beberapa proposisi
dalam penyusunannya.
Contoh
Proposisi Majemuk : adalah proposisi yang terdiri dari beberapa proposisi atomik
Contoh :
Latihan.
a. p^q = Anda orang yang rajin belajar dan pandai membaca situasi.
b. p^¬q = Anda orang yang rajin belajar dan tidak pandai membaca situasi.
c. ¬p^q = Anda bukan orang yang rajin belajar dan pandai membaca situasi.
d. ¬(p^q) = tidak benar bahwa anda orang yang rajin belajar dan pandai membaca situasi.
3. Misal p dan q adalah suatu proposisi. Disjungsi p,q adalah gabungan p,q disimbolkan p˅q.
Contoh
p = hari ini saya mengerjakan tugas logika.
q = hari ini saya nonton tv.
p˅q = hari ini saya mengerjakan tugas logika atau nonton tv.
p q p׀q B = benar
B B S
S = salah
B S B
S B B
S S B
Operator Logika Not Or (NOR) simbol “p↓q”
Merupakan bentuk negasi dari disjungsi (atau)
Misal p dan q adalah variable maka p↓q dapat disajikan tabel berikut
p q p↓q B = benar
B B S
S = salah
B S B
S B B
S S B
Operator logika Exlusive Or (XOR) simbal “ⱷ”
Misal p dan q adalah variable maka p ⱷ q (p xor q) dapat disajikan tabel berikut
p q pⱷq
B B S
B S B
S B B
S S S
Latihan mandiri
Tentukan tabel kebenaran untuk ekspresi logika berikut :
1) p =˃ ¬q
penyelesaian :
Tabel kebenaran p =˃ ¬q
p q ¬q p =˃ ¬q
B B S S
B S B B
S B S B
S S B B
2) ( p ˅ ¬q) ˂=˃¬q
3) p¬׀q
4) (p ⱷ ¬q) ˂=˃ q
TABEL KEBENARAN
Operator Logika negasi biasanya hanya melibatkan satu proposisi sehingga nilai
kebenarannya hanya 2 kemungkinan.
Pernyataan : p = hari ini cerah
¬q = hari ini tidak cerah
Tabel kebenaran negasi adalah :
p ¬p B = benar
B S
S = salah
S B
p q p^q B = benar
B B B
S = salah
B S S
S B S
S S S
p q p˅q B = benar
B B B
S = salah
B S S
S B B
S S S
p q p=˃q B = benar
B B B
S = salah
B S S
S B B
S S B
Operator logika Bi.implikasi
Misal 2 variabel
p = setiap penduduk Negara Indonesia memiliki KTP
q = setiap penduduk Negara Indonesia telah berusia 17 tahun
p˂=˃q = setiap penduduk Negara Indonesia memiliki KTP jika dan hanya jika telah berusia
17 tahun.
Tabel kebenaran p˂=˃q
p q p˂=˃q B = benar
B B B
S = salah
B S S
S B S
S S B
5. Misal p dan q suatu proposisi, bi.implikasi p,q adalah p jika dan hanya
jika q. ditulis p˂=˃q dapat juga diartikan dengan p=˃q dan q=˃p.
Contoh
p = sebuah bangun disebut persegi panjang.
q = keempat sudutnya berukuran 90°.
p˂=˃q = sebuah bangun disebut persegi panjang jika dan hanya jika keempat sudunya
berukuran 90°.
Latihan Mandiri
1. Tentukan negasi dari kalimat ini
p = ayah tidak akan membelikan saya sepeda motor.
2. p = hari ini saya berangkat ke kampus
q = hari ini ke mall
nyatakan dengan symbol logika
a. Hari ini saya tidak berangkat ke kampus tetapi ke mall.
b. Tidak benar hari ini saya berangkat ke kampus dan mall.
c. Jika saya tidak ke mall maka saya berangkat ke kampus.
3. p = kami pintar membuat program.
q = kami akan mengikuti kontes robotik.
nyatakan dengan simbol logika kedalam proposisi.
a. p=˃q
b. ¬p˅¬q
c. ¬(¬p^p)
d. ¬q˂=˃p
SIFAT OPERATOR LOGIKA IMPLIKASI
Jika p =˃ q, maka dapat membentuk 4 macam implikasi. Secara umum dapat disajikan dalam
tabel.
1. Implikasi p =˃ q
2. Konvers q =˃ p
3. Invers ¬p =˃ q
4. Kontraposisi ¬q =˃ ¬p
contoh :
p = Amir mempunyai mobil
q = ia orang kaya (Amir Orang Kaya)
1. Implikasi p =˃ q
Jika amir mempunyai mobil maka ia orang kaya.
2. Konvers q =˃ p
Jika amir orang kaya maka ia mempunyai mobil.
3. Invers ¬p =˃ q
Jika amir tidak mempunyai mobil maka ia bukan orang kaya.
4. Kontraposisi ¬q =˃ ¬p
Jika amir bukan orang kaya maka ia tidak mempunyai mobil
Perbandingan ke empat sifat diatas dapat ditunjukan pada tabel kebenaran sbb.
p q ¬p ¬q p =˃ q q =˃ p ¬p =˃ ¬q ¬q =˃ ¬p
B B S S B B B B
B S S B S B B S
S B B S B S S B
S S B B B B B B
Latihan mandiri
p = Anda memiliki password yang benar
q = Anda bisa login ke akun FB
Tentukan implikasi, konvers, invers, dan kontraposisi
Diperoleh dalam bentuk tabel sbb.
x input 1 2 3 4
x output 1 7 3 4
Sedangkan tabel kebenaran dari tersebut diatas sbb.
p = (x + 1 = 3)
q = (x + 2 = 4)
p q p˅q
B B B
B S B
S B B
S S S
Implikasi pada bahasa pemrogram