Logika Informatika #1

Herman Yuliansyah, Ph.D.

Outline
● Proposisi dan Simbol
Apa itu logika?
• "logika" adalah ilmu atau cabang yang mempelajari aturan-aturan
berpikir yang benar dan metode yang digunakan untuk merumuskan
argumen yang sah serta mengidentifikasi kesalahan dalam berpikir.
• Logika membantu seseorang untuk berpikir secara rasional,
mengembangkan argumen yang kuat, dan mengambil kesimpulan
yang sah berdasarkan premis-premis atau informasi yang diberikan.
Logika
• Dalam penggunaan sehari-hari, "logika" juga sering merujuk pada
cara seseorang berpikir atau mendekati masalah dengan akal sehat.
• Ketika seseorang mengatakan bahwa suatu tindakan atau argumen
"logis," itu berarti tindakan atau argumen tersebut sesuai dengan
prinsip-prinsip berpikir yang benar dan sesuai dengan akal sehat.
• Jadi, secara umum, "logika" mengacu pada disiplin ilmu yang
mempelajari cara berpikir yang benar dan metode untuk
memastikan bahwa argumen dan kesimpulan kita didasarkan pada
pemikiran yang rasional dan valid.
Lanj…

• Banyak teorema dalam Ilmu Komputer/Informatika yang

membutuhkan pemahaman logika, bahkan logika
adalah jantung dari algoritma dan pemrograman.
• Contoh:
if x mod 2 = 0 then
x:=x + 1
else x:=x – 1
logika informatika
• Poin-poin penting dalam logika informatika adalah prinsip-prinsip
dan konsep-konsep dasar yang digunakan dalam pengembangan
perangkat lunak, pemrosesan informasi, dan pemikiran
komputasional.
• Berikut adalah beberapa poin penting dalam logika informatika:
1. Pernyataan (Statement): 7. Logika Fungsional
2. Operator Logika: 8. Logika Pemrograman:
3. Kesimpulan yang Sah: 9. Model Matematika:
10. Sintaksis dan Semantik:
4. Struktur Data dan Algoritma:
11. Automatisasi dan Kecerdasan Buatan
5. Predikat dan Kuantifikasi 12. Kontrol Versi dan Rekayasa Perangkat Lunak:
6. Logika Ketidakpastian:
Pernyataan (Statement)
• Pernyataan (Statement): Pernyataan adalah proposisi yang dapat
dinyatakan benar atau salah.
• Dalam logika informatika, pernyataan digunakan untuk
merepresentasikan fakta, keadaan, atau kondisi yang dapat
dievaluasi oleh komputer.
• Misalnya, "Variabel X adalah angka genap" adalah pernyataan.
Pernyataan dan proposisi
• Dalam konteks logika informatika, istilah "pernyataan" dan
"proposisi" sering digunakan secara bergantian, tetapi dalam
beberapa kasus, mereka dapat memiliki makna yang sedikit
berbeda.
• Proposisi adalah pernyataan yang memiliki nilai kebenaran yang
jelas (benar atau salah), sedangkan pernyataan bisa menjadi
deskripsi yang lebih umum yang dapat berubah tergantung pada
konteks atau kondisi tertentu.
• Namun, perbedaan ini tidak selalu tegas dan bisa bervariasi
tergantung pada konteks penggunaan.
Pernyataan (Statement)
• Pernyataan adalah kalimat atau ungkapan yang dapat dinyatakan
benar atau salah.
• Dalam konteks logika informatika, pernyataan sering digunakan
untuk merujuk pada nilai yang dapat dievaluasi sebagai benar atau
salah dalam konteks pemrograman atau perhitungan komputer.
• Contoh pernyataan dalam logika informatika bisa berupa perintah-
perintah dalam pemrograman seperti "Variabel X adalah angka
genap" atau "Jumlah A dan B lebih besar dari 10."
Proposisi (Proposition):
• Proposisi adalah pernyataan atau pernyataan yang memiliki nilai
kebenaran yang tetap, yang dapat berupa benar (true) atau salah
(false).
• Dalam logika proposisional (propositional logic), proposisi digunakan
untuk merujuk pada pernyataan yang memiliki nilai kebenaran yang
pasti dan dapat diekspresikan dengan simbol-simbol logika seperti
"P" untuk proposisi benar dan "Q" untuk proposisi salah.
• Logika proposisional adalah bagian dari matematika diskrit yang
berfokus pada analisis pernyataan atau proposisi dengan
menggunakan operator logika seperti AND, OR, dan NOT.
Contoh
• Pernyataan: "Suhu saat ini adalah 25 derajat Celsius."
• Ini adalah pernyataan karena bisa dinyatakan benar atau salah tergantung
pada suhu aktual saat itu.
• Proposisi: "Jika hari ini adalah Senin, maka besok adalah Selasa."
• Ini adalah proposisi karena memiliki nilai kebenaran yang pasti dan dapat
dihitung. Jika pernyataan awalnya benar (hari ini adalah Senin), maka
kesimpulan (besok adalah Selasa) juga benar.
 Carilah

“Gajah lebih besar daripada tikus.”

Apakah ini sebuah pernyataan? YA

Apakah ini sebuah proposisi? YA

Apakah nilai kebenaran dari

BENAR
proposisi ini?
Contoh
• Pernyataan: "Lampu ruangan menyala."
• Ini adalah pernyataan karena bisa dinyatakan benar atau salah tergantung
pada apakah lampu ruangan nyala atau tidak.
• Proposisi: "Bilangan 7 adalah bilangan prima."
• Ini adalah proposisi karena memiliki nilai kebenaran yang pasti. Dalam hal
ini, pernyataan tersebut benar karena 7 adalah bilangan prima.
 “520 < 111”

Apakah ini sebuah pernyataan? YA

Apakah ini sebuah proposisi? YA

Apakah nilai kebenaran dari

SALAH
proposisi ini?
Contoh
• Pernyataan: "Sistem akan mengirimkan email konfirmasi setelah
pendaftaran selesai."
• Ini adalah pernyataan karena menyiratkan tindakan yang akan terjadi di
masa depan dan bisa dinyatakan benar atau salah.
• Proposisi: "2 + 2 = 5."
• Ini adalah proposisi dan dalam konteks matematika, itu salah karena hasil
penjumlahan sebenarnya adalah 4.
 “Sekarang tahun 2003 dan 99 < 5.”

Apakah ini sebuah pernyataan? YA

Apakah ini sebuah proposisi? YA

Apakah nilai kebenaran dari

SALAH
proposisi ini?

16
Contoh
• Pernyataan: "Cuaca akan cerah besok."
• Ini adalah pernyataan karena menggambarkan perkiraan cuaca yang dapat
dinyatakan benar atau salah ketika besok tiba.
• Proposisi: "Semua manusia adalah makhluk hidup."
• Ini adalah proposisi karena memiliki nilai kebenaran yang pasti. Dalam hal
ini, pernyataan tersebut benar.
Contoh
• Pernyataan: "Baterai ponsel Anda sudah habis."
• Ini adalah pernyataan karena berhubungan dengan status baterai yang
dapat dinyatakan benar atau salah.
• Proposisi: "Jika X adalah bilangan bulat positif, maka X^2 juga adalah
bilangan bulat positif."
• Ini adalah proposisi karena memiliki nilai kebenaran yang pasti. Dalam hal
ini, kesimpulan (X^2 adalah bilangan bulat positif) benar jika premis (X
adalah bilangan bulat positif) benar.
 “y > 5”

Apakah ini sebuah pernyataan? YA

Apakah ini sebuah proposisi? TIDAK

Nilai kebenaran dari pernyataan tersebut bergantung pada

nilai y, tapi nilainya belum ditentukan.
Pernyataan jenis ini kita sebut sebagai fungsi proposisi
atau kalimat terbuka.
 “Sekarang tahun 2003 dan 99 < 5.”

Apakah ini sebuah pernyataan? YA

Apakah ini sebuah proposisi? YA

Apakah nilai kebenaran dari

SALAH
proposisi ini?

20
Contoh Proposisi

a. Jogja adalah kota pelajar.

b. 13 adalah bilangan ganjil
c. Soekarno adalah alumnus UGM.
d. 1 + 1 = 2
e. 8  akar kuadrat dari 8 + 8
f. Ada monyet di bulan
Bukan Proposisi

a. Jam berapa kereta api Argo Bromo tiba di Gambir?

b. Isilah gelas tersebut dengan air!
c. x + 3 = 8
d. x > 3

Kesimpulan: Proposisi adalah kalimat berita

Proposisi dan Simbol
• Dalam logika formal, proposisi sering kali diwakili dengan simbol-
simbol tertentu untuk mempermudah analisis dan perhitungan.
• Berikut adalah beberapa simbol yang sering digunakan dalam logika
untuk merepresentasikan proposisi:
• P: Simbol P sering digunakan untuk merujuk pada proposisi atau
pernyataan tertentu.
• Misalnya, P bisa mewakili proposisi "Hari ini adalah hari Minggu."
• Q: Simbol Q digunakan serupa dengan P, untuk merujuk pada
proposisi lain.
• Misalnya, Q bisa mewakili proposisi "Cuaca cerah."
Proposisi dan Simbol
• ¬: Simbol ¬ (not) digunakan untuk menunjukkan negasi atau
kebalikan dari sebuah proposisi.
• Jika P adalah "Hari ini adalah hari Minggu," maka ¬P adalah "Hari ini
bukan hari Minggu" atau "Hari ini adalah hari selain Minggu."
• ∧: Simbol ∧ (and) digunakan untuk menggabungkan dua
proposisi dengan operator "dan."
• Misalnya, P ∧ Q berarti "Hari ini adalah hari Minggu dan cuaca cerah."
• ∨: Simbol ∨ (or) digunakan untuk menggabungkan dua proposisi
dengan operator "atau."
• Misalnya, P ∨ Q berarti "Hari ini adalah hari Minggu atau cuaca cerah
atau keduanya."
Proposisi dan Simbol
• →: Simbol → (implies atau implies that) digunakan untuk
menyatakan hubungan implikasi antara dua proposisi.
• Misalnya, P → Q berarti "Jika hari ini adalah hari Minggu, maka cuaca
cerah."
• ↔: Simbol ↔ (if and only if atau biconditional) digunakan untuk
menyatakan hubungan kesetaraan antara dua proposisi.
• Misalnya, P ↔ Q berarti "Hari ini adalah hari Minggu jika dan hanya jika
cuaca cerah.“
Proposisi dan Simbol
• ∀: Simbol ∀ (for all) digunakan untuk menyatakan kuantifikasi
universal, yaitu bahwa suatu proposisi berlaku untuk semua
objek atau elemen dalam suatu domain.
• Misalnya, ∀x P(x) bisa berarti "Untuk semua x, x adalah hari Minggu."
• ∃: Simbol ∃ (there exists) digunakan untuk menyatakan
kuantifikasi ada, yaitu bahwa ada setidaknya satu objek atau
elemen dalam suatu domain yang memenuhi suatu proposisi.
• Misalnya, ∃x P(x) bisa berarti "Ada setidaknya satu x yang adalah hari
Minggu."
Proposisi atomik dan proposisi majemuk
• Dalam logika, proposisi dapat dibagi menjadi dua kategori utama:
proposisi atomik dan proposisi majemuk.
• Proposisi Atomik:
• Proposisi atomik adalah proposisi yang tidak dapat dibagi lagi menjadi
proposisi yang lebih sederhana.
• Ini adalah proposisi yang memiliki nilai kebenaran yang pasti dan tidak
memerlukan penjelasan lebih lanjut.
• Contoh proposisi atomik:
• P: "Hari ini adalah hari Senin.“
• Q: "Angka 7 adalah bilangan prima."
Proposisi atomik dan proposisi majemuk
• Proposisi Majemuk:
• Proposisi majemuk adalah proposisi yang terdiri dari dua atau lebih
proposisi atomik yang dihubungkan oleh operator logika seperti AND (∧),
OR (∨), NOT (¬), IMPLIES (→), atau IF AND ONLY IF (↔).
• Contoh proposisi majemuk:
• P ∧ Q: "Hari ini adalah hari Senin dan angka 7 adalah bilangan prima.“
• P ∨ Q: "Hari ini adalah hari Senin atau angka 7 adalah bilangan prima.“
• Proposisi atomik dan proposisi majemuk adalah dasar dari logika
proposisional (propositional logic) dan digunakan untuk
menganalisis dan memahami hubungan logis antara pernyataan-
pernyataan dalam berbagai konteks, termasuk matematika, ilmu
komputer, dan filsafat.
Proposisi

1. Proposisi Atomik
: Proposisi yang tidak dapat dipecah lagi
2. Proposisi Majemuk
: Beberapa proposisi atomik yang
digabungkan dengan perangkai tertentu
Proposisi Atomik

• Setiap orang Indonesia kaya raya.

• Cristiano Ronaldo pemain bola.
• Candi Borobudur di daerah Istimewa Yogyakarta.
• Ada monyet di bulan
Proposisi Majemuk

a. Bowo kaya raya, demikian juga Kalina

b. Badu kaya raya dan memiliki banyak harta
c. Dino kaya raya atau banyak hartanya
• proposisi dilambangkan dengan huruf kecil p,q,r,s,...
• Contoh :
p : 13 adalah bilangan ganjil
q : soekarno adalah alumni UGM
r : ayam adalah binatang unggas
s : 2+2=4
Latihan
Tentukan apakah pernyataan dibawah ini merupakan
Proposisi dan tentukan nilai kebenarannya :
1. Angka 9 adalah angka keberuntungan
2. Indonesia negara yang kaya raya
3. Jepang merupakan suatu negara
4. 25 + 5 = 1929
5. Dilarang berjualan di sini
6. Tutuplah jendela itu
7. Logika matematika adalah mudah
 Tentukan apakah pernyataan dibawah ini
merupakan proposisi Atomik atau Majemuk:

1. Setiap orang Jepang pasti kaya raya

2. Bowo kaya raya
3. Bowo dan Arif sama-sama kaya raya
4. Bowo kaya raya dan memiliki banyak harta
5. Bowo kaya raya atau banyak hartanya
6. 3 adalah bilangan prima ganjil dan 2 adalah bilangan prima genap
7. Bujur sangkar dan jajaran genjang termasuk poligon
8. Kamera adalah alat visual atau audial
9. Jika Pak Ali adalah seorang haji, maka ia adalah seorang muslim
10. Dua garis saling berpotongan tegak lurus jika dan hanya jika kedua garis itu
saling membentuk sudut 90 derajat
Perangkai Logika
No. Perangkai Logika Istilah Simbol

1. …..Dan (and)…… Konjungsi ^

2. ……Atau (or)……. Disjungsi v

3. Bukan (not)…….. Negasi ¬

4. Jika ..., maka ... Implikasi →

5. …..jika dan hanya jika ... Biimplikasi/ ↔

ekuivalansi
Contoh1 : Diketahui proposisi-proposisi berikut
p : Hari ini hujan
q : Murid-murid diliburkan dari sekolah
pq : Hari ini hujan dan murid-murid diliburkan
dari sekolah
p  q : Hari ini hujan atau murid-murid diliburkan
dari sekolah

p : Tidak benar hari ini hujan

(atau: Hari ini tidak hujan)

p→q ? p↔q ?
Contoh2.
p: lumba-lumba adalah binatang mamalia
q: lumba-lumba adalah binatang menyusui

pq Lumba-lumba adalah binatang mamalia dan menyusui

pq Lumba-lumba adalah binatang mamalia atau menyusui

p Lumba-lumba bukan binatang mamalia.

p → q Jika Lumba-lumba adalah binatang mamalia maka

menyusui

p ↔ q Lumba-lumba binatang mamalia jika dan hanya jika

lumba-lumba binatang menyusui.
Contoh 3. nyatakan dalam simbolik

p: Aan anak yang pemalas

q: Aan anak yang ngantukan
a. Aan anak yang pemalas dan ngantukan
b. Jika aan pemalas maka aan ngantukan
c. Aan anak yang pemalas atau aan anak yang ngantukan
d. Aan bukan anak pemalas
e. Aan anak yang rajin
f. Aan anak yang pemalas tapi dia tidak ngantukan.
g. Tidak benar Aan ngantukan atau anak yang pemalas
h. Aan anak pemalas jika dan hanya jika aan ngantukan.
Latihan
Diketahui proposisi-proposisi berikut:
p : Pemuda itu tinggi  False
q : Pemuda itu tampan  True
Nyatakan dalam bentuk simbolik / logika:
1. Pemuda itu tinggi dan tampan
2. Pemuda itu tinggi tapi tidak tampan
3. Pemuda itu tidak tinggi maupun tampan
4. Tidak benar bahwa pemuda itu pendek atau tidak tampan
5. Pemuda itu tinggi, atau pendek dan tampan
6. Tidak benar bahwa pemuda itu pendek maupun tampan
Penyelesaian:
Tuliskan nilai kebenaran dengan membuat table kebenaran untuk:

1. pq
2. p  q
3. p  q
4. (p  q)
5. p  (p  q)
6. (p  q)