ITSNU SRIWIJAYA SUMSEL

Matematika
Diskrit
Pertemuan - 2
Logika
Askari, S. Kom., MM
Logika dan Proposisi
 Logika merupakan dasar dari semua
penalaran (reasoning).
 Penalaran didasarkan pada hubungan
antara pernyataan (statements).
 Logika adalah ilmu yang mempelajari cara
mengambil kesimpulan
 Proposisi adalah Pernyataan atau kalimat
deklaratif yang bernilai benar (true)
atau salah (false), tetapi tidak keduanya.
Contoh 1

Semua pernyataan di bawah ini adalah proposisi:

(a) 13 adalah bilangan ganjil
(b) Soekarno adalah alumnus UGM.
(c) 1 + 1 = 2
(d) 8  akar kuadrat dari 8 + 8
(e) Ada monyet di bulan
(f)  Hari ini adalah hari Rabu
(g) Untuk sembarang bilangan bulat n  0, maka
2n adalah bilangan genap
Contoh 2

Semua pernyataan di bawah ini 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: Hanya pernyataan yang bernilai

benar atau salah yang bisa menjadi
Proposisi.
Permainan 1

“Gajah lebih besar daripada tikus.”

Apakah ini sebuah pernyataan?

Apakah ini sebuah proposisi?

Apakah nilai kebenaran dari

proposisi ini?
Permainan 2

“520 < 111”

Apakah ini sebuah pernyataan?

Apakah ini sebuah proposisi?

Apakah nilai kebenaran dari

proposisi ini?
Permainan 3

“y > 5”

Apakah ini sebuah pernyataan?

Apakah ini sebuah proposisi?
Nilai kebenaran dari pernyataan tersebut
bergantung pada y, tapi nilainya belum
ditentukan.
Pernyataan jenis ini kita sebut sebagai
fungsi proposisi atau kalimat terbuka.
Permainan 4

““Sekarang tahun 2023 dan 9 < 5.”

Apakah ini sebuah pernyataan?

Apakah ini sebuah proposisi?

Apakah nilai kebenaran dari

proposisi ini?
Permainan 5
“Tolong untuk tidak tidur selama kuliah”

Apakah ini sebuah pernyataan?

Ini adalah sebuah permintaan.

Apakah ini sebuah proposisi?

 Formulasi
Proposisi dilambangkan dengan huruf kecil
p, q, r, ….

Contoh:
p : 13 adalah bilangan ganjil.
q : Soekarno adalah alumnus UGM.
r: 2+2=4
Mengkombinasikan Proposisi
Misalkan p dan q adalah proposisi.
1. Konjungsi (conjunction): p dan q
Notasi p  q,
2. Disjungsi (disjunction): p atau q
Notasi: p  q
3. Ingkaran (negation) dari p: tidak p
Notasi: p
 
p dan q disebut proposisi atomik
Kombinasi p dengan q menghasilkan proposisi
majemuk (compound proposition)
 Contoh
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)
Tabel Kebenaran
Misalkan p dan q adalah proposisi.
 Konjungsi p  q bernilai benar jika kedua p dan q keduanya
benar, selain itu nilainya salah;
 Disjungsi p  q bernilai salah jika kedua p dan q keduanya
salah, selain itu nilainya benar;
 Negasi p, yaitu p bernilai benar jika p salah, sebaliknya
bernilai salah jika p benar;
p q pq p q Pq p p
T T T T T T T F
T F F T F T F T
F T F F T T
F F F F F F
 Contoh
Bentuklah tabel kebenaran dari proposisi
majemuk berikut:
(p  q)  (~q  r)
Disjungsi Ekskusif (Eksklusif OR (XOR)
 Misalkan p dan q adalah proposisi.
Ekslusif OR p dan q, dinyatakan dengan notasi
p  q, adalah proposisi yang bernilai benar jika
hanya salah satu dari p dan q benar, selain itu
nilainya salah.
p q pq
T T F
T F T
F T T
F F F
Proposisi Bersyarat (Implikasi)
 Misalkan p dan q adalah proposisi.
Proposi “jika p maka q” ditulis pq adalah proposisi
yang bernilai salah jika p benar tetapi q salah dan
bernilai benar untuk kasus lainnya.
p q pq
T T T
T F F
F T T
F F T
 Contoh
Misalkan p : soal ujian yang diberikan oleh guru
q : jawaban yang diberikan oleh siswa
Nilai kebenaran dari p  q diilustrasikan sbg
penilaian guru :
1.Bila soal ujian benar, jawaban juga benar maka
nilainya lulus
2.Bila soal ujian benar, jawaban salah maka nilai-
nya harus gagal
3.Bila soal ujiannya salah, dijawab benar maka
nilainya lulus
4.Bila soal ujiannya salah, dijawab salah maka
nilainya lulus.
Implikasi dalam Bahasa Pemrograman
 Implikasi Dalam Bahasa Pemrograman
if c then S
c: ekspresi logika yang menyatakan syarat/kondisi
S: satu atau lebih pernyataan.
S dieksekusi jika c benar,
S tidak dieksekusi jika c salah.
 Struktur if-then pada bahasa pemrograman berbeda dengan implikasi
if-then yang digunakan dalam logika.
 Pernyataan if-then dalam bahasa pemrograman bukan proposisi
karena tidak ada korespondensi antara pernyataan tersebut dengan
operator implikasi ().
 Interpreter atau compiler tidak melakukan penilaian kebenaran
pernyataan if-then secara logika. Interpreter hanya memeriksa
kebenaran kondisi c, jika c benar maka S dieksekusi, sebaliknya
jika c salah maka S tidak dieksekusi.
 Contoh
 Misalkan di dalam sebuah program yang ditulis dalam
Bahasa Pascal terdapat pernyataan berikut:
if x > y then y:=x+10;
Berapa nilai y setelah pelaksanaan eksekusi if-then jika:
(i) x = 2, y = 1
(ii) x = 3, y = 5?
Penyelesaian:
(i)x = 2 dan y = 1
Ekspresi x > y bernilai benar Pernyataan y:=x+10
dilaksanakan.
Nilai y sekarang menjadi y = 2 + 10 = 12.
(ii)x = 3 dan y = 5
Ekspresi x > y bernilai salah Pernyataan y:=x+10
tidak dilakukan.
Nilai y tetap seperti sebelumnya, yaitu 5.
Varian Implikasi
 Contoh
Tentukan konvers, invers, dan kontraposisi dari:
“Jika Amir mempunyai mobil, maka ia orang kaya”
Penyelesaian:
Misalkan p : Amir mempunyai mobil
q : Amir orang kaya
Maka :
 Konvers : Jika Amir orang kaya, maka ia
mempunyai mobil
 Invers : Jika Amir tidak mempunyai mobil,
maka ia bukan orang kaya

 Kontraposisi : Jika Amir bukan orang kaya, maka

ia tidak mempunyai mobil
Bi-implikasi
 Misalkan p dan q adalah proposisi.
Proposi “p jika hanya jika q” ditulis p  q adalah
proposisi yang bernilai benar jika p dan q keduanya
benar atau keduanya bernilai salah

p q pq
T T T
T F F
F T F
F F T
Hukum-hukum Logika Proposisi
Disebut juga hukum-hukum aljabar proposisi.
1. Hukum identitas: 2. Hukum null/dominasi:
 p  F  p  p  F  F
 p  T  p  p  T  T

3. Hukum negasi: 4. Hukum idempoten:

 p  ~p  T  p  p  p
 p  ~p  F  p  p  p

5. Hukum involusi (negasi 6. Hukum penyerapan

ganda): (absorpsi):
 ~(~p)  p  p  (p  q)  p
 p  (p  q)  p
Hukum-hukum Logika Proposisi .....
7. Hukum komutatif: 8. Hukum asosiatif:
 p  q  q  p  p  (q  r)  (p  q)  r

 p  q  q  p  p  (q  r)  (p  q)  r

9. Hukum distributif: 10. Hukum De Morgan:

 p  (q  r)  (p  q)  (p  r)  ~(p  q)  ~p  ~q
 p  (q  r)  (p  q)  (p  r)  ~(p  q)  ~p  ~q
Operasi Logika dalam Komputer
 Bit berupa angka 1 dan 0. String merupakan barisan
atau susunan beberapa bit. Komputer menggunakan
sistem basis dua, yaitu ia menyajikan informasi
dengan menggunakan bit 1 dan 0.
 Bit 1 digunakan untuk menyakjikan nilai benar (T),
dan bit 0 digunakan untuk menyajikan nilai salah (F).
 Operasi bit berupa konektivitas pada logika,
menggunakan notasi , , , dan , yang masing-
masing menggambarkan operator NOT, AND, OR, dan
XOR.
 Operasi bit (bitwise) dapat dilakukankan jika rangkai-
an bit mempunyai panjang yang sama.
Contoh
 Diberikan dua rangakaian bit, string x dan y
sbb :
x = 01 1011 0110 dan y = 11 0001 1101.
Tentukan hasil dari x  y, x  y dan x  y.

Penyelesaian
x = 01 1011 0110 x = 01 1011 0110
y = 11 0001 1101 y = 11 0001 1101
x  y = 01 0001 0100 x  y = 11 1011 1111

x = 01 1011 0110
y = 11 0001 1101
x  y = 10 1010 1011
 Tugas 2
1. Tentukan pernyataan manakah di bawah ini
yang merupakan proposisi? Tentukan nilai
kebenaran dari pernyataan yang merupakan
proposisi!
a. Bilangan Biner digunakan dalam sistem
digital.
b. Sistem analog lebih akurat daripada sistem
digital.
c. Tolong untuk tidak makan selama kuliah.
d. Hari ini hujan
e. Ibukota Propinsi Jawa Barat adalah
Semarang.
 Tugas 2
2. Misalkan p = Microsoft Office mudah dipelajari,
q = Microsoft Office banyak peminat,
r = Microsoft Office mudah
dicari.
Terjemahkan kalimat berikut ke dalam notasi
simbolik:
a. Microsoft Office mudah dipelajari dan
mudah dicari
b. Microsoft Office mudah dipelajari tapi
sedikit peminat
c. Tidak benar Microsoft Office mudah
dipelajari atau sulit dicari
d. Microsoft Office mudah dipelajari meng-
akibatkan banyak peminat dan mudah di-
 Tugas 2
3. Tuliskan tabel kebenaran untuk proposisi
berikut:
a. (p  q)  p
b. (p  q)  ( q  r)
c. (p  q)  (p  q)
4. Tentukan konvers, invers, dan kontraposisi
dari pernyataan berikut:
“Jika Microsoft Word aplikasinya maka
Windows sistem operasinya”
5. Diberikan dua rangakaian bit, string x dan y
sbb :
x = 11 1001 0101 dan y = 10 0101 1100.
Tentukan hasil dari x  y, x  y dan x  y.
 ‫وهللا الم ّوفق إلى أقوام الطريق‬ 
Wallaahul Muwaffiq Ila Aqwamith
Thariiq 

Allah adalah Dzat yang memberi petunjuk ke

jalan yang selurus-lurusnya