LOGIKA INFORMATIKA

1
MATERI PENDAHULUAN :

1. KONSEP LOGIKA
2. PROPOSISI ATOMIK
3. PROPOSISI MAJEMUK
4. TABEL KEBENARAN
 KONSEP LOGIKA

 Logika sering didefinisikan sebagai

ilmu untuk berfikir dan menalar
dengan benar, sehingga didapat
kesimpulan yang benar, Untuk dapat
menarik kesimpulan (conclusi) yang
tepat diperlukan kemampuan
menalar yang baik.
 KONSEP LOGIKA
Contoh 1 :
saya telah melihat 1000 gagak hitam
saya belum pernah melihat burung
gagak yang tidak hitam
Oleh karena itu, setiap burung gagak
berwarna hitam
 KONSEP LOGIKA
Kalimat :
Kumpulan kata yang disusun
menurut aturan bahasa dan
mempunyai arti.
ada beberapa jenis kalimat, antara
lain :
Kalimat Tanya, Berita dan lain-lain .
 KONSEP LOGIKA
Contoh Kalimat :
a. Semarang ibukota Jawa Tengah
b. Apa warna bendera negara Indonesia
c. Bersihkan mobil ini
d. Jangan keluar lewat pintu itu
e. Mudah-mudahan tercapai cita-citamu
 KONSEP LOGIKA
Kalimat Pernyataan :
yaitu kalimat yang mempunyai nilai
kebenaran BENAR atau SALAH tapi
TIDAK KEDUANYA
PROPOSISI
 KONSEP LOGIKA
• Beri Contoh Proposisi
 KONSEP LOGIKA
 Variabel
 Symbol yang menunjukan suatu anggota
yang belum spesifik dalam semesta
pembicaraan (Universe of Discource)
 Adanya variable di dalam sebuah
proposisi mengakibatkan proposisi
tersebut belum dapat diketahui nilai
kebenaranya.
 KONSEP LOGIKA
 Bentuk variabel pada umumnya X, Y,
Z atau sebuah kata
 Contoh :
3 + X = 10 sebuah Proposisi, X
variabel
Binatang makan rumput, binatang
sebuah variabel
PROPOSISI ATOMIK
Contoh Pernyataan
1. Bendera Indonesia merah putih
2. Semarang ibukota Jawa Tengah
3. Budi belajar Logika Informatika
4. ..................
5. ..................
Disebut Proposisi Atomik
PROPOSISI ATOMIK
Diwakili variabel
p : Bendera Indonesia merah putih
q : Semarang ibukota Jawa Tengah
r : Budi belajar Logika Informatika
s : Mariana mencintai Mariono
t : Mariono laki-laki tampan
PROPOSISI MAJEMUK
 Proposisi Majemuk adalah proposisi
yang dibentuk dari dua atau lebih
proposisi atomik dan dihubungkan
dengan tanda hubung DAN (), ATAU
(), JIKA MAKA (), JDHJ ()
PROPOSISI MAJEMUK
Diketahui Proposisi atomik
p : Bendera Indonesia merah putih
q : Semarang ibukota Jawa Tengah
r : Budi belajar Logika Informatika
s : Mariana mencintai Mariono
p  q, q  r, r  s, p  s
r  p, r  s, s  q, r  p
 TABEL KEBENARAN
 Tabel Kebenaran untuk menentukan
nilai kebenaran dari proposisi
majemuk.

Tabel kebenaran bisa dibentuk dari 2,

3, 4 atau lebih proposisi atomik.
 TABEL KEBENARAN
 Tabel Kebenaran mempunyai 2n
buah baris atau interpretasi
 Jika p dan q 22 = 4 interpretasi
 Jika p, q dan r 23 = 8 interpretas
 Jika p, q, r, dan s  24 = 16
interpretasi
 TABEL KEBENARAN
 2 Proposisi Atomik p dan q
interpretasi p q Proposisi majemuk
1 B B
2 B S
3 S B
4 S S
 TABEL KEBENARAN
 3 Proposisi Atomik p, q dan r
interpretasi p q r Proposisi majemuk
1 B B B
2 B B S
3 B S B
4 B S S
5 S B B
6 S B S
7 S S B
8 S S S
 TABEL KEBENARAN
 4 Proposisi Atomik p, q, r dan s
interpretasi p q r s Proposisi majemuk
1 B B B B
2 B B B S
3 B B S B
4 B B S S
5 B S B B
6 B S B S
7 B S S B
8 B S S S
9 S B B B
10 S B B S
11 S B S B
12 S B S S
13 S S B B
14 S S B S
15 S S S B
16 S S S S
SLIDE 1 SELESAI