(Logic)
--02--
LOGIKA
• Contoh :
a) 13 adalah bilangan ganjil
b) 1 + 1 = 2
c) 8 akar kuadrat dari 8 + 8
d) Ada monyet di bulan
e) Hari ini adalah hari kamis
f) Untuk sembarang bilangan bulat n 0, maka 2n adalah
bilangan genap
PROPOSISI
• Pertanyaan,
Apakah contoh kalimat d bawah ini proposisi:
(a) Jam berapa pesawat Garuda tiba di Bandara
Husein Sastra Negara ?
(b) Isilah gelas tersebut dengan air!
(c) x + 3 = 8
(d) x > 3
PROPOSISI
• Proposisi dilambangkan dengan huruf kecil p, q, r, ….
Contoh 5.
Misalkan
p : 17 adalah bilangan prima (benar)
q : bilangan prima selalu ganjil (salah)
pq:
17 adalah bilangan prima dan
bilangan prima selalu ganjil
→ (salah)
TABEL KEBENARAN
Contoh
Contoh
Bentuklah tabel kebenaran dari proposisi majemuk (p q) (~q r).
TABEL KEBENARAN
Contoh
Bentuklah tabel kebenaran dari proposisi majemuk (p q) (~q r).
TABEL KEBENARAN
Contoh
Bentuklah tabel kebenaran dari proposisi majemuk (p q) (~q r).
TABEL KEBENARAN
Contoh
Bentuklah tabel kebenaran dari proposisi majemuk (p q) (~q r).
TABEL KEBENARAN
Contoh
Bentuklah tabel kebenaran dari proposisi majemuk (p q) (~q r).
TABEL KEBENARAN
Contoh
Bentuklah tabel kebenaran dari proposisi majemuk (p q) (~q r).
TABEL KEBENARAN
Contoh
Bentuklah tabel kebenaran dari proposisi majemuk (p q) (~q r).
TABEL KEBENARAN
Contoh
Bentuklah tabel kebenaran dari proposisi majemuk (p q) (~q r).
TABEL KEBENARAN
Contoh
Bentuklah tabel kebenaran dari proposisi majemuk (p q) (~q r).
TABEL KEBENARAN
Contoh
Bentuklah tabel kebenaran dari proposisi majemuk (p q) (~q r).
TABEL KEBENARAN
Contoh
Bentuklah tabel kebenaran dari proposisi majemuk (p q) (~q r).
TABEL KEBENARAN
Contoh
Bentuklah tabel kebenaran dari proposisi majemuk (p q) (~q r).
TABEL KEBENARAN
Contoh
Bentuklah tabel kebenaran dari proposisi majemuk (p q) (~q r).
TABEL KEBENARAN
Contoh
Bentuklah tabel kebenaran dari proposisi majemuk (p q) (~q r).
TABEL KEBENARAN
Contoh
Bentuklah tabel kebenaran dari proposisi majemuk (p q) (~q r).
TABEL KEBENARAN
Contoh
Bentuklah tabel kebenaran dari proposisi majemuk (p q) (~q r).
TABEL KEBENARAN
Contoh
Bentuklah tabel kebenaran dari proposisi majemuk (p q) (~q r).
TABEL KEBENARAN
Contoh
Bentuklah tabel kebenaran dari proposisi majemuk (p q) (~q r).
TABEL KEBENARAN
Contoh
Bentuklah tabel kebenaran dari proposisi majemuk (p q) (~q r).
TABEL KEBENARAN
Contoh
Bentuklah tabel kebenaran dari proposisi majemuk (p q) (~q r).
TABEL KEBENARAN
Contoh
Bentuklah tabel kebenaran dari proposisi majemuk (p q) (~q r).
TABEL KEBENARAN
Contoh
Bentuklah tabel kebenaran dari proposisi majemuk (p q) (~q r).
TABEL KEBENARAN
Contoh
Bentuklah tabel kebenaran dari proposisi majemuk (p q) (~q r).
TABEL KEBENARAN
Contoh
Bentuklah tabel kebenaran dari proposisi majemuk (p q) (~q r).
TABEL KEBENARAN
Contoh
Bentuklah tabel kebenaran dari proposisi majemuk (p q) (~q r).
TABEL KEBENARAN
Contoh
Bentuklah tabel kebenaran dari proposisi majemuk (p q) (~q r).
TABEL KEBENARAN
Contoh
Bentuklah tabel kebenaran dari proposisi majemuk (p q) (~q r).
TABEL KEBENARAN
Contoh
Bentuklah tabel kebenaran dari proposisi majemuk (p q) (~q r).
TABEL KEBENARAN
Contoh
Bentuklah tabel kebenaran dari proposisi majemuk (p q) (~q r).
TABEL KEBENARAN
Contoh
Bentuklah tabel kebenaran dari proposisi majemuk (p q) (~q r).
TABEL KEBENARAN
Contoh
Bentuklah tabel kebenaran dari proposisi majemuk (p q) (~q r).
TABEL KEBENARAN
Contoh
Bentuklah tabel kebenaran dari proposisi majemuk (p q) (~q r).
TABEL KEBENARAN
Contoh
Bentuklah tabel kebenaran dari proposisi majemuk (p q) (~q r).
TABEL KEBENARAN
p ~(p q)
(p q) ~(p q)
TABEL KEBENARAN
p ~(p q)
(p q) ~(p q) T
1) Inclusive or
“atau” berarti “p atau q atau keduanya”
Contoh:
“Tenaga IT yang dibutuhkan menguasai Bahasa C++ atau Java”.
2)Exclusive or
Contoh:
“Ia lahir di Bandung atau di Padang”.
Disjungsi Eksklusif
Proposisi Bersyarat (kondisional atau implikasi)
• Notasi: p → q
• Proposisi p disebut hipotesis, antesenden, premis, atau
kondisi
• Proposisi q disebut konklusi (atau konsekuen).
Proposisi Bersyarat (kondisional atau implikasi)
Contoh :
▪ Jika suhu mencapai 80C, maka alarm akan
berbunyi
▪ Jika anda tidak mendaftar ulang, maka anda
dianggap mengundurkan diri
Proposisi Bersyarat (kondisional atau implikasi)
1) Jika p, maka q
2) Jika p, q
3) p mengakibatkan q (p implies q)
4) q jika p
5) p hanya jika q
6) p syarat cukup untuk q (hipotesis menyatakan
syarat cukup (sufficient condition) )
7) q syarat perlu untuk p (konklusi menyatakan
syarat perlu (necessary condition) )
8) q bilamana p (q whenever p)
Proposisi Bersyarat (kondisional atau implikasi)
Contoh
Proposisi-proposisi berikut adalah implikasi dalam berbagai
bentuk:
1) Jika hari hujan, maka tanaman akan tumbuh subur.
2) Jika tekanan gas diperbesar, mobil melaju kencang.
3) Es yang mencair di kutub mengakibatkan permukaan air laut
naik.
4) Orang itu mau berangkat jika ia diberi ongkos jalan.
5) Ahmad bisa mengambil matakuliah Bhs Pemrograman hanya
jika ia sudah lulus matakuliah Algoritma.
6) Syarat cukup agar pom bensin meledak adalah percikan api
dari rokok.
7) Syarat perlu bagi Indonesia agar ikut Piala Dunia adalah
dengan mengontrak pemain asing kenamaan.
8) Banjir bandang terjadi bilamana hutan ditebangi.
Proposisi Bersyarat (kondisional atau implikasi)
Penyelesaian:
3) Jika es mencair di kutub, maka permukaan air laut naik.
4) Jika orang itu diberi ongkos jalan, maka ia mau berangkat.
5) Jika Ahmad mengambil matakuliah Bhs Pemrograman, maka ia sudah
lulus matakuliah Algoritma.
6) Pernyataan yang diberikan ekivalen dengan “Percikan api dari rokok
adalah syarat cukup untuk membuat pom bensin meledak” atau “Jika api
memercik dari rokok maka pom bensin meledak”
7) Pernyataan yang diberikan ekivalen dengan “Mengontrak pemain asing
kenamaan adalah syarat perlu untuk Indonesia agar ikut Piala Dunia”
atau “Jika Indonesia ikut Piala Dunia maka Indonesia mengontrak pemain
asing kenamaan”.
8) Jika hutan-hutan ditebangi, maka banjir bandang terjadi.
NOTASI PENULISAN ALGORITMA
Tipe Data
• Tempat menyimpan data = variabel
• Variabel yang data (isinya) tetap disebut konstanta
• Tipe dasar
– Tipe yang dapat langsung dipakai (disediakan oleh
bahasa pemrograman)
– Contoh: boolean, integer, real, char, string
• Tipe bentukan
– Tipe yang didefinisikan sendiri oleh pemrogram
– Tipe yang dibentuk dari tipe dasar atau dari tipe
bentukan lain yang sudah didefinisikan
– Contoh: tipe dasar yang diberi nama tipe baru, record
Pengelompokkan tipe data
Tipe Bentukan
• Tipe dasar yang diberi nama tipe baru
– Nama baru untuk tipe dasar menggunakan kata kunci type
– Domain nilai, cara menulis konstanta, dan operasi-operasi yang
dapat dijalankan pada tipe baru tersebut tidak berubah, sama
seperti tipe dasarnya.
– Contoh: type BilanganBulat: integer
• Rekaman (record)
– Rekaman disusun atas satu atau lebih field
– Tipe field menyimpan data dan tipe dasar tertentu atau dari tipe
bentukan lain yang sudah didefinisikan sebelumnya
– Nama rekaman (record) ditentukan oleh pemrogram
– Rekaman disebut juga tipe terstruktur
Contoh Record
DEKLARASI
type MataKuliah : record <KodeMK : string, {kode matakuliah}
NamaMK : string, {nama matakuliah}
Nilai : char {indeks nilai}
>
• BENAR
– titik6 atau titik_6
– nilai_ujian atau nilaiUjian
– PT_1 atau PT1
– hari
Nilai
• Merupakan besaran dari tipe data yang sudah
didefinisikan (tipe dasar maupun tipe bentukan)
• Nilai dapat berupa:
– Isi variabel atau konstanta
– Nilai dari hasil perhitungan
– Nilai yang dihasilkan oleh fungsi
• Nilai yang disimpan di variabel dimanipulasi dengan
cara:
– Mengisikan ke variabel lain yang bertipe sama
– Dipakai untuk perhitungan
– Dituliskan ke piranti keluaran
Nilai(2)
Pengisian nilai ke variabel:
• Pengisian nilai secara langsung(assignment)
– Memasukkan sebuah nilai ke dalam nama variabel
langsung di dalam teks algoritma
– Syaratnya nilai yang diisikan harus bertipe sama dengan
tipe variabel
– Notasi:
– Contoh:
variabel konstanta NoMhs 1234
• Ekspresi relasional
– Hasil evaluasi adalah nilai bertipe boolean
– Ekspresi dengan operator <,≤,>,≥,=,≠, not, and, or, dan xor
– Ekspresi string :
• Ekspresi dengan operator penyambungan/concatenation “+”.
Notasi Algoritma
1. Kalimat deskriptif
2. Flowchart
3. Pseudocode
Kalimat deskriptif
Spesifikasi
Deskripsi Deklarasi
Kalimat deskriptif
Judul Algoritma