Anda di halaman 1dari 74

MATEMATIKA DISKRIT

YEYI GUSLA NENGSIH, M.KOM

UNIVERSITAS IMELDA MEDAN LOGO


Surat Al Faatihah

UNIVERSITAS IMELDA MEDAN LOGO


DAFTAR RIWAYAT HIDUP

Nama Lengkap : Yeyi Gusla Nengsih, S.Kom, M.Kom


Ponsel : 085363773710
E-mail : yeyigusla22@gmail.com
Jenjang Pendidikan : S1 Sistem Informasi UPI“YPTK”
Padang
S2 Magister Ilmu Komputer - Sistem
Informasi UPI“YPTK” Padang

UNIVERSITAS IMELDA MEDAN LOGO


UNIVERSITAS IMELDA MEDAN
Peraturan Kuliah“Matematika Diskrit”
1. Tidak diperbolehkan masuk kuliah yang berambut gondrong, rambut dicat warna
bagi laki-laki
2. Tidak diperbolehkan memakai accesoris apapun baik gelang, anting, kalung, cincin
terkecuali jam tangan bagi perempuan
3. Dianjurkan yang wanita muslim memakai jilbab yang menutup aurat sesuai syariat
Islam
4. Waktu keterlambatan Mak. 15 Menit setelah perkuliahaan berlangsung.
5. Selama perkuliahaan berlangsung tidak diperbolehkan keluar masuk tanpa seizin
dosen.
6. Kehadiran min. 75%, mak. Tidak hadir 4x pertemuan termasuk (alpha, sakit , izin
dan berbagai alasan lainnya).
7. Diwajibkan masuk kelas sesuai dengan jadwal yang telah ditentukan akademik,
Tidak boleh masuk kelas yang tidak sesuai dengan jadwal akademik jika dilakukan
maka Mata kuliah yang diambil dibatalkan.

UNIVERSITAS IMELDA MEDAN LOGO


KEGIATAN RUTIN
 Al-Faatihah (pembukaan)
 Absensi
 Al-Faatihah (Penutup)

UNIVERSITAS IMELDA MEDAN LOGO


SISTEM PENILAIAN
1. UTS : 15% 4. Penugasan : 20 %
2. UAS : 40% 5. Praktek : 20 %
3. Absensi : 5 %
Nilai Ujian Semester, Nilai ujian suatu mata kuliah
dinyatakan dengan huruf:
80 – 100 A sangat baik bobot kredit = 4
65 – 79 B baik bobot kredit = 3
55 – 64 C cukup bobot kredit = 2
45 – 54 D kurang bobot kredit = 1
01 – 44 E jelek bobot kredit = 0

UNIVERSITAS IMELDA MEDAN LOGO


Silabus dan Referensi
SILABUS MATEMATIKA DISKRIT
1. Pengantar Matematika Diskrit dan Pengenalan Logika Matematika
Bagian 1
2. Logika Matematika Bagian 2
3. Sistem Bilangan Bagian 1
4. Sistem Bilangan Bagian 2
5. Teori Himpunan Bagian 1
6. Garis Lurus, Persamaan Kuadrat, fungsi bagian 1
7. Garis Lurus, Persamaan Kuadrat, fungsi bagian 2
8. Sistem Bilangan Real Bagian 1
9. Sistem Bilangan Real Bagian 2

UNIVERSITAS IMELDA
7 MEDAN LOGO
Silabus dan Referensi

10. Sistem Koordinat Kartesius Bagian 1


11. Sistem Koordinat Kartesius Bagian 2
12. Kombinatorial Bagian 1
13. Kombinatorial Bagian 2
14. Sistem Pengambilan Keputusan dengan metode SAW bagian 1
15. Sistem Pengambilan Keputusan dengan metode SAW bagian 2

UNIVERSITAS IMELDA
8 MEDAN LOGO
Buku Referensi
1. Munir, Rinaldi. 2012. “Matematika Diskrit”. 5th. Bandung: Informatika.
2. Siang, Jong Jek. 2009. “Matematika Diskrit dan Aplikasinya pada Ilmu
Komputer”. 1st. Yogyakarta: Andi Offset.
3. Lipschutz, Seymour. “Matematika Diskrit”. 3rd. Jakarta: Erlangga
4. Wibisono, Samuel. 2008 “Matematika Diskrit”. 2nd . Yogyakarta: Graha
Ilmu.

UNIVERSITAS IMELDA
9 MEDAN LOGO
Matematika Diskrit
matematika Diskrit adalah cabang matematika yang membahas segala
sesuatu yang bersifat objek-objek diskrit.

Benda disebut Diskrit Jika :


• Terdiri-dari sejumlah berhingga elemen yang berbeda
• Elemen-elemennya tidak bersambungan (unconnected)

UNIVERSITAS IMELDA MEDAN LOGO


Matematika Diskrit
Tujuan Kuliah Matematika Diskrit :
1. Penalaran matematika: memberikan pemahaman tentang penalaran
matematika dalam membaca, memahami, dan membangun argumen
matematika.
2. Analisis kombinatorial: memberikan keterampilan menghitung banyak
objek sebagai salah satu kemampuan dasar untuk memecahkan masalah. 
3. Struktur diskrit: memberikan pemahaman tentang struktur diskrit sebagai
salah satu struktur matematika abstrak yang digunakan untuk menyajikan
objek-objek diskrit dan hubungan di antara objek-objek itu. 
4. Aplikasi dan Pemodelan: memperkenalkan aplikasi matematika diskrit dan
pemodelan matematika sebagai salah satu kemampuan pemecahan masalah
yang sangat penting. 

UNIVERSITAS IMELDA MEDAN LOGO


Matematika Diskrit
Alasan Kenapa Belajar Matematika Diskrit ?
1. Matematika diskrit merupakan pintu gerbang untuk mempelajari mata
kuliah lanjutan dalam logika, teori himpunan, teori bilangan, aljabar linier,
aljabar abstrak, kombinatorika, teori graf,dan teori peluang. 
2. Matematika diskrit dasar pemahaman ilmu komputer
3. Matematika diskrit memberikan latar belakang matematika yang
diperlukan dalam pemecahan masalah riset operasi

UNIVERSITAS IMELDA MEDAN LOGO


Matematika Diskrit
• Data diskrit dalam matematika diskrit itu dinyatakan dalam bentuk data
yang satuannya selalu bulat dan dalam bilangan asli tidak bisa dalam
bentuk pecahan,
• karena tergolong dalam bilangan asli, contoh : manusia, pohon, rumah,
gedung dll.
• hal ini karena objek tersebut untuk penyebutannya harus dinyatakan
dengan bilangan asli.
• Misalkan : manusia  (kepala, tangan, kaki, telinga...)
• Tangan bukan manusia melainkan bagian tubuh manusia

Lawan kata diskrit : kontinyu atau menerus (continuous).

Dalam Matematika dikenal fungsi diskrit dan fungsi kontinyu

UNIVERSITAS IMELDA MEDAN LOGO


Matematika Diskrit
Perbedaan Diskrit dan Kontinyu

Diskrit: Objek yang terdiri dari sejumlah bilangan berhingga,


elemen yang berbeda atau elemen-elemen yang tidak
bersambung atau berhubungan
Kontinyu: Objek yang terdiri dari sejumlah bilangan tak berhingga,
tak berbatas atau elemen-elemen yang bersambungan.

Fungsi diskrit digambarkan sebagai kumpulan titik-titik

Sedangkan

Fungsi kontinyu digambarkan sebagai kurva

UNIVERSITAS IMELDA MEDAN LOGO


Matematika Diskrit
Contoh kasus yang hanya dapat diselesaikan dengan Matematika Diskrit :
1. Berapa banyak kemungkinan jumlah password yang dapat dibuat dari 8
karakter?
2. Bagaimana menentukan lintasan terpendek dari satu kota A ke kota B?
3. Diberikan dua buah algoritma yang berbeda untuk menyelesaikan sebuah
persoalan, bagaimana menentukan algoritma mana yang terbaik?
4. Bagaimana rangkaian logika untuk membuat peraga digital yang disusun
oleh 7 buah batang (bar)?
5. “Makanan murah tidak enak”, “makanan enak tidak murah”. Apakah
kedua pernyataan tersebut menyatakan hal yang sama?
6. Dapatkah kita melalui semua jalan di sebuah kompleks perubahan tepat
hanya sekali dan kembali lagi ke tempat semula?

UNIVERSITAS IMELDA MEDAN LOGO


Logika Matematika
Apakah Logika itu...?

1. Secara etimologis , istilah logika berasal dari kata “logos”, yang berarti
kata, ucapan, pikiran secara utuh, atau ilmu pengetahuan.
2. Logika matematika adalah Ilmu yang mempelajari tentang cara berpikir
yang logis/masuk akal
3. Logika matematika adalah ilmu yang digunakan untuk menentukan nilai
kebenaran dari suatu pernyataan atau penarikan kesimpulan
berdasarkan aturan-aturan dasar yang berlaku.

UNIVERSITAS IMELDA MEDAN LOGO


Logika Matematika
Manfaat Belajar Logika...?

• Membantu setiap orang yang mempelajari logika untuk berpikir secara


rasional, kritis, lurus, metodis dan analistis.
• Meningkatkan kemampuan berpikir secara abstrak, cermat, dan objektif.
• Menambah kecerdasan dan meningkatkan kemampuan berpikir secara
tajam dan mandiri.
• Memaksa dan mendorong orang untuk berpikir sendiri dengan
menggunakan asas-asas sistematis.
• Meningkatkan cinta akan kebenaran dan menghindari kesalahan-kesalahan
berpikir, kekeliruan serta kesesatan.
• Mampu melakukan analisis terhadap suatu kejadian.

UNIVERSITAS IMELDA MEDAN LOGO


Logika Matematika
Manfaat Khusus
• Kecerdasan Buatan
• Keamanan komputer
• Basis Data
• Sistem Pakar
• Jaringan Syaraf Tiruan
• Logika Pemrograman, contoh : (if…then)
• Database
• Arsitektur Komputer
• Cara kerja komputer (exp : Bil. Biner)
• Teknik kompilasi

UNIVERSITAS IMELDA MEDAN LOGO


Logika Matematika
Sasaran :
Setelah mengikuti perkuliahan ini, mahasiswa dapat
memahami, menguasai dan mengembangkan kemampuan
penalaran tentang argumen-argumen berdasarkan hukum
logika yang berlaku.

UNIVERSITAS IMELDA MEDAN LOGO


Logika Matematika

UNIVERSITAS IMELDA MEDAN LOGO


Logika Matematika
Dalam logika matematika, beberapa pernyataan dapat dibentuk menjadi satu
pernyataan dengan menggunakan kata penghubung logika dan, atau, jika-
maka, jika dan hanya jika. Pernyataan gabungan tersebut disebut dengan
pernyataan majemuk.

Dalam logika matematika, kata hubung tersebut masing-masing memiliki


lambang dan istilah sendiri :

Kata Hubung Lambang Istilah


Dan ^ Konjungsi
Atau v Disjungsi
Jika, maka => Implikasi
Jika dan hanya jika  Biimplikasi

UNIVERSITAS IMELDA MEDAN LOGO


Logika Matematika
Pernyataan adalah adalah suatu kalimat yang bernilai benar saja atau salah
saja. Dengan kata lain, tidak sekaligus kedua-duanya.

Benar atau salahnya sebuah pernyataan disebut nilai kebenaran pernyataan


itu.

Pernyataan disebut juga kalimat tertutup.

Kalimat terbuka bukan pernyataan

UNIVERSITAS IMELDA MEDAN LOGO


Logika Matematika
Kalimat Terbuka
Adalah suatu kalimat yang nilai kebenarannya (benar atau salah) belum dapat
ditentukan. Salah satu ciri dari suatu kalimat terbuka adalah adanya
peubah/variabel. Tetapi apabila variabel diganti nilai tertentu akan.

2x + 3 = 11 (kalimat terbuka)
Contoh:
Y – 3 < 4 (kalimat terbuka)
Perhatikan contoh!!
Jika x diganti 3, diperoleh “2(3) + 3 = 11”, merupakan pernyataan salah.
Jika x diganti 4, diperoleh “2(4) + 3 = 11”, merupakan pernyataan benar.
Nilai x = 4 disebut penyelesaian dari kalimat terbuka itu.

UNIVERSITAS IMELDA MEDAN LOGO


Logika Matematika
Kesimpulan Kalimat Terbuka...
1. Kalimat terbuka dapat diubah menjadi pernyataan dengan cara mengganti
peubah pada himpunan semestanya.
2. Penyelesaian kalimat terbuka adalah nilai pengganti pada himpunan
semesta yang mengubah kalimat terbuka menjadi pernyataan yang benar.
3. Himpunan penyelesaian kalimat terbuka adalah suatu himpunan dengan
anggota-anggota merupakan penyelesaian dari terbuka itu.
Contoh:

1. Himpunan penyelesaian persamaan x + 3 = 8 (x peubah pada


himpunan bilangan real R) adalah HP = {5}
2. Himpunan penyelesaian persamaan x2 – 5x + 6 = 0 (x peubah pada
himpunan bilangan real R) adalah HP = {2,3}

UNIVERSITAS IMELDA MEDAN LOGO


Logika Matematika
Tentukan mana yang merupakan pernyataan dan bukan pernyataan :
1. 5 adalah bilangan prima.
2. 14 merupakan bilangan kelipatan 5
3. Siapakah yang tidak mengerjakan PR ?
4. Berapa umurmu ?
5. Bersihkan tempat tidurmu !
6. 2 adalah bilangan prima yang genap
7. Sejuk benar udara di sini !
8. Mudah-mudahan terkabul cita-citamu.
9. x + 3 > 9
10.Jarak antara kota M dengan Medan Kurang dari 50 Km

UNIVERSITAS IMELDA MEDAN LOGO


Pernyataan
Lambang pernyataan:
p, q, r , dst. (huruf kecil)
Nilai kebenaran pernyataan :
B (benar)
S (salah)
Contoh :
p : 5 adalah bilangan prima. (B)
q : 14 merupakan bilangan kelipatan 5. (S)

UNIVERSITAS IMELDA MEDAN LOGO


Ingkaran (Negasi)
Negasi adalah suatu pernyataan yang menyatakan kebaikan dan pernyataan sendiri

Lambang : “  “ atau “ - “
dibaca : tidak benar / bukan/ tidak

Ingkaran suau pernyataan menyatakan kebalikan dari pernyataan itu sendiri berarti
nilai kebenarannya adalah terbalik.
Jika p bernilai benar, maka q bernilai salah
Jika p bernilai salah, maka q bernilai benar

UNIVERSITAS IMELDA MEDAN LOGO


Ingkaran (Negasi)
Contoh negasi :
1. P : Medan merupakan ibukota propinsi sumatera utara
q : Tidak benar Medan merupakan ibukota propinsi sumatera utara
q : Medan bukan merupakan ibukota propinsi sumatera utara

2. P : 2 adalah faktor prima dari 25 Tabel Kebenaran


q : Tidak benar 2 adalah faktor prima dari 25
q : 2 bukan faktor prima dari 25 p q
3. P : semua pelajar tberbaju putih
B S
q : Tidak semua pelajar berbaju putih S B
q : beberapa pelajar tidak berbaju putih

4. P : Fauzia memakai kacamata


q : Tidak benar bahwa Fauzia memakai kacamata
q : Fauzia tidak memakai kacamata

UNIVERSITAS IMELDA MEDAN LOGO


Pernyataan Majemuk
Pernyataan majemuk terdiri dari satu atau lebih
pernyataan sederhana (tunggal) yang dihubungkan
dengan kata hubung kalimat (connective) tertentu.
Dalam bahasa Indonesia kita sering menggunakan
kata-kata “tidak”, “dan”, “atau”, “jika. . . maka. . .”,
“jika dan hanya jika”

UNIVERSITAS IMELDA MEDAN LOGO


Pernyataan Majemuk
Kebenaran suatu pernyataan majemuk adalah :

- Konjungsi

- Disjungsi

- Implikasi

- Biimplikasi

UNIVERSITAS IMELDA MEDAN LOGO


Konjungsi
Konjungsi adalah pernyataan majemuk yang menggunakan kata hubung
“dan”, “and”.

Notasinya : “”.
Tabel kebenaran konjungsi

p^q p q pq
B B B
Dibaca: p dan q
B S S
S B S
S S S

“ Suatu konjungsi bernilai benar hanya bila ke dua pernyataan


tunggalnya bernilai benar ”

UNIVERSITAS IMELDA MEDAN LOGO


Konjungsi
Analisa contoh soal dibawah ini ....!
1. Jika p : Padang adalah ibukota Indonesia (S), dan
q : 36 adalah bilangan kuadrat (B).
pq : Padang adalah ibukota Indonesia dan 36 adalah
bilangan kuadrat (S)

2. Jika p : Bunga mawar berbau harum (B), dan


q : Bunga matahari berwarna biru (S)
pq : Bunga mawar berbau harum dan bunga matahari
berwarna biru (S)

3. Jika p : 2 + 3 < 6 (B), dan


q : Sang Saka bendera RI (B)
p∧q : 2 + 3 < 6 dan Sang Saka bendera RI (B)

4. Jika p : 4 ≠ 2 (S), dan


q : Taufik Hidayat adalah Perempuan (S)
p ∧ q : 4 ≠ 2 dan Taufik Hidayat adalah Perempuan (S)

UNIVERSITAS IMELDA MEDAN LOGO


Disjungsi
Disjungsi adalah pernyataan majemuk yang menggunakan kata hubung
“atau”.

Dalam Logika Matematika, dibedakan dua macam disjungsi yaitu :


• Disjungsi Inklusif (or) (dengan notasi ”  ”)
• Disjungsi Eksklusif (xor) (dengan notasi ”  ”).

UNIVERSITAS IMELDA MEDAN LOGO


Disjungsi
Analisa contoh dibawah ini....!!

Inclusive or
“atau” berarti “p atau q atau keduanya”
Contoh:
“Tenaga IT yang dibutuhkan menguasai Bahasa C++ atau Java”.

Exclusive or (xor)
“atau” berarti “p atau q tetapi bukan keduanya”.
Contoh:
“Ia lahir di Bandung atau di Padang”.

UNIVERSITAS IMELDA MEDAN LOGO


Disjungsi
Defenisi

Suatu disjungsi inklusif bernilai benar bila sekurang-kurangnya salah satu pernyataan
tunggalnya benar.

Suatu disjungsi eksklusif bernilai benar bila salah satu (dan tidak kedua-duanya) dari pernyataan
tunggalnya benar

UNIVERSITAS IMELDA MEDAN LOGO


Disjungsi
Tentukan jenis disjungsi pernyataan dibawah ini...!!!

“Pada Pukul 9 malam nanti, saya akan belajar atau


tidur”.

“Orang yang boleh memilih dalam pemilu adalah WNI


yang berumur di atas 17 tahun atau sudah menikah”.

UNIVERSITAS IMELDA MEDAN LOGO


Disjungsi

Tabel kebenaran Disjungsi


(Disjungsi Inklusif)
p q pvq
Tabel kebenaran Disjungsi
B B B
Khusus (Disjungsi Ekslusif)
B S B
S B B p q pq
S S S B B S
B S B
S B B
S S S

UNIVERSITAS IMELDA MEDAN LOGO


Latihan

MENGKOMBINASIKAN PROPOSISI
(PERNYATAAN) DENGAN OPERATOR
LOGIKA

UNIVERSITAS IMELDA MEDAN LOGO


Latihan
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)

q : Tidak benar murid-murid diliburkan sekolah


(atau : Hari ini murid-murid tidak diliburkan sekolah)

UNIVERSITAS IMELDA MEDAN LOGO


Latihan
Diketahui proposisi-proposisi berikut...!!!

p : Hari ini hujan


q : Hari ini dingin

q  p : …………..?

 p   q : …………..?

 (p) : …………..?

UNIVERSITAS IMELDA MEDAN LOGO


Implikasi
Implikasi adalah pernyataan majemuk yang menggunakan kata hubung
“jika...maka..”
Notasinya: Tabel kebenaran implikasi:

pq p q pq
Dibaca: Jika p, maka q B B B
B S S
“Proposisi P” disebut premis atau S B B
kondisi atau anteseden
S S B
“Proposisi q” disebut konklusi atau
akibat.

UNIVERSITAS IMELDA MEDAN LOGO


Implikasi
Penjelasan tabel kebenaran implikasi dengan contoh...

Dosen : “Jika nilai ujian akhir anda 80 atau lebih, maka anda
akan mendapat nilai A untuk kuliah ini”.
 
Apakah dosen anda mengatakan kebenaran atau dia berbohong?
Tinjau empat kasus berikut ini:

x : …..?
y : …..?

UNIVERSITAS IMELDA MEDAN LOGO


Implikasi
Cara-cara mengekspresikan implikasi p  q :

a) Jika p, maka q
b) Jika p, q
c) p mengakibatkan q
d) q jika p
e) p hanya jika q
f) p syarat cukup agar q
g) q syarat perlu untuk p
h) q bilamana p

UNIVERSITAS IMELDA MEDAN LOGO


Implikasi
Contoh implikasi dalam kehidupan.....
 Untuk menyatakan suatu syarat:
“Jika kamu tidak membeli karcis, maka kamu tidak akan
diperbolehkan masuk”.

 Untuk menyatakan suatu hubungan sebab akibat:


” Jika kehujanan, maka Tono pasti sakit”.

 Untuk menyatakan suatu tanda:


”Jika bel berbunyi, maka mahasiswa masuk ke dalam
ruang kuliah”.

UNIVERSITAS IMELDA MEDAN LOGO


Implikasi
Latihan : Ubahlah c sampai h pada contoh di bawah ke
dalam bentuk proposisi “jika p maka q”

a) Jika hari hujan, maka tanaman akan tumbuh subur.


b) Jika tekanan gas diperbesar, mobil melaju kencang.
c) Es yang mencair di kutub mengakibatkan permukaan air laut naik.
d) Orang itu mau berangkat jika ia diberi ongkos jalan.
e) Ahmad bisa mengambil matakuliah Teori Bahasa Formal hanya jika ia
sudah lulus matakuliah Matematika Diskrit.
f) Syarat cukup agar pom bensin meledak adalah percikan api dari rokok.
g) Syarat perlu bagi Indonesia agar ikut Piala Dunia adalah dengan
mengontrak pemain asing kenamaan.
h) Banjir bandang terjadi bilamana hutan ditebangi.

UNIVERSITAS IMELDA MEDAN LOGO


Biimplikasi
Biimplikasi adalah pernyataan majemuk yang menggunakan kata hubung
“jika....dan hanya jika.....”
Notasinya:

pq Tabel kebenaran biimplikasi:


Dibaca: Jika p, dan hanya jika q p q pq
Biimplikasi ekuivalen dengan B B B
“Jika p maka q dan jika q maka p” B S S
Lambang : (p  q)  (q  p) S B S
Buktikan dengan tabel kebenaran S S B

UNIVERSITAS IMELDA MEDAN LOGO


Biimplikasi
Analisa contoh dibawah ini untuk pemahaman biimplikasi...

1. Air membeku jika dan hanya jika suhu air dibawah 0° C

2. Dua garis tidak berpotongan jika dan hanya jika dua garis sejajar

3. Segitiga ABC samasisi jika dan hanya jika sudut A = sudut B = sudut C = 60°

UNIVERSITAS IMELDA MEDAN LOGO


Biimplikasi
Tentukan nilai kebenaran biimplikasi dibawah ini...!!

a. 20 + 7 = 27 jika dan hanya jika 27 bukan bilangan prima.


B B
τ (p) = B, τ (q) = B. Jadi, τ (p q) = B.

b. 2 + 5 = 7 jika dan hanya jika 7 adalah bilangan genap.


B S
τ (p) = B, τ (q) = S. Jadi, τ (p q) = S.

c. tan2 45° + sin 2 30° = 2 jika dan hanya jika tan2 45° = 2
S S
τ (p) = S, τ (q) = S. Jadi, τ (p q) = B.

UNIVERSITAS IMELDA MEDAN LOGO


Pernyataan Majemuk Bersusun

Dibentuk oleh lebih dari dua pernyataan tunggal, lebih ari dua pernyataan
majemuk.

Contoh :
•  ( p   q )
• (pq)(pq)
•  p  ( q  r )
• [ p  (q  r )]  [ p  ( q   r )]

UNIVERSITAS IMELDA MEDAN LOGO


Pernyataan Majemuk Bersusun

Penyelesaian nya...

1.  ( p   q )

UNIVERSITAS IMELDA MEDAN LOGO


Pernyataan Majemuk Bersusun

Penyelesaian Lanjutan...

2. ( p  q )  ( p  q )

UNIVERSITAS IMELDA MEDAN LOGO


Pernyataan Majemuk Bersusun

Penyelesaian Lanjutan.....

3.  p  ( q  r )

UNIVERSITAS IMELDA MEDAN LOGO


Pernyataan Majemuk Bersusun

Penyelesaian Lanjutan....

4. [ p  (q  r )]  [ p  ( q   r )]

UNIVERSITAS IMELDA MEDAN LOGO


Tautologi, Kontradiksi, Kontigensi

Tautologi adalah suatu bentuk pernyataan yang selalu bernilai benar (B), tidak peduli
bagaimanapun nilai kebenaran masing-masing pernyataan penyusunnya.
contoh : (p  q)  q

Kontradiksi adalah suatu bentuk pernyataan yang selalu bernilai salah (S), tidak peduli
bagaimanapun nilai kebenaran masing-masing pernyataan penyusunnya.
contoh : (p  q)   (p  q) , (p   p) ,  (p   p)

Kontigensi adalah pernyataan yang bukan tautologi maupun kontradiksi


Contoh :  (p   q)

UNIVERSITAS IMELDA MEDAN LOGO


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

UNIVERSITAS IMELDA MEDAN LOGO


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

UNIVERSITAS IMELDA MEDAN LOGO


Ekuivalen
Tentukan dengan tabel kebenaran apakah pasangan pernyataan-pernyataan
dibawah ini ekuivalen :

1.  ( p) ≡ p

2.  (p  q) ≡  p   q

3. pq≡pq

Nb : Dua pernyataan disebut ekuivalen (secara logika) bila dan hanya bila
keduanya memiliki nilai kebenaran yang sama untuk semua substitusi nilai
kebenaran masing-masing kalimat penyusunnya.

UNIVERSITAS IMELDA MEDAN LOGO


Contoh Ekuivalen
p  ~ (p  q) dan p  ~q keduanya ekivalen secara logika.

Penyelesaian :

p  ~(p  q ) ≡ p  (~p  ~q) (Hukum De Morgan)


≡ (p  ~p)  (p  ~q) (Hukum distributif)
≡ T  (p  ~q) (Hukum negasi)
≡ p  ~q (Hukum identitas)

UNIVERSITAS IMELDA MEDAN LOGO


Contoh Ekuivalen
p  (p  q) ≡ p keduanya ekivalen secara logika.

Penyelesaian:

p  (p  q) ≡ (p  F)  (p  q) (Hukum Identitas)
≡ p  (F  q) (Hukum distributif)
≡ pF (Hukum Null)
≡ p (Hukum Identitas)

UNIVERSITAS IMELDA MEDAN LOGO


Ekuivalen Ingkaran Konjungsi dan
Ingkaran Disjungsi

Berdasarkan “Hukum De Morgan”

INGKARAN KONJUNGSI
 (p  q) ≡  p   q
INGKARAN DISJUNGSI
 (p  q) ≡  p   q

Untuk melakukan pembuktian…!!!


Buat tabel kebenaran yang memuat
p, q, p, q, (p  q), (p  q),  , (p  q), (p  q), p   q, p   q

UNIVERSITAS IMELDA MEDAN LOGO


Ekuivalen Ingkaran Konjungsi dan
Ingkaran Disjungsi

Berdasarkan “Hukum De Morgan”

Tentukan ingkaran dari pernyataan berikut :


1. Heru dan Andika lulus SPMB
2. Tujuh adalah bilangan ganjil atau besi adalah benda cair

Penyelesaian….
3. p : Heru lulus SPMB ~p : Heru tidak lulus SPMB
q : Andika lulus SPMB ~q : Andika tidak lulus SPMB
 (p  q) ≡  p   q
Heru tidak lulus SPMB atau Andika tidak lulus SPMB atau
Heru atau Andika tidak lulus SPMB

UNIVERSITAS IMELDA MEDAN LOGO


Ekuivalen Ingkaran Konjungsi dan
Ingkaran Disjungsi

Berdasarkan “Hukum De Morgan”

Tentukan ingkaran dari pernyataan berikut :


1. Heru dan Andika lulus SPMB
2. Tujuh adalah bilangan ganjil atau besi adalah benda cair

Penyelesaian….
2. p : 7 bilangan ganjil ~p : 7 bukan bilangan ganjil
q : besi adalah benda cair ~q : besi bukan adalah benda cair
 (p  q) ≡  p   q
Tujuh bukan bilangan ganjil dan besi bukan benda cair

UNIVERSITAS IMELDA MEDAN LOGO


Ekuivalen Ingkaran Implikasi dan
Ingkaran Biimplikasi

Berdasarkan “Hukum De Morgan”

INGKARAN IMPLIKASI
 (p  q) ≡ p   q
INGKARAN BIIMPLIKASI
 (p  q) ≡ (p   q)  (q   p)

Untuk melakukan pembuktian…!!!


Buat tabel kebenaran yang memuat
p, q, p, q, (p  q), (p  q),  , (p  q), (p  q), p   q, p   q

UNIVERSITAS IMELDA MEDAN LOGO


Ekuivalen Ingkaran Implikasi dan
Ingkaran Biimplikasi

Berdasarkan “Hukum De Morgan”

Tentukan ingkaran dari pernyataan berikut :


1. Jika hari ini tidak turun hujan maka ia pergi jalan-jalan
2. Jika Pak Bondan seorang profesor maka ia seorang dosen

Penyelesaian….
3. p : hari ini tidak turun hujan ~p : hari ini turun hujan
q : ia pergi jalan-jalan ~q : ia tidak pergi jalan-jalan
 (p  q) ≡ p   q
Hari ini tidak turun hujan maka ia tidak pergi jalan-jalan

UNIVERSITAS IMELDA MEDAN LOGO


Ekuivalen Ingkaran implikasi dan
Ingkaran biimplikasi

Berdasarkan “Hukum De Morgan”


Tentukan ingkaran dari pernyataan berikut :
1. Jika hari ini tidak turun hujan maka ia pergi jalan-jalan
2. Jika Pak Bondan seorang profesor maka ia seorang dosen

Penyelesaian….
2. p : Pak Bondan seorang profesor ~p : Pak Bondan bukan seorang profesor
q : ia seorang dosen ~q : ia bukan seorang dosen
 (p  q) ≡ p   q
Pak Bondan seorang profesor tapi bukan seorang dosen

UNIVERSITAS IMELDA MEDAN LOGO


Ekuivalen Bikondisional

Bila dua proposisi majemuk yang ekuivalen di-bikondisionalkan


maka hasilnya adalah tautologi.

Teorema:
Dua buah proposisi majemuk, P(p, q, ..) dan Q(p, q, ..)
disebut ekivalen secara logika, dilambangkan dengan P(p,
q, …)  Q(p, q, …), jika P  Q adalah tautologi.

Contoh…. : p q ≡ (p  q)  (q  p)

UNIVERSITAS IMELDA MEDAN LOGO


Ekuivalen Bikondisional

Tabel kebenaran untuk membuktikan kalau dua proposisi majemuk


yang ekuivalen di-bikondisionalkan, maka hasilnya adalah tautologi.

p q ≡ (p  q)  (q  p)

UNIVERSITAS IMELDA MEDAN LOGO


Ekuivalen Bikondisional

Tabel kebenaran untuk membuktikan kalau dua proposisi majemuk


yang ekuivalen di-bikondisionalkan, maka hasilnya adalah tautologi.

~ (p  q) ≡ ~ p  ~ q

UNIVERSITAS IMELDA MEDAN LOGO


Analisa kasus ini, dan
coba jawab…

UNIVERSITAS IMELDA MEDAN LOGO


Latihan Individu
1. p = Komputer itu mahal
q = Komputer itu memiliki kualitas yang bagus

Tulislah dengan kalimat!


1. p ^ q
2. -(-p)
3. p ^ -q
4. -p ^ -q
5. - (-p v –q)
6. P v (-p ^ q)
7. - ( -p ^ -q)

UNIVERSITAS IMELDA MEDAN LOGO


Latihan Individu
2. a = Ida adalah gadis cantik
b = Ida berambut keriting

Tuliskanlah pernyataan berikut ini menggunakan logika


matematika!
1. Tidak benar bahwa ida bukan gadis cantik
2. Ida adalah gadis cantik yang berambut keriting
3. Ida bukan gadis cantik tetapi berambut keriting
4. Ida adalah gadis cantik yang tidak berambut keriting
5. Tidak benar Ida bukan gadis cantik dan berambut keriting
6. Ida berambut keriting tetapi bukan gadis cantik

UNIVERSITAS IMELDA MEDAN LOGO


Latihan Individu

3. Biimplikasi pernyataan berikut ini dan aplikasikan ke dalam tabel


kebenaran!

a. 8 + 3 = 12 jika dan hanya jika 15 : 3 = 5


b. 8 lebih besar dari 13 jika dan hanya jika 8 membagi habis 13
c. 13 suatu bilangan prima jika dan hanya jika 13 terbagi habis oleh 3
d. 15 terbagi habis oleh 6 jika dan hanya jika 15 = 3 x 5

UNIVERSITAS IMELDA MEDAN LOGO


Latihan Individu
4. Lengkapilah tabel kebenaran ini dan carilah yang ekuivalen!

UNIVERSITAS IMELDA MEDAN LOGO


TERIMA
KASIH

UNIVERSITAS IMELDA MEDAN LOGO

Anda mungkin juga menyukai