Anda di halaman 1dari 389

FMIPA-UNEJ

Daftar Isi

Judul

0 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

FMIPA-UNEJ

PENGANTAR LOGIKA MATEMATIKA


(PLM)

Daftar Isi

Judul

1 dari 388

Drs. I. M. Tirta, Dip.Sc, M.Sc., Ph.D.


itirta@unej.ac.id

Cari Halaman

Kembali

November 2, 2010
Layar Penuh

Tutup

Keluar

FMIPA-UNEJ

Daftar Isi

Judul

2 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

FMIPA-UNEJ

Daftar Isi

DAFTAR ISI

Judul

3 dari 388

1 PERNYATAAN 1.1 Pengertian Umum Logika . . . . . 1.1.1 Notasi . . . . . . . . . . . 1.1.2 Denisi . . . . . . . . . . . 1.2 Pernyataan Tunggal dan Negasinya 1.2.1 Pengertian Pernyataan . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

17 21 22 24 28 28

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

1.3

1.4 1.5 1.6 1.7

1.8 1.9

1.2.2 Pernyataan Tunggal . . . . . . . . . 1.2.3 Negasi Pernyataan Tunggal . . . . . Pernyataan majemuk dan negasinya . . . . . 1.3.1 Perakit Konjungsi (dan) . . . . . . . 1.3.2 Perakit Disjungsi (atau) . . . . . . . Tautologi dan Kontradiksi . . . . . . . . . . Aljabar pernyataan . . . . . . . . . . . . . . Bentuk Rangkap dan Prinsip Kerangkapan . Perakit-perakit Lain . . . . . . . . . . . . . 1.7.1 Perakit Disjungsi eksklusif . . . . . . 1.7.2 Fungsi / Operator Stroke dan Dagger Bacaan Lebih Lanjut . . . . . . . . . . . . . Soal-soal Latihan . . . . . . . . . . . . . . .

. . . . . . . . . . . . .

. . . . . . . . . . . . .

. . . . . . . . . . . . .

. . . . . . . . . . . . .

. . . . . . . . . . . . .

. . . . . . . . . . . . .

. . . . . . . . . . . . .

31 33 36 36 39 43 46 49 54 54 56 60 61 67 71 77 80 83 87

FMIPA-UNEJ

Daftar Isi

Judul

4 dari 388

2 PERNYATAAN BERSYARAT/KONDISIONAL 2.1 Implikasi . . . . . . . . . . . . . . . . . 2.2 Implikasi dan variasinya . . . . . . . . . 2.3 Biimplikasi . . . . . . . . . . . . . . . . 2.4 Implikasi Logis dan Ekuivalensi Logis . . 2.5 Negasi Pernyataan Bersyarat . . . . . . .

Cari Halaman

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

Kembali

Layar Penuh

Tutup

Keluar

2.6

2.7 2.8

Hirarki perakit dan Notasi Lukasiewicz 2.6.1 Hirarki perakit . . . . . . . . . 2.6.2 Notasi Lukasiewicz . . . . . . . Bacaan Lebih Lanjut . . . . . . . . . . Soal-soal Latihan . . . . . . . . . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

90 90 91 95 96 103 107 109 110 113 116 118 121 125 128 140 141

FMIPA-UNEJ

Daftar Isi

3 KARAKTERISTIK, BENTUK NORMAL DAN APLIKASINYA 3.1 Karakteristik . . . . . . . . . . . . . . . . . . . . . . . 3.2 Bentuk Normal . . . . . . . . . . . . . . . . . . . . . . 3.2.1 Bentuk Normal Disjungtif (DNF) . . . . . . . . 3.2.2 Bentuk Normal Konjugtif (CNF) . . . . . . . . 3.3 Komplemen Bentuk Normal . . . . . . . . . . . . . . . 3.4 Translasi Bentuk Normal . . . . . . . . . . . . . . . . . 3.5 Aplikasi Bentuk Normal . . . . . . . . . . . . . . . . . 3.6 Aplikasi Logika dalam Aljabar Himpunan dan Listrik . . 3.7 Aljabar Jaringan Listrik atau Saklar . . . . . . . . . . . 3.8 Bacaan Lebih Lanjut . . . . . . . . . . . . . . . . . . . 3.9 Soal-soal Latihan . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . .

Judul

5 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

4 KUANTOR 4.1 Tetapan dan Peubah . . . . . . . . . . . . . . . . . . . 4.2 Kalimat matematika, kalimat terbuka, kalimat tertutup . 4.3 Kuantor . . . . . . . . . . . . . . . . . . . . . . . . . 4.3.1 Kuantor Universal . . . . . . . . . . . . . . . . 4.3.2 Kuantor Eksistensial . . . . . . . . . . . . . . . 4.4 Negasi Kuantor . . . . . . . . . . . . . . . . . . . . . . 4.5 Notasi lain untuk dan . . . . . . . . . . . . . . . . 4.6 Kuantor, Disjungsi, Konjungsi dan Implikasi . . . . . . . 4.7 Contoh Penyanggah/ Contoh Kontra . . . . . . . . . . 4.8 Kuantor dan kalimat terbuka lebih dari satu peubah . . 4.9 Beberapa Bentuk Khusus . . . . . . . . . . . . . . . . 4.10 Bacaan Lebih Lanjut . . . . . . . . . . . . . . . . . . . 4.11 Latihan . . . . . . . . . . . . . . . . . . . . . . . . . . 5 PENALARAN LOGIS 5.1 Argumen . . . . . . . . . . . . . . . 5.2 Bentuk-Bentuk Argumen Yang Valid 5.3 Pembuktian Tidak Langsung . . . . . 5.3.1 Pembuktian dengan Negasi .

. . . . . . . . . . . . .

143 147 150 155 155 156 159 163 164 167 169 174 178 179 187 191 195 204 204

FMIPA-UNEJ

Daftar Isi

Judul

6 dari 388

Cari Halaman

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

Kembali

Layar Penuh

Tutup

Keluar

5.4 5.5

5.6 5.7 5.8 5.9

5.3.2 Pembuktian dengan Kontradiksi . . . . . . . . . . 5.3.3 Pembuktian dengan Kontra Positif . . . . . . . . Induksi Matematika . . . . . . . . . . . . . . . . . . . . Argumen berkuantor . . . . . . . . . . . . . . . . . . . . 5.5.1 Translasi kuantor universal dan eksistensial . . . . 5.5.2 Spesikasi Universal, Spesikasi Eksistensial . . . 5.5.3 Generalisasi Universal dan Generalisasi Eksistensial Sesat Pikir . . . . . . . . . . . . . . . . . . . . . . . . . Sistem Deduktif dalam Matematika . . . . . . . . . . . . Bacaan Lebih Lanjut . . . . . . . . . . . . . . . . . . . . Soal-soal Latihan . . . . . . . . . . . . . . . . . . . . . .

206 207 209 212 212 214 215 218 220 222 223 229 233 240 246 246 252 256 260

FMIPA-UNEJ

Daftar Isi

Judul

6 HIMPUNAN 6.1 Denisi dan Jenis Himpunan . . . . . . . . . . 6.2 Relasi Himpunan . . . . . . . . . . . . . . . . 6.3 Operasi Himpunan . . . . . . . . . . . . . . . 6.3.1 Operasi Dasar Himpunan . . . . . . . 6.3.2 Sifat-sifat Operasi Himpunan . . . . . 6.3.3 Operasi Jumlah dan Selisih Himpunan . 6.4 Sifat-sifat Lanjut Relasi Himpunan bagian . .

7 dari 388

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

6.5 6.6 6.7

Penggunaan Himpunan dalam Silogisme . . . . . . . . . . 268 Bacaan Lebih Lanjut . . . . . . . . . . . . . . . . . . . . 279 Soal-soal Latihan . . . . . . . . . . . . . . . . . . . . . . 280
FMIPA-UNEJ

7 HIMPUNAN BILANGAN 7.1 Himpunan Bilangan Asli . . . . . . . . . . . . . . . . . . 7.2 Himpuan Bilangan Cacah . . . . . . . . . . . . . . . . . 7.3 Himpuan Bilangan Bulat . . . . . . . . . . . . . . . . . . 7.4 Himpuan Bilangan Rasional . . . . . . . . . . . . . . . . 7.5 Himpunan Bilangan Irasional dan Himpunan Bilangan Riil 7.6 Perkembangan perhitungan . . . . . . . . . . . . . . . 7.7 Bacaan Lebih Lanjut . . . . . . . . . . . . . . . . . . . . 7.8 Soal-soal Latihan . . . . . . . . . . . . . . . . . . . . . . 8 PERKALIAN KARTESIUS, RELASI DAN 8.1 Perkalian Kartesius . . . . . . . . . 8.2 Relasi . . . . . . . . . . . . . . . . 8.3 Sifat-sifat Relasi . . . . . . . . . . 8.4 Penyajian Relasi dengan Matriks . . 8.5 Fungsi . . . . . . . . . . . . . . . FUNGSI . . . . . . . . . . . . . . . . . . . . . . . . .

285 290 295 297 298 300 304 308 309 311 315 318 321 328 334

Daftar Isi

Judul

8 dari 388

Cari Halaman

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

Kembali

Layar Penuh

Tutup

Keluar

8.6 8.7 8.8 8.9

Jenis-Jenis Fungsi . . . . . . . . Bentuk, Skala dan Lokasi Fungsi Bacaan Lebih Lanjut . . . . . . . Soal-soal Latihan . . . . . . . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

337 340 342 343 347 351 354 360 360 362 371 373

FMIPA-UNEJ

9 PENGANTAR LOGIKA DAN HIMPUNAN SAMAR 9.1 Konsep Dasar . . . . . . . . . . . . . . . . . . . . . . . 9.2 Logika bernilai tiga atau lebih . . . . . . . . . . . . . . . 9.3 Himpunan Samar . . . . . . . . . . . . . . . . . . . . . . 9.3.1 Himpunan dengan tiga atau lebih kategori keanggotaan . . . . . . . . . . . . . . . . . . . . . . . 9.3.2 Memodelkan tingkat keanggotaan kontinu dari himpunan . . . . . . . . . . . . . . . . . . . . . . . 9.4 Bacaan Lebih Lanjut . . . . . . . . . . . . . . . . . . . . GLOSARIUM

Daftar Isi

Judul

9 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

FMIPA-UNEJ

Daftar Isi

Judul

10 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

FMIPA-UNEJ

Daftar Isi

DAFTAR GAMBAR

Judul

11 dari 388

1.1 3.1 6.1 6.2

Diagram Pembagian kalimat . . . . . . . . . . . . . . .

29
Cari Halaman

Diagram Venn mengilustrasikan A B . . . . . . . . . 127


Kembali

Diagram Venn mengilustrasikan himpunan dan himpunanbagiannya . . . . . . . . . . . . . . . . . . . . . . 239 Diagram Venn mengilustrasikan relasi himpunan . . . . 243

Layar Penuh

Tutup

Keluar

6.3 6.4 6.5 6.6 6.7 6.8 6.9 6.10 6.11 6.12

Venn mengilustrasikan Ac . . . . . . . . . . . 247 Venn mengilustrasikan A B . . . . . . . . . 249 Venn mengilustrasikan A B . . . . . . . . . 251 Venn mengilustrasikan A/B dan A + B . . . 258 pohon mengilustrasikan subset himpunan . . 266 Diagram Venn untuk A B atau A B c = . . . . . . . 270 Diagram Venn A|| atau A B = . . . . . . . . . . . . . 271 Diagram Venn untuk A B = . . . . . . . . . . . . . . 272 Diagram Venn untuk A B c = . . . . . . . . . . . . . . 273 Diagram Venn untuk A||B dan B ||C1 ; B ||C2 , namun A||C1 , A C1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 275 6.13 Diagram Venn untuk A||B, C B , maka A||C . . . . . 276 6.14 Diagram Venn untuk A B, B C1 dan B C2 . Namun, A C1 dan A C2 . . . . . . . . . . . . . . . . . . . . 277 6.15 Diagram Venn untuk A B dan B C, maka A C . . 277 Diagram Diagram Diagram Diagram Diagram 7.1 7.2 8.1 Diagram Venn mengilustrasikan . . . . . . . . . . . . 300 Diagram mengilustrasikan . . . . . . . . . . . . . . . 304 Diagram kartesius mengilustrasikan A B . . . . . . . 316

FMIPA-UNEJ

Daftar Isi

Judul

12 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

8.2 8.3 8.4 8.5 8.6 8.7

Diagram panah mengilustrasikan relasi A ke B . . . . Diagram panah mengilustrasikan relasi A ke A . . . . Contoh Grak Relasi dari suatu himpunan ke dirinya sendiri dengan Software R . . . . . . . . . . . . . . . . Contoh Grak Relasi dari {a, b, c, d, e} ke {u, v, w, x, y, z } dengan Software R . . . . . . . . . . . . . . . . . . . . Diagram panah mengilustrasikan fungsi . . . . . . . . . Fungsi kuadrat yang mempunyai persamaan berbeda walau sebenarnya bentuk dan skalanya sama, tetapi lokasi berbeda . . . . . . . . . . . . . . . . . . . . . . . Grak Grak Grak Grak keanggotaan M1 . . . keanggotaan M2 . . . fungsi keanggotaan K fungsi keanggotaan J . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

319 326 330 333 334


FMIPA-UNEJ

Daftar Isi

Judul

341 364 365 368 369

9.1 9.2 9.3 9.4

13 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

FMIPA-UNEJ

Daftar Isi

Judul

14 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

FMIPA-UNEJ

Daftar Isi

DAFTAR TABEL

Judul

15 dari 388

1.1 2.1 3.1 3.2

Tabel Kebenaran Stroke dan Dagger . . . . . . . . . . Notasi Lukasiewicz . . . . . . . . . . . . . . . . . . . .

59
Cari Halaman

92
Kembali

Tabel kebenaran konjungsi, disjungsi, implikasi dan biimplikasi . . . . . . . . . . . . . . . . . . . . . . . . . . 107 Aljabar Boole . . . . . . . . . . . . . . . . . . . . . . . 126

Layar Penuh

Tutup

Keluar

7.1 7.2

Perhitungan secara analitik . . . . . . . . . . . . . . 306 Perhitungan dengan mesin . . . . . . . . . . . . . . . 307


FMIPA-UNEJ

Daftar Isi

Judul

16 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

FMIPA-UNEJ

BAB

1
PERNYATAAN

Daftar Isi

Judul

17 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Tujuan Umum
Setelah menyelesaikan materi pada bab ini diharapkan pembaca memahami pengertian umum logika, pengertian pernyataan tunggal maupun majemuk dan negasinya serta mampu menilai kalimat.
FMIPA-UNEJ

Daftar Isi

Judul

18 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Tujuan Khusus
Setelah menyelesaikan materi pada bab ini diharapkan pembaca dapat: 1. menyebutkan denisi logika; 2. menyebutkan pengertian pernyataan tunggal; 3. menentukan negasi sebuah pernyataan tunggal;
Judul FMIPA-UNEJ

Daftar Isi

4. membentuk kalimat majemuk dengan perakit dan, atau; 5. menentukan negasi kalimat mejemuk dengan perakit dan, atau; 6. menerapkan prinsip ganda pada kalimat majemuk; 7. menentukan apakah suatu pernyataan merupakan kontradiksi atau tautologi; 8. membuktikan ekuivalensi bentuk logika; 9. menyebutkan denisi perakit disjungsi eksklusif, dagger dan stroke.
Layar Penuh 19 dari 388

Cari Halaman

Kembali

Tutup

Keluar

Materi
1. Pengertian Umum Logika 2. Pengertian Pernyataan 3. Pernyataan Tunggal dan Negasinya 4. Pernyataan majemuk dan negasinya
Judul FMIPA-UNEJ

Daftar Isi

5. Tautologi dan Kontradiksi 6. Aljabar pernyataan 7. Bentuk Ganda dan Prinsip Kegandaan 8. Perakit-perakit Lain
Cari Halaman 20 dari 388

Kembali

Layar Penuh

Tutup

Keluar

1.1.

Pengertian Umum Logika


FMIPA-UNEJ

Denisi mengenai logika diberikan oleh para ahli dengan rumusan yang agak berbeda satu sama lain, tetapi artinya tidak jauh berbeda misalnya menurut Soekadijo [18] Logika adalah suatu studi yang sistimatik tentang struktur proposisi dan syarat-syarat umum mengenai penalaran yang sahih dengan menggunakan metode yang mengesampingkan isi atau bahan proposisi dan hanya membahas bentuk logisnya saja. Sejalan dengan pendapat di atas, menurut kamus matematika oleh Borowsky & Borwein [1], dijelaskan bahwa logika adalah prinsip dan metode khas yang dipergunakan dalam argumentasi atau penalaran yang tidak memperhatikan isi atau konteks dari bentuk penalaran. Logika yang mengesampingkan isi dari pernyataan dan hanya melihat bentuknya saja (terutama pada saat mengadakan penalaran), lebih dikenal dengan istilah logika formal, logika simbolik, logika modern atau logika matematika. Ciri lain dari logika matematika adalah penalarannya berdasarkan penalaran deduktif, yang didasarkan atas sejumlah unsur tak terdenisi (undine term), unsur terdenisi, asumsi dasar/ aksioma serta aturan-aturan tertentu yang daripadanya dapat diturunkan teorema-teorema. Keseluruhan ini mem-

Daftar Isi

Judul

21 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

bangun suatu sistem yang disebut sistem matematika. Lebih lanjut, dalam menetapkan deninsi maupun aksioma seorang matematisi sesungguhnya, tidak harus menghubungkannya dengan keadaan nyata (real world/ concrete situation), namun demikian yang terpenting, aksioma atau denisi yang dirumuskan haruslah konsisten tidak bertentangan satu dengan yang lain. Beberapa buku teks tentang logika simbolik atau logika matematika diantaranya adalah Copi [2], Gemignani [6], Thomas [20], dan Polimeni & Straight [15].

FMIPA-UNEJ

Daftar Isi

Judul

1.1.1.

Notasi
22 dari 388

Notasi adalah alat bantu untuk menyatakan sesuatu. Notasi menyingkat kalimat verbal yang panjang dengan suatu simbol yang ringkas. Tanpa menggunakan simbol kita akan mengulang-ulang beberapa kalimat seperti : Sembarang mahasiswa Universitas Jember atau Sembarang bilangan real dan lain-lain. Hal ini bukannya tidak mungkin dilakukan, tetapi tentu saja akan tidak esien. Sementara, dengan menggunakan simbol, istilah itu bisa dipersingkat menjadi Si-X atau X . Beberapa hal yang harus diperhatikan dalam penggunaan notasi

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

yang baik, antara lain, seperti diuraikan berikut. 1. Beberapa simbol tertentu, secara tetap sudah digunakan untuk menunjukkan hal-hal tertentu. Misalnya, notasi biasa digunakan sebagai lambang bilangan irasional 3,1415.... Demikian pula konsensus lainnya yang telah disepakati oleh para ahli harus tetap diikuti. Sebagai contoh dalam hubungannya dengan tetapan dan peubah, seperti pada y = ax2 + bx + c, disepakati bahwa hurup-hurup pertama abjad dipergunakan untuk melambangkan tetapan, sedangkan hurup-hurup akhir dipergunakan sebagai lambang peubah. 2. Sekali simbol telah diperkenalkan sebagai wakil suatu objek, maka secara konsisten, simbol tersebut sebisanya digunakan untuk objek tersebut. Jika suatu objek dapat disimbolkan dengan lebih dari satu macam simbol dan semua simbol itu akan digunakan tanpa suatu pengkhususan maka hal ini biasanya dijelaskan sejak awal. Sebaliknya jika suatu notasi terpaksa digunakan untuk objek lain, selain yang telah didenisikan, maka denisi baru harus diberikan. Hal ini mungkin terjadi mengingat

FMIPA-UNEJ

Daftar Isi

Judul

23 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

terbatasnya jumlah simbol yang bisa digunakan sebagai notasi sebaliknya sangat banyak objek yang harus dinotasikan.
FMIPA-UNEJ

1.1.2.

Denisi
Daftar Isi

Supaya arti istilah-istilah yang dipergunakan jelas, perlu ditetapkan denisi yang benar. Sekali suatu istilah didenisikan maka untuk selanjutnya istilah tersebut dipergunakan dalam arti yang sama. Jika suatu istilah tidak jelas denisinya maka tidak mustahil dia dipergunakan dalam arti yang berbeda-beda, hal ini dapat mengantarkan kita kepada hal yang salah. Menurut Borowsky & Borwein [1] denisi adalah pernyataan yang tepat tentang suatu istilah (disebut deniendum) dengan menggunakan istilah lain yang ekuivalen (disebut denien). Untuk merumuskan suatu denisi ada beberapa aturan yang perlu diikuti antara lain (Copi [2]): 1. Denisi sebaiknya menyatakan konotasi yang konvensional (yang disepakati) dari istilah yang didenisikan. Yang dimaksud dengan konotasi adalah sifat, karakteristik atau kualitas dari suatu

Judul

24 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

benda. 2. Denisi mestinya tidak berbelit-belit (tidak circular). Contoh denisi yang kurang baik adalah : Manusia adalah orang. Binatang adalah hewan dan sebagainya. 3. Denisi haruslah tidak terlalu luas ataupun terlalu sempit. Contoh denisi terlalu luas : Manusia adalah binatang berkaki dua. Denisi yang terlalu sempit misalnya : Mamalia adalah binatang berkaki empat. 4. Denisi tidak boleh menggunakan kata-kata yang samar-samar, harus lebih jelas dari yang didenisikan. Denisi tidak boleh dinyatakan dalam bahasa metaphora(kiasan /gurative) juga tidak boleh menggunakan kata-kata yang samar-samar (obscure). Salah satu tujuan perumusan denisi adalah menghilangkan ketidakjelasan dari istilah bukan sebaliknya membuat menjadi lebih samar/tidak jelas. 5. Denisi seharusnya tidak dinyatakan dalam kalimat negatif jika masih dapat dinyatakandengan kalimat positif. Denisi yang

FMIPA-UNEJ

Daftar Isi

Judul

25 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

kurang baik misalnya, bangku adalah mebel kayu tetapi bukan kursi dan bukan meja. Akan tetapi memang ada istilah yang harus didenisikan dalam bentuk kalimat negatif sepertibotak adalah kepala yang tidak mempunyai rambut. Unsur yang didenisikan disebut juga deniendum dan sejumlah symbol yang dipergunakan untuk menjelaskan deniendum tersebut dinamakan denien. Denisi yang menyatakan hubungan atara deniendum dengan denien degan tanda sama dengan (=) disebut denisi eksplisit. Contoh 1.1.
denisi

FMIPA-UNEJ

Daftar Isi

Judul

26 dari 388

= x x x x
denien
Cari Halaman

deniendum

Mendenisikan suatu istilah berarti menjelaskan istilah tersebut dengan menggunakan kata-kata (istilah) yang lain, maka ada tahapan kita harus menerima suatu istilah tertentu tanpa suatu denisi (selanjutnya ini disebut istilah tak terdenisi, undened term atau premitive symbol). Sebagaimana dikatakan oleh Bertrand Russel berikut :

Kembali

Layar Penuh

Tutup

Keluar

Since all terms that dened, are dened by means of other terms, it is clear that human knowledge must always be content to accept some terms as an intelligible denition, in order to have a starting-point for its denition. Selain denisi, dalam matematika atau logika ada beberapa istilah lain yang sering dipergunakan diantaranya adalah:aksioma,teorema atau dalil, asumsi.

FMIPA-UNEJ

Daftar Isi

Judul

27 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

1.2.
1.2.1.

Pernyataan Tunggal dan Negasinya


Pengertian Pernyataan
FMIPA-UNEJ

Pernyataan disebut juga : kalimat deklaratif, stetemen, proposisi, atau verbal assertion. Beberapa ahli ada yang membedakan istilah pernyataan dan proposisi, ada pula yang menyamakan saja. Dalam buku ini istilah-istilah tersebut dipergunakan dengan arti yang sama dan dipakai secara acak. Sebelum kita membicarakan lebih lanjut tentang kalimat deklaratif ini, ada baiknya kita lihat pembagian kalimat yang umum dilakukan dalam matematika.

Daftar Isi

Judul

28 dari 388

Denisi 1.1. Pernyataan adalah suatu kalimat yang bernilai benar atau salah tetapi tidak dua-duanya.
Cari Halaman

Istilah benar dan salah dapat dijadikan sebagai suatu istilah tak terdenisikan karena bisa kita anggap jelas pernyataan yang bernilai benar dan pernyataan yang bernilai salah. Dengan demikian, tidak perlu lagi didenisikan apa yang dimaksud pernyataan bernilai benar

Kembali

Layar Penuh

Tutup

Keluar

FMIPA-UNEJ

Daftar Isi

Judul

 



29 dari 388

Cari Halaman

Gambar 1.1: Diagram pembagian kalimat dilihat dari nilai logikanya


Kembali

Layar Penuh

Tutup

Keluar

atau pernyataan bernilai salah. Contoh 1.2. Contoh pernyataan diantaranya: 1. Lima(5) adalah bilangan prima 2. Jakarta adalah ibukota negara Republik Indonesia 3. Dua (2) adalah bilangan prima yang genap
Judul FMIPA-UNEJ

Daftar Isi

4. Saat ini di ruang 1 Matematika MIPA sedang ada kuliah. Benar tidaknya kalimat pertama sampai ketiga dapat segera ditentukan, sedangkan pada kalimat terakhir untuk menentukan benar atau tidaknya perlu diadakan observasi. Pernyataan yang langsung dapat dinyatakan benar atau tidaknya disebut pernyataan absolut/mutlak. Sedangkan pernyataan yang tidak segera diketahui kebenaran atau tidaknya dinamakan pernyataan empirik. Untuk memudahkan pembahasan, kita lebih banyak membicarakan pernyataan yang absolut. Dari segi matematika atau logika, kalimat-kalimat seperti: lima (5) mencintai 3; ayah habis dibagi anak; tidak dikatakan sebagai

30 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

pernyataan salah, tetapi disebut kalimat yang tidak bermakna (tidak benar, tidak salah). Hal ini akan menjadi lebih jelas setelah kita membicarakan nilai kebenaran suatu pernyataan.
FMIPA-UNEJ

1.2.2.

Pernyataan Tunggal

Daftar Isi

Secara tata bahasa, sebuah kalimat atau pernyataan harus memiliki pokok kalimat atau pokok persoalan dan kata kerja yang menggambarkan apa yang dilakukan atau terjadi pada pokok persoalan tadi. Pernyataan yang hanya memuat satu pokok persoalan disebut pernyataan tunggal.

Judul

31 dari 388

Denisi 1.2. Pernyataan tunggal adalah pernyataan yang hanya memuat satu pokok persoalan atau satu ide.

Cari Halaman

Kembali

Pernyataan tunggal pada umumnya dinyatakan dengan hurufhuruf kecil seperti p, q, dan r.

Layar Penuh

Tutup

Keluar

Contoh 1.3. Berikut ini adalah beberapa contoh kalimat tunggal p : Lima (5) adalah bilangan prima q : Sembilan (9) adalah bilangan sempurna r : Sepuluh (10) adalah bilangan berlebih/abundan abundan Kebenaran atau ketidakbenaran suatu pernyataan dinamakan nilai kebenaran atau nilai logik (truth value) dari pernyataan tersebut dan diotasikan dengan (p). Sebagai simbol dari benar biasa di pakai B (benar), R (right), T (true) atau 1 sedangkan simbol salah digunakan S (salah), W (wrong), F (false) atau 0. Penggunaan notasi nilai kebenaran ini harus berpasangan (B-S, R-W,T-F, l-0). Jadi, pada contoh di atas (i) nilai kebenaran p adalah benar, (p) = 1; (ii) nilai kebenaran q adalah salah, (q ) = 0 dan (iii) nilai kebenaran r adalah salah, (r) = 0. Nilai kebenaran pernyataan dapat pula disusun dalam suatu tabel yang disebut tabel kebenaran (truth table).

FMIPA-UNEJ

Daftar Isi

Judul

32 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

p 1 0

p 0 1
FMIPA-UNEJ

1.2.3.

Negasi Pernyataan Tunggal


Daftar Isi

Denisi 1.3. Negasi dari pernyataan p adalah suatu pernyataan yang bernilai salah jika p benar dan bernilai benar jika p salah. (p) = 1 jika (p) = 0 dan (p) = 0 jika (p) = 1. (1.1)

Judul

Negasi dari p dinotasikan dengan p atau p atau p. (dibaca negasi p ,tidak p , bukan p atau ingkaran p). Jika pernyataan p dan negasinya di buat tabel kebenarannya maka kita peroleh tabel kebenaran dari p seperti tabel di sebelah kiri. Contoh 1.4. Buatlah negasi dari kalimat/ pernyataan-pernyataan berikut :

33 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

p : Lima (5) adalah bilangan prima; q : sepuluh (10) adalah bilangan abundan. Jawab : Untuk mencari negasi yang tepat dari pernyataan-pernyataan tersebut pertama kita buat pernyataan berikut : p : tidak benar 5 adalah bilangan prima; : lima (5) adalah bukan bilangan prima; q : tidak benar 10 adalah bilangan abundan/ berlebih; : sepuluh (10) adalah bukan bilangan abundan/berlebih. Babarapa hal yang harus diperhatikan terkait denisi dan negasi. 1. Kata sifat tidak bisa dijadikan sebagai unsur tak terdenisi (undened term ). Jika kata-kata seperti ini dibuat untuk membuat pernyataan, maka harus didenisikan terlebih dahulu. Misalnya pada kalimat Ani anak yang pandai, selain butuh observasi juga harus didenisikan terlebih dahulu tentang kriteria pandai, sehingga tidak menimbulkan penafsiran berbeda1 .
Logika yang berkaitan dengan kata sifat dibahas pada bagian logika samar (fuzzy logics)
1 FMIPA-UNEJ

Daftar Isi

Judul

34 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

2. Jika suatu pernyataan bernilai benar, maka negasinya bernilai salah. Jika pernyataan dan negasinya tidak bisa dinilai benar atau salah maka kalimat tersebut dikatakan kalimat tak bermakna (lihat pembangian kalimat pada Gambar 1.1). Misalnya, kalimatkalimat berikut p : kakak habis dibagi adik, dan p : kakak tidak habis dibagi adik, keduanya tidak bisa dinilai benar atau salah sehingga keduanya bukan merupakan pernyataan. 3. Dilihat dari jumlah faktor-faktor sejatinya (termasuk 1) bilangan dibedakan menjadi bilangan abundan, bilangan sempurna, dan bilangan desien berkurang

FMIPA-UNEJ

Daftar Isi

Judul

35 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

1.3.

Pernyataan majemuk dan negasinya


FMIPA-UNEJ

Beberapa kalimat tunggal, p, q , dapat digabung dengan menggunakan kata penghubung sehingga membentuk pernyataan baru seperti: p dan q, p atau q, p yang q dan sebagainya. Pernyataan baru ini disebut pernyataan majemuk. Kata-kata penghubung kedua pernyataan biasa disebut konektor atau perakit. Berikut dibahas beberapa perakit dasar beserta tabel kebenarannya.

Daftar Isi

Judul

1.3.1.

Perakit Konjungsi (dan)


36 dari 388

Salah satu cara menggabungkan pernyataan adalah dengan menggunakan kata hubung dan. Dalam logika penghubung ini disebut konjungsi. Denisi 1.4. Konjungsi dari p dan q (ditulis :p q , dibaca p dan q ) adalah pernyataan majemuk yang bernilai benar hanya apabila masing-masing p, maupun q bernilai benar. Sedangkan untuk keadaan lain maka dia bernilai salah.

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

p 1 1 0 0

q 1 0 1 0

pq 1 0 0 0

FMIPA-UNEJ

Daftar Isi

Beberapa simbol yang sering digunakan untuk perakit dan ini adalah : p q , p q, p & q atau pq . Dari denisi di atas dapat dibuat tabel kebenaran untuk p q seperti pada tabel di sebelah. Dalam membuat tabel kebenaran, banyaknya pasangan yang bisa dibuat dari n pernyataan/ kalimat penyusun adalah 2n , ini disebabkan karena untuk setiap pernyataan hanya ada 2 nilai yang mungkin (0 atau 1). Perakit konjungsi disebut juga perakit penyertaan, karena harus menyertakan semua komponenkomponennya dan bernilai benar hanya jika semua komponennya benar. Dalam kehidupan sehari -hari banyak kata hubung lain yang mempunyai arti yang sama dengan dan yaitu : yang, tetapi, meskipun, maupun.

Judul

37 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Contoh 1.5. Diketahui: p : dua (2) adalah bilangan genap q : dua (2) adalah bilangan prima. Konjungsi p q dapat dinyatakan sebagai: p q : dua (2) adalah bilangan genap dan prima; p q : dua (2) adalah bilangan genap yang prima. Contoh 1.6. Diketahui : r : Ani adalah anak yang rendah hati; s : Ani adalah anak yang pandai. Maka konjungsi r dan s adalah r s : Ani adalah anak yang rendah hati meskipun pandai. Dalam matematika ada beberapa konsep yang harus dihubungkan dengan konjungsi. Contoh 1.7. Jika xy < 0 x>0 x<0 Jika xy 0 maka x 0 x0 maka dan dan dan dan y y y y < 0, atau > 0. 0, atau 0.
FMIPA-UNEJ

Daftar Isi

Judul

38 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

1.3.2.

Perakit Disjungsi (atau)

Selain dengan kata hubung dan pernyataan-pernyataan dapat juga digabung dengan menggunakan kata hubung atau. Kata hubung ini dalam logika disebut perakit disjungsi. Denisi 1.5. Disjungsi dari pernyataan p dan q adalah pernyataan yang dibaca p atau q . Pernyataan ini bernilai salah hanya apabila masing-masing p dan q salah. Sedangkan untuk keadaan lain ia bernilai benar. Notasi : notasi yang umum digunakan untuk perakit disjungsi adalah : p q ; p + q . (p q ) = 1 jika (p) = 1 atau (q ) = 1 atau (p) = (q ) = 1 (1.2) Sesuai dengan denisinya, maka tabel kebenaran disjungsi ini adalah seperti pada tabel di sebelah. Disjungsi disebut juga alternatif, karena cukup salah satu saja komponennya benar maka disjungsinya benar. Disjungsi yang diden-

FMIPA-UNEJ

Daftar Isi

Judul

39 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

p 1 1 0 0

q 1 0 1 0

pq 1 1 1 0

FMIPA-UNEJ

Daftar Isi

isikan seperti di atas disebut disjungsi inklusif (lemah/ weak). Disjungsi ini yang banyak dibicarakan dalam matematika dan jika dikatakan p atau q maka yang dimaksud adalah disjungsi inklusif ini. Contoh 1.8. Diketahui:

Judul

40 dari 388

(i) . Jakarta ada dipulau Jawa atau 2 + 3 = 5; (ii) . sin 90o = 1 atau 2 3 = 9; (iii) . akar sembilan ( 9) adalah irasional atau 3 + 7 = 9; (iv) . tujuh (7) adalah bilangan komposit atau 8 adalah bilangan prima.
Layar Penuh Cari Halaman

Kembali

Tentukan nilai kebenaran pernyataan di atas.


Tutup

Keluar

Jawab: Dengan mudah dapat dipahami bahwa nilai kebenaran kalimatkalimat di atas adalah :(i) . B , (ii) . B (iii) . B dan (iv). S
FMIPA-UNEJ

Contoh 1.9. Diketahui : p : 2 adalah bilangan genap q : cos 60o = 1, 5 r : matahari terbit dari barat s : jumlah sudut-sudut segitiga adalah 180o Tentukan p r dan q s. Jawab :

Daftar Isi

Judul

41 dari 388

(i) p r : 2 adalah bilangan genap atau matahari terbit dari barat; (ii) q s : cos 60o = 1, 5 atau jumlah sudut-sudut segitiga adalah 180o . Dalam matematika ada kalimat yang harus dihubungkan dengan disjungsi seperti pada contoh berikut. Contoh 1.10. 1. Jika xy = 0, maka x = 0 atau y = 0.
Tutup Cari Halaman

Kembali

Layar Penuh

Keluar

2. x2 = 4, maka x = 2 atau x = 2. Setelah kita mengetahui tiga perakit dasar dalam logika (, , ), kita tinjau kembali denisi pernyataan dalam matematika yaitu bahwa pernyataan itu harus bernilai benar atau salah tetapi tidak mungkin sekaligus benar dan salah, prinsip ini merupakan prinsip dasar logika yang dapat dinyatakan dalam suatu persamaan berikut ini. (p) = 0 1 (0 1) (1.3)

FMIPA-UNEJ

Daftar Isi

Judul

Prinsip di atas dapat dinyatakan secara lebih luas dan dikenal dengan prinsip excluded middle yang dinyatakan seperti berikut ini. Denisi 1.6 (Prinsip Excluded Middle). Salah satu dari pernyataan p atau q benar tetapi tidak dua-duanya. pq pq (1.4)

42 dari 388

Cari Halaman

Kembali

Contoh yang paling jelas adalah ketika q = p, yaitu p (p) p (q )


Layar Penuh

Tutup

Keluar

1.4.

Tautologi dan Kontradiksi


FMIPA-UNEJ

Sebagaimana telah disampaikan sebelumnya, bahwa beberapa pernyataan dapat digabung untuk membentuk pernyataan majemuk. Pernyataanpernyataan tunggal p1 , p2 , , pn dapat membentuk suatu pernyatan majemuk yang dihubungkan oleh berbagai perakit dan dinotasikan dengan P (p1 , p2 , , pn ). Dilihat dari nilai kebenarannya, ada dua jenis kalimat majemuk yang istimewa, yaitu kalimat majemuk yang selalu bernilai benar dan kalimat majemuk yang selalu bernilai salah, terlepas dari nilai kebenaran masing-masing komponennya. Denisi 1.7. Tautologi adalah pernyataan majemuk yang selalu bernilai benar (dalam segala hal) tanpa memandang nilai kebenaran komponen-komponennya. P (p1 , p2 , , pn ) = T, jika P (p1 , p2 , , pn ) = 1 untuk semua kemungkinan (pi ). (1.5)

Daftar Isi

Judul

43 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Denisi 1.8. Kontradiksi adalah pernyataan majemuk yang selalu bernilai salah (dalam segala hal) tanpa bergantung nilai kebenaran dari komponennya.
FMIPA-UNEJ

P (p1 , p2 , , pn ) = F, jika P (p1 , p2 , , pn ) = 0 untuk semua kemungkinan (pi ).

(1.6)
Daftar Isi

Judul

Kita menggunakan notasi T dan F untuk menunjukkan bahwa nilai pernyataan majemuk tersebut selalu benar atau selalu salah untuk semua kombinasi nilai p1 , p2 , , pn .
44 dari 388

Contoh 1.11. (i) . p (p) adalah suatu tautologi. (ii) . p (p) adalah suatu kontradiksi. Tabel kebenaran untuk tautologi dan kontradiksi di atas dapat ditunjukkan dalam dua tabel berikut.
Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Tabel kebenaran p (p) dan p q p p p (p) p q 1 0 1 0 0 1 1 0

FMIPA-UNEJ

Daftar Isi

Judul

45 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

1.5.

Aljabar pernyataan
FMIPA-UNEJ

Susunan pernyataan majemuk dapat juga dianggap sebagai hasil operasi dari beberapa pernyataan dengan perakit-perakit pernyataan sebagai operasi hitung. Sedangkan sebagai pengganti kesamaan dalam logika kita mengenal ekuivalensi, (). Operasi beserta pernyataannya ini dikenal dengan istilah aljabar pernyataan atau kalkulus pernyataan. Denisi 1.9. Dua pernyataan dikatakan ekuivalen jika pernyataanpernyataan tersebut mempunyai nilai kebenaran yang sama untuk setiap keadaan komponennya Jika P (pl , p2 , ..., pn ) = Q(ql , q2 , ..., qn ) maka P (pl , p2 , ..., pn ) Q(ql , q2 , ..., qn ) (1.7)

Daftar Isi

Judul

46 dari 388

Cari Halaman

Denisi yang lain tentang ekuivalensi juga disampaikan pada Denisi 2.5 persamaan (2.4) halaman 84 setelah membicarakan ekuivalensi logis. Jadi dalam aljabar pernyataan kita memiliki:

Kembali

Layar Penuh

Tutup

Keluar

1. objek: pernyataan-pernyataan, p1 , p2 , , pn ; 2. operator: , , ;


FMIPA-UNEJ

3. kesamaan: .
Daftar Isi

Pada bagian ke dua buku ini, akan ditunjukkan bahwa merupakan relasi ekuivalensi.
Judul

Teorema 1.1. Relasi ini adalah relasi ekuivalensi yaitu : (i) . p p (reeksif )
47 dari 388

(ii) . Jika p q maka q p (simetris) (iii) . Jika p q dan q r maka p r (transitif ) Contoh 1.12. Buatlah tabel kebenaran dari (p q ) serta (p) (q ). Tunjukkan/ selidiki bahwa (p q ) (p) (q ). Jawab :
Tutup Cari Halaman

Kembali

Layar Penuh

Keluar

p 1 1 0 0

Tabel kebenaran (p q ) dan (p) (q ) q (p q ) (p q ) p q (p) (q ) 1 1 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 0 0 1 1 1 1

FMIPA-UNEJ

Daftar Isi

Karena nilai kebenaran (p q ) dan (p) (q ) sama untuk setiap pasangan nilai komponennya, maka (p q ) (p) (q )

Judul

48 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

1.6.

Bentuk Rangkap dan Prinsip Kerangkapan


FMIPA-UNEJ

Salah satu sifat yang sangat menarik dalam aljabar logika adalah sifat rangkap atau dual dari suatu pernyataan majemuk.

Denisi 1.10. Bentuk rangkap (dual) dari kalimat majemuk P (p1 , p2 , , pn ) adalah bentuk yang diperoleh dengan menggantikan tanda dengan dan sebaliknya, demikian juga F dengan T dan sebaliknya secara serempak.

Daftar Isi

Judul

Contoh 1.13.
49 dari 388

(i) bentuk rangkap dari p (q r) adalah p (q r);


Cari Halaman

(ii) bentuk rangkap dari p (p) T adalah p (p) F


Kembali

Teorema 1.2 (Prinsip kerangkapan/dualitas). Jika suatu pernyataan (teorema) sudah terbukti kebeharannya maka bentuk rangkapnya juga

Layar Penuh

Tutup

Keluar

valid. Contoh 1.14. (i) Bentuk p (p) T adalah valid (merupakan tautologi), maka bentuk p (p) F juga valid (merupakan kontradiksi); (ii) Bentuk p p p adalah valid, maka bentuk p p p juga valid.
Judul

FMIPA-UNEJ

Daftar Isi

Berikut disampaikan beberapa sifat dasar aljabar kalimat yang dapat dibuktikan dengan membuat tabel kebenaran dari bentuk aljabar yang bersangkutan.
50 dari 388

Teorema 1.3 (Negasi ganda). (p)) p (1.8)


Cari Halaman

Kembali

Teorema 1.4 (Hukum Komutatif/ pertukaran).


Layar Penuh

(p q ) (q p)

(1.9a)
Tutup

Keluar

(p q ) (q p) Teorema 1.5 (Hukum Assosiatif/ pengelompokan). p (q r) (p q ) r p (q r) (p q ) r Teorema 1.6 (Hukum Identitas). p F F dan p T p p T T dan p F p Teorema 1.7 (Hukum Komplemen/invers). p (p) F dan (F ) T p (p) T dan (T ) F Teorema 1.8 (Hukum De Morgan). (p q ) (p) (q ) (p q ) (p) (q )

(1.9b)

FMIPA-UNEJ

(1.10a) (1.10b)
Daftar Isi

Judul

(1.11a) (1.11b)
51 dari 388

(1.12a)
Cari Halaman

(1.12b)
Kembali

(1.13a) (1.13b)
Layar Penuh

Tutup

Keluar

Teorema 1.9 (Hukum Distributif). p (q r) (p q ) (p r) p (q r) (p q ) (p r) Teorema 1.10 (Hukum Idempoten).


Daftar Isi

(1.14a) (1.14b)
FMIPA-UNEJ

ppp ppp Teorema 1.11 (Hukum Absorpsi /Penyerapan). p (p q ) p dan p (p (q )) p p (p q ) p dan p (p (q ) p Teorema 1.12 (Komplementasi Gabungan). p ((p) q ) p q p ((p) q ) p q

(1.15a) (1.15b)
Judul

(1.16a) (1.16b)
52 dari 388

Cari Halaman

(1.17a) (1.17b)
Kembali

Hukum-hukum di atas dapat dibuktikan dengan membuat tabel kebenarannya. Selanjutnya hukum-hukum di atas dapat digunakan

Layar Penuh

Tutup

Keluar

untuk membuktikan ekuivalensi yang lain. Jika diminta, maka pembuktian harus diturunkan dari kesepuluh hukum diatas (bukan dengan tabel kebenaran). Bahkan dalam sistem deduksi yang akan kita pelajari pada bab berikutnya asumsi dasar (aksioma) yang kita pakai sebagai dasar lebih terbatas lagi dan yang lainnya harus kita turunkan dengan menggunakan aksioma-aksioma atau denisi yang diketahui. Sebenarnya hukum absorpsi dapat dibuktikan secara deduktif (bukan menggunakan tabel kebenaran) dengan menggunakan sifat-sifat sebelumnya. Dalam logika sangat penting sekali menunjukkan alasan yang dipergunakan pada setiap langkah. Bukti hukum absorpsi/ penyerapan adalah sebagai berikut ini (lihat Sulistyaningsih [19]). p (p q ) (p F ) (p q ) p (F q ) pF p identittas distributif identitas identitas

FMIPA-UNEJ

Daftar Isi

Judul

53 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

1.7.

Perakit-perakit Lain
FMIPA-UNEJ

Selain perakit-perakit yang telah disampaikan di depan, ada lagi perakit lain yang memang tidak banyak dipakai atau dibicarakan yaitu: perakit disjungsi eksklusif, perakit Stroke dan perakit Dagger (lihat Copi [2]). Perakit-perakit ini pada prinsipnya dapat didenisikan sebagai fungsi dari perakit dasar (, , ).

Daftar Isi

Judul

1.7.1.

Perakit Disjungsi eksklusif

Selain disjungsi yang telah dibicarakan sebelumnya, yang dikenal dengan istilah disjungsi inklusif, dalam logika ada juga disjungsi yang lain yang disebut disjungsi eksklusif, seperti didenisikan berikut ini.

54 dari 388

Denisi 1.11. Disjungsi eksklusif dari p dengan q (dibaca atau p ....atau q ) adalah pernyataan yang berarti p atau q tetapi tidak keduanya.

Cari Halaman

Kembali

Layar Penuh

Disjungsi eksklusif p dengan q dinotasikan dengan p q


Tutup

Keluar

Secara simbolis dapat dituliskan : p q = (p q ) (p q ) = (p q ) p q (1.18a) (1.18b)


FMIPA-UNEJ

Dari denisi di atas, dapat ditentukankan tabel kebenaran dari disjungsi eksklusif ini, seperti pada tabel berikut. Tabel Kebenaran Disjungsi Eksklusif p 1 1 0 0 q 1 0 1 0 r= (p q ) 1 1 1 0 s= (p q ) 1 0 0 0 t= (s) 0 1 1 1 r t = pq 0 1 1 0

Daftar Isi

Judul

55 dari 388

Cari Halaman

Dengan demikian, jika seseorang mengajukan alternatif dengan maksud hanya dipilih salah satu tidak boleh keduanya, maka sebaiknya dan seharusnya dinyatakan dengan disjungsi eksklusif ini. Misalnya, secara matematis, gadis-gadis, kepada pacarnya, sebaiknya mengatakan

Kembali

Layar Penuh

Tutup

Keluar

: Silahkan pilih atau dia atau aku !, jika dia ingin pacarnya hanya memilih salah satu dari mereka. Sebab, jika mereka mengatakan : Pilih dia atau aku ! maka sang lelaki tidak salah kalau memilih keduanya. Namun, secara alami memang ada kejadian yang sifatnya eksklusif (saling asing), misalnya seperti contoh berikut ini. 1. Pak Amir saat ini sedang memberi kuliah atau rapat. 2. Tiga (3) adalah bilangan ganjil atau genap. 3. Sembilan (9) adalah bilangan prima atau komposit. 4. Adik sedang bersiul atau gosok gigi.

FMIPA-UNEJ

Daftar Isi

Judul

56 dari 388

1.7.2.

Fungsi / Operator Stroke dan Dagger


Cari Halaman

Operator Stroke (/)


Operator Stroke dinotasikan dengan / . Fungsi atau operator Stroke ini disebut juga pengingkaran alternatif (The alternative denial). Dalam bentuk notasi dasar yang telah kita pelajari operasi Stroke ini dapat dinyatakan sebagai

Kembali

Layar Penuh

Tutup

Keluar

Denisi 1.12 (Operator Stroke). p/q = (p) ((q )) (alternatif) (1.19)


FMIPA-UNEJ

Daftar Isi

Operator Dagger ()
Operator Dagger dinotasikan dengan atau . p q dibaca bukan p dan bukan pula q , neither p nor q . Operator Dagger disebut juga the joint denial atau pengingkaran bersama atau konjungsi ingkaran. Dalam bentuk notasi dasar yang telah kita pelajari operasi dagger ini dapat dinyatakan sebagai

Judul

57 dari 388

Cari Halaman

Denisi 1.13 (Operator Dagger).


Kembali

p q = p q

(bersama-sama)

(1.20)
Layar Penuh

Tutup

Keluar

Dari Denisi 1.12 dan Denisi 1.13, kita dapat turunkan sifat atau aksioma berikut.
FMIPA-UNEJ

Teorema 1.13. p/q = (p q ) p q = (p q ) (1.21) (1.22)


Judul Daftar Isi

Dari denisi sebelumnya maupun dari teorema di atas, kita dapat menentukan nilai kebenaran dari operator Stroke dan Dagger seperti Tabel Kebenaran 1.1. Catatan: Untuk menghindarkan penggunaan kurung yang terlalu banyak, maka diadakan kesepakatan bahwa dalam aljabar pernyataan, urutan/hirarki operasi , , adalah yang pertama , lalu diikuti dan . Contoh 1.15. p q p q (p) (q ) (p q )

58 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

FMIPA-UNEJ

Daftar Isi

Tabel 1.1: Tabel p 1 1 0 0

Kebenaran Operator Stroke dan Dagger q p q p/q p q 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 1 1 1 1

Judul

59 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

1.8.

Bacaan Lebih Lanjut


FMIPA-UNEJ

Untuk mendalami lebih jauh materi pada bab ini selai beberapa sumber yang telah dikutip sebelumnya, dapat juga dibaca beberapa sumber lain diantaranya Enderton [4], Thomas [20], Gemignani [6]. Denisi umum beberapa istilah dalam buku ini selain diambil dari kamus matematika oleh Borowsky & Borwein [1]. juga diambil dari eksiklopedia matematika oleh Negoro & Harahap [12].

Daftar Isi

Judul

60 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

1.9.

Soal-soal Latihan
FMIPA-UNEJ

Tentukan nilai kebenaran dari pernyataan-pernyataan berikut kemudian tentukan negasinya. 1. 7 + 3 =10.

Daftar Isi

2. 7 + 5 > 10 4. 3. Sembilan (9) adalah bilangan ganjil. 4. Bujur sangkar adalah persegi panjang. 5. Jumlah sudut-sudut segitiga adalah 180.
61 dari 388 Judul

6. Seratus dua puluh satu (121) adalah bilangan prima. 7. Gajah adalah binatang berkaki dua. 8. Jumlah dua bilangan ganjil adalah bilangan genap. 9. Tujuh (7) adalah bilangan komposit (bukan prima).
Layar Penuh Cari Halaman

Kembali

10. Matahari terbit dari sebelah timur.


Tutup

Keluar

11. Diketahui : p : Jakarta adalah ibu kota negara RI q : 3 + 4 =10 r : persegi panjang adalah suatu bujur sangkar s : 7 adalah bilangan ganjil t : 8 adalah bilangan genap Tentukan :

FMIPA-UNEJ

Daftar Isi

Judul

(i) . p q (ii) . q r (iii) . r s (iv) . s t 12. Buktikan bahwa :


Cari Halaman 62 dari 388

(a) p p/p (b) p q (p/q )/(p/q ) (c) p q (p/p)/(q/q )


Layar Penuh Kembali

(d) p/q (p p) (q q ) (p p) (q q )
Tutup

Keluar

(e) p q (p/p)/(q/q )/(q/q )/(p/p)/(q/q ) 13. Buatlah tabel kebenaran dari :


FMIPA-UNEJ

(a) p q (b) p q (c) (p q ) (p q ) (d) (p q ) 14. Buktikan dengan hukum-hukum aljabar proposisi (a) (p q ) p T
63 dari 388 Judul Daftar Isi

(b) p (p q ) F (c) (p q ) (p q ) (d) (p q ) p p q (e) Hukum komplementasi gabungan dan hukum absorpsi yang belum dibuktikan. 15. Buktikan bahwa (p q ) (p q ) = T
Tutup Kembali Cari Halaman

Layar Penuh

Keluar

16. Buktikan bahwa : (a) p p p (b) p q (p p) (q q ) (c) p q (p q ) (p q ) (d) p (p p) (p p (e) p (p p) F (f) p/(p/p) T 17. Misalkan p : Angin bertiup
64 dari 388 Daftar Isi FMIPA-UNEJ

Judul

q : Cuaca cerah Tulis kalimat yang disimbolkan seperti berikut ini : (a) p (b) p q (c) p q
Layar Penuh Kembali Cari Halaman

(d) (p q )
Tutup

Keluar

(e) (p q ) (f) p q (g) p q (h) p q


Daftar Isi FMIPA-UNEJ

18. Diketahui p : Ani anak yang cantik q : Ani anak yang pandai r : Ani anak yang disiplin Tulis notasi dari pernyataan-pernyataan berikut : (a) Ani adalah anak yang cantik dan pandai. (b) Meskipun tidak pandai, Ani disiplin (c) Ani adalah anak yang pandai dan disiplin tetapi tidak cantik. (d) Ani adalah anak yang cantik atau sekaligus pandai dan disiplin.
Cari Halaman 65 dari 388 Judul

Kembali

Layar Penuh

Tutup

Keluar

(e) Mustahil Ani sekaligus pandai dan cantik (f) Ani tidaklah cantik dan tidak pula pandai. 19. Selidikilah pasangan-pasangan kalimat berikut, tentukan apakah kalimat yang kedua merupakan ingkaran dari kalimat pertama. (a) Saya haus. Saya tidak haus. (b) Siti berbaju merah. Siti berbaju putih. (c) 7 adalah bilangan ganjil dan prima. 7 bukan bilangan ganjil dan bukan bilangan prima. (d) Ayah atau Ibu menjemput adik. Ayah menjemput adik tetapi ibu tidak menjemput adik. (e) Hari ini cuaca cerah. Hari ini hujan deras. (f) 2 + 3 > 7 6. 2 + 3 < 7 6.
Cari Halaman 66 dari 388 Judul FMIPA-UNEJ

Daftar Isi

Kembali

Layar Penuh

Tutup

Keluar

FMIPA-UNEJ

BAB

2
PERNYATAAN BERSYARAT/KONDISIONAL

Daftar Isi

Judul

67 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Tujuan Umum
Setelah menyelesaikan materi pada bab ini pembaca diharapkan memahami bentuk-bentuk, penilaian serta negasi pernyataan bersyarat, hierarki perakit-perakit termasuk perakit bersyarat.
FMIPA-UNEJ

Daftar Isi

Judul

68 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Tujuan Khusus
Setelah menyelesaikan materi pada bab ini pembaca diharapkan dapat 1. menyebutkan denisi implikasi dan variasinya 2. menyebutkan denisi biimplikasi 3. menentukan apakah suatu implikasi merupakan implikasi logis
Judul FMIPA-UNEJ

Daftar Isi

4. menentukan apakah suatu biimplikasi merupakan biimplikasi logis 5. menentukan hubungan implikasi dengan perakit dasar (dan, atau, negasi) 6. menentukan negasi kalimat bersyarat 7. menerapkan hierarki perakit
Kembali 69 dari 388

Cari Halaman

8. menerapkan notasi Lukasiewicz


Layar Penuh

Tutup

Keluar

Materi
1. Implikasi dan variasinya 2. Biimplikasi 3. Implikasi Logis dan Ekuivalensi Logis 4. Ekuivalensi dengan perakit dasar
Judul FMIPA-UNEJ

Daftar Isi

5. Negasi pernyataan bersyarat 6. Hirarki perakit dan Notasi Lukasiewicz Banyak pernyataan-pernyataan dalam matematika berbentuk jika ... maka.... Kalimat atau pernyataan seperti ini disebut kalimat bersyarat atau kondisional. Pernyataan berbentuk jika ... maka ... ini disebut implikasi. Sedangkan pernyataan berbentuk jika ... maka dan jika ... maka ... disebut pernyataan berbentuk implikasi dua arah atau biimplikasi. Biimplikasi ini lebih umum dinyatakan dengan ... jika dan hanya jika ... .
70 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

2.1.

Implikasi
FMIPA-UNEJ

Secara matematis kalimat dalam bentuk jika p maka q dinotasikan dengan p q disebut implikasi. Selanjutya p q dapat dibaca: 1. jika p maka q ;

Daftar Isi

2. setiap kali p, (maka) q ;


Judul

3. p hanya jika q ; 4. p syarat cukup (sucient) untuk q ; 5. q syarat perlu (necessary) untuk p. Selanjutnya, pada pernyataan p q :
Cari Halaman 71 dari 388

1. p disebut anteseden/ hipotesis, 2. q disebut konsekuen/ konklusi/ kesimpulan. Nilai kebenaran implikasi diberikan pada denisi berikut.
Kembali

Layar Penuh

Tutup

Keluar

Tabel kebenaran implikasi p q pq 1 1 1 1 0 0 0 1 1 0 0 1

FMIPA-UNEJ

Daftar Isi

Judul

Denisi 2.1. Implikasi adalah pernyataan yang bernilai salah hanya apabila hipotesisnya benar tetapi diikuti oleh konklusi yang salah. Untuk keadaan lain implikasinya benar. (p q ) = 0 1 jika (p) = 1 (q ) = 0, dan untuk yang lain. (2.1)
72 dari 388

Cari Halaman

Dari denisi diatas dapat kita buat tabel kebenaran untuk implikasi ini seperti tabel sebelah. Sebagaimana telah disinggung dalam bab pendahuluan bahwa seorang matematisi sebenarnya dapat secara bebas mendenisikan istilah-istilahnya secara abstrak (tanpa terikat situasi konkrit), yang

Kembali

Layar Penuh

Tutup

Keluar

penting dia konsisten dan kosekuen dengan denisi yang dibuat. Sepintas penetapan nilai kebenaran untuk keadaan ketiga (yaitu : anteseden salah, konklusi benar implikasi kedengarannya agak janggal dan tidak sesuai dengan kondisi riil, akan tetapi jika kita pikirkan lebih dalam sebenarnya tidak terjadi pertentangan antara nilai kebenaran yang didenisikan dengan tabel implikasi dengan logika umum (common sense) dan penetapan nilai kebenaran ini masuk akal. Contoh 2.1. Seseorang berjanji kepada orang lain : Jika hari tidak hujan, (maka) saya akan datang. Yang kita pertanyakan sekarang adalah : kapan orang yang bicara tadi dikatakan ingkar janji (menyalahi yang diucapkan)? Jawaban kita adalah jika hari tidak hujan (p benar) tetapi ia tidak datang (q salah). Hanya dalam keadaan ini saja. Itu berarti untuk tindakannya yang lain ia tidak dapat dipersalahkan, yaitu jika hari hujan dan ia tetap datang ia tidak dapat dipersalahkan. Kita menetapkan nilai kebenaran dari suatu implikasi selanjutnya adalah berdasarkan denisi diatas tanpa memperhatikan hubungan antara p dan q . (tidak harus sebab akibat atau janji). Karena penetapan nilai kebenaran implikasi maka implikasi ini disebut implikasi material atau implikasi formal.

FMIPA-UNEJ

Daftar Isi

Judul

73 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Contoh 2.2. Tentukan nilai kebenaran pernyataan-pernyataann berikut: (i) jika 2 + 3 = 5, maka 5 + 3 = 8 (ii) jika ika 2 adalah bilangan prima, maka matahari terbit dari barat. (iii) jika saya lahir di Amerika Serikat, maka sayalah presiden negara tersebut. (iv) jika matahari terbit dari barat, maka manusia tidak akan pernah mati. Nilai kebenaran implikasi-implikasi diatas adalah (i) B, (ii) S (iii) B dan (iv) B. Perhatikan bahwa dalam implikasi, jika antesedennya salah maka implikasinya selalu benar tanpa memperhatikan konklusinya. Ini berarti dari anteseden yang salah kita dapat bebas menentukan konklusi. Contoh 2.3. Jika matahari terbit dari barat (salah), kita dapat membuat kesimpulan misalnya: 1. maka manusia bisa terbang;
Tutup 74 dari 388 FMIPA-UNEJ

Daftar Isi

Judul

Cari Halaman

Kembali

Layar Penuh

Keluar

2. maka manusia tidak pernah mati; 3. maka manusia tidak perlu makan; dan implikasi yang dibentuk bernilai benar. Untuk memahami pengertian syarat perlu dan syarat cukup ada baiknya kita perhatikan denisi berikut :
FMIPA-UNEJ

Daftar Isi

Judul

Denisi 2.2. Pernyataan p dikatakan syarat cukup bagi q, apabila q selalu muncul setiap kali p muncul. Pernyataan q dikatakan sebagai syarat perlu untuk p apabila p muncul hanya jika q muncul, jika q tidak muncul maka p juga tidak bisa muncul.

75 dari 388

Cari Halaman

Contoh 2.4. Jika suatu bilangan prima maka bilangan itu bulat. Bilangan prima adalah syarat cukup untuk bilangan bulat. Pernyataan bahwa bilangan itu prima sudah cukup untuk menyatakan bilangan tersebut bulat. Artinya juga, jika kita ingin bilangan bulat cukup kita mengambil bilangan prima, karena bilangan prima pasti bulat. Sebaliknya, jika kita

Kembali

Layar Penuh

Tutup

Keluar

mengambil bilangan yang tidak bulat maka tidak mungkin kita memperoleh bilangan prima. Akan tetapi untuk memperoleh bilangan bulat tidak perlu (tidak harus) mengambil bilangan prima (4;1 juga bulat). Supaya suatu bilangan itu prima tidak cukup hanya dikatakan bulat (4, 8, bulat tetapi tidak prima). Jadi, kita juga peroleh kenyataan bahwa syarat cukup belum tentu perlu dan syarat perlu belum tentu cukup. Perhatikan bahwa pernyataan-pernyataan berikut mempunyai arti yang sama. 1. Jika matahari bersinar maka udara hangat. 2. Udara hangat, jika matahari bersinar 3. Setiap kali matahari bersinar, udara hangat 4. Matahari bersinar hanya jika udara hangat. 5. Matahari bersinar adalah syarat cukup untuk udara hangat.

FMIPA-UNEJ

Daftar Isi

Judul

76 dari 388

Cari Halaman

Kembali

6. Udara hangat adalah syarat perlu untuk matahari bersinar. 7. Matahari bersinar secara implisit berarti udara hangat.
Layar Penuh

Tutup

Keluar

2.2.

Implikasi dan variasinya


FMIPA-UNEJ

Dari implikasi p q , kita dapat membentuk berbagai pernyataanpernyataan yaitu: (i) p q yang disebut invers (ii) q p disebut konvers (iii) q p disebut kontra posisi/ kontra positif dari implikasi tadi. Dari denisi di atas dapat dibuat tabel kebenaran untuk invers, konvers dan kontra positif sebagai berikut: Tabel kebenaran invers, konvers dan kontra positif. p q p q p q p q q p q p 1 1 0 0 1 1 1 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 0 1 1 1 1 1 1 Dari tabel di atas terlihat bahwa : 1. p q q p dan

Daftar Isi

Judul

77 dari 388

Cari Halaman

Kembali

Layar Penuh

2. p q q p.
Tutup

Keluar

Sebenarnya dari denisi syarat cukup dan syarat perlu, sudah jelas bahwa jika p maka q artinya sama dengan jika tidak ada q maka tidak ada p (artinya implikasi ekuivalen dengan kontra positif). Hubungan antara implikasi, invers, konvers dan kontra positifnya ditunjukkan dengan gambar berikut.

FMIPA-UNEJ

Daftar Isi

pq

invers

p q
konvers

Judul

konvers

Kontra

positif

78 dari 388

Cari Halaman

invers

qp

q p

Kembali

Layar Penuh

Tutup

Keluar

Diagram Venn mengilustrasikan variasi implikasi, invers, konvers dan kontrapositip


FMIPA-UNEJ

Daftar Isi

Judul

79 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

2.3.

Biimplikasi
FMIPA-UNEJ

Pada implikasi p dengan q , pernyataan p maupun q dua-duanya sekaligus merupakan syarat cukup dan perlu dari yang lainnya. Denisi 2.3. Biimplikasi dari pernyataan p dan q (dinotasikan dengan p q dan dibaca p jika dan hanya jika (jhj) q atau p bila dan hanya bila (bhb) q ) adalah pernyataan yang bernilai benar jika komponenkomponennya bernilai sama, serta bernilai salah jika komponen-komponennya bernilai tidak sama, yaitu (p q ) = 1 0 jika (p) = (q ) dan jika (p) = (q ). (2.2)

Daftar Isi

Judul

80 dari 388

Tabel kebenaran biimplikasi adalah seperti tabel sebelah. Contoh 2.5. (i) 2 + 3 = 5 3 5 = 15 (Benar)

Cari Halaman

Kembali

(ii) 2 adalah prima 4 adalah ganjil (Salah)


Layar Penuh

(iii) Matahari terbit dari barat 2 + 3 = 5 (Salah)


Tutup

Keluar

Tabel kebenaran biimplikasi p q pq 1 1 1 1 0 0 0 1 0 0 0 1

FMIPA-UNEJ

Daftar Isi

Judul

(iv) 2 5 = 6 33 = 9 (Benar). Contoh 2.6. Biimplikasi banyak dipergunakan dalam mendenisikan sesuatu, misalnya: Persegi panjang disebut bujur sangkar jika dan hanya jika masing-masing sudutnya 90o dan keempat sisinya sama panjang. Disini terkandug pengertian bahwa jika suatu persegi panjang adalah bujur sangkar, maka keempat sudutnya masing-masing 90o dan keempat sisinya sama panjang. Sebaliknya jika suatu persegi panjang masing-masing sudutnya 90o dan keempat sisinya sama panjang, maka persegi panjang itu disebut bujur sangkar.
81 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Suatu bilangan asli (yang tidak sama dengan 1) dikatakan bilangan prima jika dan hanya jika bilangan itu hanya bisa dibagi oleh 1 dan bilangan itu sendiri. Denisi ini mengandung pengertian bahwa, jika bilangan asli selain 1, hanya bisa dibagi oleh 1 dan bilangan itu sendiri, maka bilangan itu disebut bilangan prima. Sebaliknya, jika suatu bilangan adalah prima, maka bilangan itu (tidak sama dengan 1) dan hanya bisa dibagi oleh 1 dan bilangan itu sendiri.

FMIPA-UNEJ

Daftar Isi

Judul

82 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

2.4.

Implikasi Logis dan Ekuivalensi Logis


FMIPA-UNEJ

Sejauh ini kita memahami bahwa nilai kebenaran suatu implikasi bergantung pada nilai kebenaran hipotesis dan konklusinya. Ada bentuk khusus dari suatu implikasi yang nilainya selalu benar tanpa bergantung pada nilai kebenaran dari hipotesis dan konklusinya. Implikasi semacam ini disebut implikasi logis. Denisi 2.4. Suatu implikasi dikatakan implikasi logis (dinotasikan dengan p q ), jika implikasinya merupakan tautologi tanpa memandang nilai kebenaran komponen-komponennya. Dengan kata lain P (pl , p2 , ...) Q(ql , q2 , ...) jika P (pl , p2 , ...) Q(ql , q2 , ...) T. (2.3) Seperti halnya nilai kebenaran implikasi, nilai kebenaran biimplikasi juga ditentukan oleh nilai kebenaran masing-masing komponennya. Jika suatu biimplikasi selalu bernilai benar maka dia disebut ekuivalensi logis, yang dinotasikan dengan .

Daftar Isi

Judul

83 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Denisi 2.5. Suatu biimplikasi dikatakan ekuivalensi logis, jika biimplikasinya merupakan tautologi, yaitu : P (pl , p2 , ...) Q(ql , q2 , ...) jika P (pl , p2 , ...) Q(ql , q2 , ...) T. (2.4) Bandingkan denisi di atas dengan Denisi 1.9 persamaan (1.7) pada halaman 46. Perhatikan bahwa kedua denisi tersebut meskipun perumusannya agak berbeda namun keduanya konsisten dan sesungguhnya ekuivalen satu dengan lainnya. Selanjutnya untuk membuktikan bahwa suatu implikasi atau biimplikasi adalah logis atau tidak, perlu dibuktikan bahwa implikasi atau biimplikasinya adalah suatu tautologi. Untuk memudahkan pembuktian ini diperlukan ekuivalensi antara implikasi atau biimplikasi dengan perakit-perakit dasar. Penurunan secara lebih sistimatis diberikan pada Bab 3. Teorema 2.1 (Ekuivakensi disjungsi dan implikasi (EDI)). p q p q
Layar Penuh FMIPA-UNEJ

Daftar Isi

Judul

84 dari 388

Cari Halaman

Kembali

(2.5)
Tutup

Keluar

Teorema 2.2 (Ekuivalensi biimplikasi dengan disjungsi, konjungsi). p q (p q ) (p q ) (2.6)


FMIPA-UNEJ

Contoh 2.7. Buktikan bahwa : 1. p (p q ) 2. (p q ) p 3. (p q ) (q p) 4. (p q ) (q p) 5. (p q ) (p q ) (q p) 6. (p q ) q (p)

Daftar Isi

Judul

85 dari 388

Cari Halaman

Kembali

Layar Penuh

7. (p q ) (p r) p (q r)
Tutup

Keluar

Bukti: Salah satu cara untuk membuktikan adanya implikasi logis adalah dengan membuktikan bahwa implikasinya adalah suatu tautologi.
FMIPA-UNEJ

p (p q ) p (p q ) (p p) q T q T Maka p (p q ). (p q ) q (p q ) q (p q ) q p (q q ) p T T

persamaan (2.5) hukum asosiatif hukum komplemen hukum identitas


Judul Daftar Isi

persamaan (2.5) hukum De Morgan hukum Asosiatif hukum komplemen hukum identitas.

86 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

2.5.

Negasi Pernyataan Bersyarat


FMIPA-UNEJ

Negasi kalimat bersyarat dicari melalui negasi dari ekuivalensinya yang terdiri atas perakit-perakit dasar. Ingat bahwa negasi tidak sama baik dengan invers maupun konvers. Teorema 2.3 (Negasi Implikasi). Negasi implikasi adalah (p q ) p q. Bukti: (p q ) (p q ) (p)) q p q persamaan (2.5) De Morgan negasi ganda (2.7)

Daftar Isi

Judul

87 dari 388

Cari Halaman

Contoh 2.8. Negasi dari pernyataan: Jika matahari bersinar maka udara hangat. adalah Matahari bersinar tetapi udara tidak hangat. Ada beberapa variasi bentuk negasi biimplikasi seperti dinyatakan dalam teorema berikut.

Kembali

Layar Penuh

Tutup

Keluar

Teorema 2.4 (Negasi biimplikasi). Negasi bimplikasi adalah

FMIPA-UNEJ

Daftar Isi

Judul

88 dari 388

Cari Halaman

(p q ) (p q ) (p q ) (p q ) (p q ) p q p q

(2.8a) (2.8b) (2.8c) (2.8d)


Layar Penuh Kembali

Tutup

Keluar

Bukti: (p q ) (p q ) (q p) (p q ) (p q ) (p q ) (p q ) (p q ) p (p q ) q T (q p) (p q ) T (q p) (p q ) (q p) (p q ) (q p) (p q ) p q p q. Dengan demikian pernyataan Saya datang jika dan hanya jika cuaca cerah mempunyai negasi : Saya datang jika dan hanya jika cuaca tidak cerah atau Saya tidak datang jika dan hanya jika cuaca cerah. Untuk meyakinkan ekuivalensi variasi bentuk-bentuk negasi biimplikasi, kita dapat membuat tabel kebenarannya. atau, negasi dobel
89 dari 388

De Morgan Teorema 2.7 distributif distributif identitas identitas negasi dobel

FMIPA-UNEJ

Daftar Isi

Judul

(q p) (p q )

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

2.6.
2.6.1.

Hirarki perakit dan Notasi Lukasiewicz


Hirarki perakit
FMIPA-UNEJ

Untuk menghindari penggunaan tanda kurung yang terlalu banyak maka dalam pembicaraan logika diadakan konsensus tentang hirarki pengerjaan operasi logika (perakit). Urutan yang harus dikerjakan dalam operasi logika jika tidak menggunakan tanda kurung adalah : 1. Negasi: 2. Konjungsi: 3. Disjungsi: 4. Implikasi: 5. Biimplikasi:

Daftar Isi

Judul

90 dari 388

Cari Halaman

Kembali

6. Implikasi logis:
Layar Penuh

7. Ekuivalensi logis: atau


Tutup

Keluar

Contoh 2.9. Jika ditulis: r p q p q r maka diartikan sebagai: r (p) q p Sedangkan pq r pq r diartikan sebagai (p q ) r (p q ) r .
91 dari 388 Judul FMIPA-UNEJ

q (r) .

Daftar Isi

2.6.2.

Notasi Lukasiewicz
Cari Halaman

J. Lukasiewicz adalah seorang logisi Polandia yang memperkenalkan suatu cara penulisan pernyataaan-pernyataan logika, yang juga menghindarkan penggunaan kurung yang banyak. Notasinya juga sering disebut notasi Polandia (Polish Notation) atau notasi Lukasiewicz seperti pada Copi [2]. Notasi perakit menurut Lukasiewicz diberikan pada Tabel 2.1

Kembali

Layar Penuh

Tutup

Keluar

Tabel 2.1: Notasi Lukasiewicz untuk perakit logika

Perakit Negasi Konjungsi Disjungsi Implikasi Biimplikasi (Ekuivalensi)

Notasi Lukasiewicz N K A (=Alternasi) C E

Notasi biasa p pq pq pq pq

Notasi Lukasiewicz Np Kpq Apq Cpq Epq

FMIPA-UNEJ

Daftar Isi

Judul

92 dari 388

Contoh 2.10. Tentukan Notasi Lukasiewicz dari : (i) p (q r) (ii) p (q r) (q r) (s t) Jawab :


Layar Penuh Cari Halaman

Kembali

(i) (a) implikasi q dengan negasi r : CqN r


Tutup

Keluar

(b) selanjutnya dialternasikan dengan negasi p : AN pCqN r (ii) a. Alternasi q dengan negasi r : AqN r b. Negasi a. : N AqN r c. Implikasi dp dengan a. : CpN AqN r
Daftar Isi FMIPA-UNEJ

d. Konjungsi, Negasi q dengan r : KN qr e. Konjungsi Negasi s dengan t : KN st f. Alternasi d. dengan e. : AKN qrKN st g. Equivalensi c. dengan f. : ECpN AqN rAKN qrKN st Jadi notasi terakhir yang porelah : ECpN AqN rAKN qrKN st. Untuk memudahkan mengingat notasi Polandia ini kita ingat N (untuk uner) dan C, A, K, E untuk binernya sehingga sering disebut sebagai huruf roti (CAKE Letters) Contoh 2.11. Tulis Notasi berikut dalam bentuk standar ! CCN qqq dan ApKrEsCtu Jawab :
Tutup 93 dari 388 Judul

Cari Halaman

Kembali

Layar Penuh

Keluar

1. (a) N q = q (b) CN qq = q q (c) CCN qqq = q q q 2. (a) Ctu = t u (b) EsCtu = s (t u) (c) KrEsCtu = r s (t u) (d) ApKrEsCtu = p r s (t u)
Daftar Isi FMIPA-UNEJ

Judul

94 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

2.7.

Bacaan Lebih Lanjut


FMIPA-UNEJ

Untuk mendalami lebih jauh materi pada bab ini selain beberapa sumber yang telah dikutip sebelumnya, dapat juga dibaca beberapa sumber lain diantaranya Enderton [4], Thomas [20], Gemignani [6], Copi [2].

Daftar Isi

Judul

95 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

2.8.

Soal-soal Latihan
FMIPA-UNEJ

1. Nyatakan penyataan-pernyataan berikut dalam bentuk jika . . . maka . . . (a) Saya akan pergi hanya jika kamu menyuruh.

Daftar Isi

(b) Setiap kali saya memikirkan pelajaran, saya ingin bermain. (c) Kamu akan menemukan jika mencari. (d) Tidak ada manusia yang bisa terbang. (e) Setiap bilangan asli adalah bulat. (f) Adalah perlu bagi kita makan, untuk hidup.
96 dari 388 Judul

(g) Untuk membuat segitiga sama kaki adalah cukup dengan membuat segitiga sama sisi. 2. Buatlah pernyataan-pernyataan konversi, inversi dan kontra positif dari pernyataan-pernyataan berikut : (a) Jika n bilangan asli maka 2n adalah bilangan asli

Cari Halaman

Kembali

Layar Penuh

(b) Jika turun hujan maka tanah basah.


Tutup

Keluar

(c) Jika 12 adalah bilangan prima, maka 9 adalah bilangan sempurna. 3. Jika syarat cukupnya sekaligus merupakan syarat perlu dan sebaliknya maka dikatakan implikasi tersebut dapat diganti dengan biimplikasi (dua-duanya benar) misalnya Jika x < 0 maka 2x dapat dikatakan sebagai: x < 0 jhj 2x < 0. Nyatakan apakah implikasi-implikasi berikut dapat diubah dengan biimplikasi : (a) Jika n genap maka 2n genap (b) Jika x2 positif maka x adalah positif. (c) Jika ketiga sisi segitiga sama, maka ketiga sudutnya sama besar. (d) Jika x = 3 maka x2 = 9. (e) Untuk sembarang himpunan A, B , jika A//B maka A B = . (f) Jika x1 adalah jawab dari persamaan ax + b = 0 maka ax1 + b = 0. 4. Buatlah negasi dan invers dari pernyataan-pernyataan berikut :
Tutup Cari Halaman 97 dari 388 FMIPA-UNEJ

Daftar Isi

Judul

Kembali

Layar Penuh

Keluar

(a) Jika 6 adalah bilangan sempurna, maka 7 adalah bilangan ganjil. (b) Jika n adalah bilangan genap maka 2n adalah genap. (c) 2x + 3 = 4x 5 jhj 2= 8. (d) Saya akan datang jhj kamu menyuruh. 5. Diketahui :
Judul Daftar Isi FMIPA-UNEJ

p : segitiga ABC sama kaki q : segitiga ABC sama sisi r : 5 adalah bilangan prima s : sudut-sudut segitiga ABC masing-masing 600 . Tulis kalimat yang disimbolkan oleh notasi berikut : (a) p q (b) q s (c) (p r)
Layar Penuh Kembali 98 dari 388

Cari Halaman

(d) p q r s
Tutup

Keluar

(e) q r (f) p q q s 6. Selidikilah valid tidaknya pernyataan berikut: (a) p p q (b) (p q ) (p r) (p (q r) (c) (p q ) (q p) (d) (p q ) r (p r) (q r) (e) (p q ) r (p r) (q r) (f) (p q ) r p (q r) (g) p p
Cari Halaman 99 dari 388 Judul FMIPA-UNEJ

Daftar Isi

(h) (p q ) p q (i) (p q ) p q (j) (p q ) p] q


Layar Penuh Kembali

7. Ubah dari notasi Lukasiewicz ke notasi biasa.


Tutup

Keluar

(a) KcpN qN Apq (b) ECpN N pN AN qN q (c) CCCKpN qKN rsKAN pN rsq (d) EN CpN KN prAN pKpN q 8. Ubah dari notasi standart ke notasi Lukasiewicz (a) p q q p (b) (p q ) p (p q ) q (c) p q (p q ) (d) p q r
100 dari 388 Daftar Isi FMIPA-UNEJ

Judul

9. Diketahui : p : udara segar q : cuaca cerah


Kembali Cari Halaman

r : matahari bersinar Nyatakan kalimat-kalimat berikut dengan simbol-simbol yang tepat.


Layar Penuh

Tutup

Keluar

(a) Mustahil, jika udara segar cuaca tidak cerah. (b) Jika cuaca tidak cerah udara tidak segar. (c) Matahari bersinar hanya jika cuaca cerah. (d) Cuaca cerah jhj matahari bersinar dan udara segar. (e) Mustahil jika cuaca cerah, udara tidak segar. 10. Diketahui:
Judul Daftar Isi FMIPA-UNEJ

r : 2 adalah bilangan genap t : 3 adalah bilangan ganjil s : 6 adalah bilangan sempurna Nyatakan kalimat-kalimat yang dinotasikan seperti berikut ini. (a) (r s)
Cari Halaman 101 dari 388

(b) r s (c) r s (d) s r t (e) s t r


Layar Penuh Kembali

Tutup

Keluar

FMIPA-UNEJ

Daftar Isi

Judul

102 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

FMIPA-UNEJ

BAB

3
KARAKTERISTIK, BENTUK NORMAL DAN APLIKASINYA

Daftar Isi

Judul

103 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Tujuan Umum
Setelah menyelesaikan materi pada bab ini pembaca diharapkan mampu memahami konsep karakteristik dan bentuk normal serta mengaplikasikannya dalam aljabar logika, himpunan maupun aljabar jaringan listrik.
FMIPA-UNEJ

Daftar Isi

Judul

104 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Tujuan Khusus
Setelah menyelesaikan materi pada bab ini pembaca diharapkan dapat 1. menentukan karakteristik suatu bentuk logika 2. mengubah bentuk logika ke bentuk Normal 3. mencari komplemen bentuk Normal
Judul FMIPA-UNEJ

Daftar Isi

4. mengubah bentuk normal disjungtif ke bentuk normal konjungtif dan sebaliknya 5. mengaplikasikan bentuk Normal baik dalam aljabar logika, himpunan maupun aljabar jaringan listrik
105 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Materi
1. Karakteristik 2. Bentuk Normal 3. Komplemen Bentuk Normal 4. Translasi diantara bentuk normal
Judul FMIPA-UNEJ

Daftar Isi

5. Aplikasi bentuk Normal 6. Aplikasi Logika dalam aljabar himpunan dan listrik
106 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Tabel 3.1: Tabel kebenaran konjungsi, disjungsi, implikasi dan biimplikasi p 1 1 0 0 q 1 0 1 0 pq 1 0 0 0 pq 1 1 1 0 pq 1 0 1 1 pq 1 0 0 1


FMIPA-UNEJ

Daftar Isi

Judul

3.1.

Karakteristik
107 dari 388

Dalam keadaan tertentu kita membutuhkan cara penulisan yang lebih ringkas untuk menunjukkan nilai kebenaran suatu pernyataan majemuk. Perhatikan tabel kebenaran konjungsi, disjungsi, implikasi maupun biimplikasi pada Tabel 3.1 Dari Tabel 3.1, dikatakan bahwa: 1. karakteristik dari p q adalah 1000;

Cari Halaman

Kembali

Layar Penuh

2. karakteristik dari p q adalah 1110;


Tutup

Keluar

3. karakteristik dari p q adalah 1011, dan 4. karakteristik dari p q adalah 1001. Untuk menentukan karakteristik suatu perakit, perlu diadakan kesepakatan atau konvensi bagaimana kita mengurut nilai logika dalam tabel kebenaran. Dalam diktat ini, kita sepakat bahwa nilai kebenaran pernyataan disusun berdasarkan urutan yang sistematis yaitu dari benar (1) ke salah (0).
FMIPA-UNEJ

Daftar Isi

Judul

Denisi 3.1. Karakteristik suatu pernyataan majemuk adalah nilai logika dari pernyataan tersebut dalam tabel kebenaran dengan urutan kemungkinan nilai yang disepakati.

108 dari 388

Cari Halaman

Contoh 3.1. Dari denisi di atas, kita dapat mencari karakteristik dari bentuk yang lain misalnya karakteristik dari p q adalah 0110 karakteristik dari p q adalah 0001 dan seterusnya.

Kembali

Layar Penuh

Tutup

Keluar

3.2.

Bentuk Normal
FMIPA-UNEJ

Sejauh ini yang telah kita lakukan adalah membuat tabel kebenaran dari suatu pernyataan yang diberikan. Dengan kata lain, kita mencari karakteristik dari suatu pernyataan. Kita akan mencoba mengerjakan hal yang sebaliknya yaitu bagaimana mencari bentuk suatu pernyataan yang diketahui karakteristiknya. Misalnya bagaimana bentuk persamaan yang mempunyai karakteristik 1101 ? Permasalahan yang dikemukakan diatas dapat diselesaikan dengan menggunakan bentuk normal. Bentuk normal dibedakan menjadi dua yaitu normal konjungtif dan normal disjungtif. Untuk memudahkan pembicaraan bentuk normal ini kita memilih penggunaan simbol dan atau sebagai notasi disjungsi. Sedangkan negasi () dinotasikan dengan . Selanjutnya bentuk yang dipisahkan oleh + disebut sebagai suku sedangkan bentuk yang dipisahkan oleh atau . kita sebut sebagai faktor. Misalkan jika pernyataannya hanya 2, p dan q maka bentuk suku-sukunya adalah : pq, pq , p q dan p q jadi bentuk faktornya adalah (p + q ), (p + q ), (p + q ) dan (p + q ). Dengan demikian pernyataan majemuk dapat dianggap sebagai kumpulan suku-suku atau faktor-faktor.

Daftar Isi

Judul

109 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

3.2.1.

Bentuk Normal Disjungtif (DNF)

Bentuk pernyataan majemuk ada yang dapat dianggap sebagai sepenuhnya jumlah dari suku-suku yang setiap sukunya memuat secara lengkap unsur-unsur penyusunnya. Denisi 3.2. Bentuk normal disjungtif ( DNF = Disjunctive Normal Form ) ditandai dengan ciri-ciri berikut : 1. disusun dalam bentuk jumlah suku-suku. 2. tiap-tiap suku memuat secara lengkap semua unsur atau pernyataan yang dibicarakan dalam bentuk konjungsi.

FMIPA-UNEJ

Daftar Isi

Judul

110 dari 388

Contoh 3.2. Berikut ini adalah contoh pernyataan dalam bentuk DNF (i) pqr + p qr + pqr ; (ii) p q + pq + pq ;

Cari Halaman

Kembali

Layar Penuh

(iii) p;
Tutup

Keluar

(iv) p + q ; (v) pqr. Tetapi, bentuk-bentuk seperti : p+qr dan p+pq bukan berbentuk normal sebab suku-sukunya tidak memuat semua pernyataan (pernyataan yang dibicarakan tidak ada pada setiap sukunya), yaitu ada suku yang hanya mengandung p tanpa mengandung q . Selanjutnya perlu diingat bahwa pq sendiri merupakan bentuk normal dengan hanya satu suku. Denisi 3.3. Apabila semua kemungkinan/ semua bentuk suku-suku termuat dalam bentuk normal tersebut dikatakan bentuk normal tersebut adalah lengkap, dalam hal ini disebut Bentuk Normal Disjungtif Lengkap (CDNF = Complete Disjunctive Normal Form).
FMIPA-UNEJ

Daftar Isi

Judul

111 dari 388

Cari Halaman

Contoh 3.3. Berikut adalah pernyataan-pernyataan yang berbentuk CDNF (i) pq + pq + p q + p q dan

Kembali

Layar Penuh

Tutup

Keluar

(ii) pqr + pqr + pq r + pq r + p qr + p qr + p q r + p q r Dapat ditunjukkan bahwa bentuk Normal Disjungsi Lengkap (CDNF) ini adalah suatu tautologi. Kita mungkin juga mengubah bentuk tidak normal menjadi suatu bentuk normal atau sebaliknya menyederhanakan suatu bentuk normal sehingga diperoleh bentuk yang meskipun tidak normal tetapi lebih sederhana. Contoh 3.4. (i) Ubahlah p + pq ke bentuk normal
112 dari 388

FMIPA-UNEJ

Daftar Isi

Judul

(ii) Sederhanakan bentuk p q + pq + pq


Cari Halaman

Jawab: Untuk mengerjakan hal-hal diatas kita harus menggunakan hukumhukum aljabar kalimat / proposisi yang telah diberikan, hanya saja harus diingat dengan baik bahwa untuk menyederhanakan notasi kita menggunakan p.q = pq untuk p q , p + q untuk p q, 1 untuk T dan

Kembali

Layar Penuh

Tutup

Keluar

0 untuk F . p + pq p.1 + pq p(q + q ) + pq pq + pq + pq pq + pq (DNF) identitas komplemen distributif idempoten


Daftar Isi FMIPA-UNEJ

Judul

pq + pq + p q p(q + q ) + p q p.1 + p q p+pq (p + p ).(p + q ) 1.(p + q ) (p + q )

distributif komplemen identitas distributif komplemen, identitas


Cari Halaman 113 dari 388

3.2.2.

Bentuk Normal Konjugtif (CNF)


Kembali Layar Penuh

Bentuk pernyataan majemuk ada yang dapat dianggap sebagai sepenuhnya hasikali faktor-faktor yang setiap faktornya memuat secara lengkap unsur-unsur penyusunnya dalam bentuk jumlah.

Tutup

Keluar

Denisi 3.4. Bentuk Normal Konjungtif (CNF = Conjunctive Normal Form) adalah bentuk yang ditandai oleh ciri-ciri berikut : 1. disusun dalam bentuk perkalian faktor-faktor. 2. tiap-tiap faktor memuat secara lengkap semua unsur atau pernyataan yang dibicarakan.

FMIPA-UNEJ

Daftar Isi

Judul

Contoh 3.5. Beberapa pernyataan yang berbentuk CNF


114 dari 388

(i) (x + y )(x + y )
Cari Halaman

(ii) (p + q + r)(p + q + r)(p + q + r) (iii) (p + q ) Tetapi, p(p + q ); p(p + r) bukan dalam bentuk normal.
Kembali

Layar Penuh

Tutup

Keluar

Denisi 3.5. Bentuk Normal Konjungsi dikatakan Lengkap ( CCNF = Complete Conjunctive Normal Form) jika memuat secara lengkap semua bentuk faktor-faktornya.
FMIPA-UNEJ

Contoh 3.6. Bentuk CCNF untuk dua unsur p dan q adalah (x + y )(x + y )(x + y )(x + y ) Dapat ditunjukkan bahwa betuk CCNF adalah suatu kontradiksi.

Daftar Isi

Judul

115 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

3.3.

Komplemen Bentuk Normal


FMIPA-UNEJ

Denisi 3.6. Komplemen dari suatu bentuk normal adalah sukusuku atau faktor-faktor dari bentuk lengkap yang tidak dimuat dalam bentuk normal tersebut.

Daftar Isi

Judul

Contoh 3.7. Tentukan komplemen dari: (i) pq + p q (ii) xyz + xyz + xy z + xy z Jawab: Suku-suku yang tidak termuat dari dua bentuk di atas adalah masing- masing: (i) pq + p q
Layar Penuh 116 dari 388

Cari Halaman

Kembali

(iii) x yz + x yz + x y z + x y z
Tutup

Keluar

Contoh 3.8. Tentukan komplemen dari : (i) (x + y )(x + y )(x + y ) (ii) (x + y ) Jawab : Faktor- faktor dari bentuk lengkap yang tidak termuat masingmasing adalah: (i) (x + y ) (ii) (x + y )(x + y )(x + y )
117 dari 388 FMIPA-UNEJ

Daftar Isi

Judul

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

3.4.

Translasi Bentuk Normal


FMIPA-UNEJ

Suatu bentuk CNF dapat diubah atau ditranslasikan ke bentuk DNF atau sebaliknya baik dengan menggunakan sifat- sifat perakit maupun dengan membuat negasi dari komplemennya. Contoh 3.9. Translasikan bentuk CNF ke DNF atau sebaliknya.

Daftar Isi

Judul

(i) (x + y )(x + y ), CNF; (ii) xy + x y , DNF.


118 dari 388

Jawab:
Cari Halaman

(x + y )(x + y ) (x + y )x + (x + y )y xx + yx + xy + yy 0 + yx + xy + 0 yx + xy DNF

distributif distributif komplemen identitas


Layar Penuh Kembali

Tutup

Keluar

xy + x y (xy + x )(xy + y ) (x + x )(y + x )(x + y )(y + y ) 1.(y + x )(x + y ).1 (y + x )(x + y ) CNF

distributif distributif komplemen identitas


Daftar Isi FMIPA-UNEJ

Dapat dibayangkan bahwa semakin kompleks bentuknya, operasi yang dilibatkan juga semakin kompleks sehingga tidak semua bentuk dapat diselesaikan dengan mudah dengan cara di atas. Untuk itu dapat dipergunakan cara negasi komplemen.

Judul

119 dari 388

Aturan 3.1. Langkah langkah untuk mengubah dari bentuk CNF ke DNF dan sebaliknya 1. Tentukan komplemen dari bentuk yang dimiliki, yaitu suku atau faktor dari CDNF atau CCNF yang tidak ada dalam pernyataan yang dimiliki; 2. Tentukan negasi dari komplemen yang diperoleh

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Maka bentuk yang diperoleh sudah berubah dari CNF ke DNF atau sebaliknya, tetapi masih ekuivalen dalam artian nilai kebenarannya masih sama.
FMIPA-UNEJ

Contoh 3.10. Ubah bentuknya dengan aturan di atas. 1. Bentuk CNF (x + y )(x + y ), (a) komplemen:(x + y )(x + y ) (b) negasi komplemen: (x + y )(x + y ) . (c) Selanjutnya dengan menerapkan hukum De Morgan, diperoleh xy + x y yang merupakan bentuk DNF. 2. Diketahui bentuk DNF xyz + xyz + xy z + xy z + x yz

Daftar Isi

Judul

120 dari 388

Cari Halaman

(a) komplemennya x yz + x y z + x y z (b) negasinya: x yz + x y z + x y z . (c) Hukum De Morgan menghasilkan bentuk CNF (x + y + z )(x + y + z )(x + y + z ).
Kembali

Layar Penuh

Tutup

Keluar

3.5.

Aplikasi Bentuk Normal


FMIPA-UNEJ

Sebagaimana telah disampaikan di depan, manfaat utama bentuk Normal ini adalah dalam menentukan bentuk persamaan yang diketahui karakteristiknya. Sebagimana telah dipelajari sebelumnya nilai karakteristik terdiri atas 0 dan 1. Aturan 3.2. Jika kita perhatikan nilai 1 dari karakteristiknya maka aturannya adalah sebagai berikut : 1. bentuk yang diperoleh adalah DNF; 2. tiap baris yang bernilai 1 merupakan satu suku dengan nilai 1 berarti bentuk adalah positif dan nilai 0 berarti negasi ( ). Aturan 3.3. Jika yang kita perhatikan adalah nilai 0 dari karakteristiknya maka aturannya adalah: 1. bentuk yang diperoleh adalah bentuk CNF; 2. tiap baris yang bernilai 0 berbentuk positif dan yang bernilai 1 berbentuk negasi ( ).

Daftar Isi

Judul

121 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Untuk mengerjakan yang lebih sederhana kita memilih bentuk CNF atau DNF sesuai dengan jumlah yang lebih sedikit dari yang lain yaitu : 1. jika 1 lebih sedikit, gunakan DNF

FMIPA-UNEJ

Daftar Isi

2. jika 0 lebih sedikit gunakan CNF Contoh 3.11. Tentukan persamaaan yang mempunyai karakteristik 10001001 Karena 1 lebih sedikit, maka kita menggunakan bentuk DNF. p p 1 1 1 1 0 0 0 0 q 1 0 0 0 1 1 0 0 q r 1 1 0 0 1 0 0 0 r y 1 0 0 0 1 0 0 1 pqr
122 dari 388 Judul

Cari Halaman

p qr
Kembali

pqr

y = pqr + p qr + p q r

Layar Penuh

Tutup

Keluar

Kita peroleh bentuk DNF dengan 3 suku ( ada tiga karakteristik 1 ) yaitu y = pqr + p qr + p q r . Tugas kita selanjutnya adalah menyederhanakan bentuk normal ini dengan hukum-hukum yang telah dipelajari. Kita bisa periksa ( cek ) kebenarannya dengan membuat tabel kebenarannya. Contoh 3.12. Tentukan persamaan dengan karakteristik 01111110 Karena 0 lebih sedikit kita menggunakan bentuk CNF p p 1 1 1 1 0 0 0 0 q 1 0 0 0 1 1 0 0 q r 1 1 0 0 1 0 0 0 r y 0 1 1 1 1 1 1 0 p +q +r
123 dari 388 FMIPA-UNEJ

Daftar Isi

Judul

Cari Halaman

Kembali

p+q+r

y = (p + q + r)(p + q + r )

Layar Penuh

Tutup

Keluar

Maka bentuk yang kita peroleh adalah CNF dengan dua faktor yaitu y = (p + q + r)(p + q + r ).
FMIPA-UNEJ

Daftar Isi

Judul

124 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

3.6.

Aplikasi Logika dalam Aljabar Himpunan dan Listrik


FMIPA-UNEJ

Hukum-hukum logika dapat diterapkan dalam aljabar jaringan listrik (electrical network atau electrical switching). Pada dasarnya semua pembahasan ini didasari oleh aljabar Boole. Keharmonisan aljabar Boole, logika himpunan dan aljabar jaringan listrik dapat ditunjukkan dengan tabel berikut : Dalam himpunan didenisikan bahwa A B adalah himpunan yang hanya beranggotakan unsur-unsur yang yang sekaligus A dan B . Tabel keanggotaan untuk A B dilihat pada tabel berikut. Perhatikan bahwa tabel kebenaran A B ini ekuivalen dengan tabel kebenaran konjungsi p q. Tabel Keanggotaan A B dan tabel kebenaran A B A B AB A B AB 1 1 1 dan 1 0 0 / / 0 1 0 / / 0 0 0 / / /

Daftar Isi

Judul

125 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Tabel 3.2: Hubungan antara aljabar Boole, Aljabar Himpunan, Aljabar Proposisi dan aljabar jaringan listrik No Aspek Aljb. Proposisi Aljb. Himpunan Aljb. Listrik 1 Unsur pernyataan himpunan saklar p, q, r A, B, C A, B, C c 2 Negasi p () saklar balik 3 Konjugsi seri 4 Disjungsi paralel 5 Implikasi logis 6 Ekuivalensi ekuivalensi kesamaan ekuivalensi 7 Nilai global T S tertutup 8 Nilai global F terbuka 9 nilai lokal 1 tertutup 9 nilai lokal 0 in terbuka

FMIPA-UNEJ

Daftar Isi

Judul

126 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

FMIPA-UNEJ

Daftar Isi

Judul

127 dari 388

Cari Halaman

Kembali

Gambar 3.1: Diagram Venn mengilustrasikanA B


Layar Penuh

Tutup

Keluar

3.7.

Aljabar Jaringan Listrik atau Saklar


FMIPA-UNEJ

Rangkaian seri
Dalam aljabar jaringan listrik rangkaian seri identik dengan konjungsi seperti diilustrasikan pada gambar berikut Jaringan/ rangkaian listrik mengilustrasikan AB

Daftar Isi

Judul

128 dari 388

Cari Halaman

Kembali
L

Layar Penuh

Tutup

Keluar

Keterangan : 1. Jika suatu jaringan dirangkai seri dan salah satu saja saklarnya dibuka (o) maka arus listrik tidak dapat lewat dan lampu padam (o). 2. Dalam pembicaraan jaringan listrik ini kita hanya memperhatikan susunan. rangkaian saklarnya, sumber listrik dan lampu biasanya diabaikan. Kondisi aliran listrik berdasarkan terbuka dan tertutupnya saklar A dan B ditunjukkan dalam tabel berikut. Bandingkan tabel tersebut dengan tabel kebenaran A B dan tabel keanggotaan A B .
129 dari 388

FMIPA-UNEJ

Daftar Isi

Judul

Tabel aliran listrik (kondisi menyala/tidaknya lampu L dilihat dari kondisi tertutup/terbukanya saklar Adan B A B L tertutup (1) tertutup(1) menyala (1) tertutup (1) terbuka(0) padam (0) terbuka (0) tertutup(1) padam (0) terbuka (0) terbuka(0) padam (0)

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

p on on o o

q A+B on on o on on on o o

FMIPA-UNEJ

Daftar Isi

Rangkaian paralel
Rangkaian paralel seperti pada Gambar identik dengan aljabar perakit disjungsi Keterangan :

Judul

130 dari 388

1. Pada rangkaian paralel arus listrik bisa lewat jika salah satu saklarnya di on/ ditutup.

Cari Halaman

Kembali

2. Jika salah satu/semua dibuka/on arus listrik dapat lewat dan lampu menyala.

Layar Penuh

Tutup

Keluar

Rangkaian negasi
Rangkaian A dan A dipasang sedemikian sehingga jika p on maka otomatis p o dan sebaliknya. Ketiga rangkaian di atas (negasi, seri , paralel ) yang merupakan rangkaian dari bentuk dasar (negasi, konjungsi, dan disjungsi) disebut rangkaian dasar. Rangkaian-rangkaian lain seperti implikasi, biimplikasi, Nor (Not Or), Nand (Not And) dan lain-lainnya, dapat diturunkan dari rangkaian-rangkaian dasar diatas. Sebagai aplikasi dari bentuk normal, kita juga dapat merangkai jaringan listrik dengan bermacam-macam hasil (out put/karakteristik ) yang kita inginkan. Contoh 3.13. Tiga buah saklar dirangkai dan dihubungkan pada sebuah bel. Ternyata bel tersebut hanya berbunyi apabila tepat satu saja dari ketiga saklar diatas di tekan (on). Jika sekaligus dua saklar atau lebih di-on-kan bel tidak mau berbunyi. Tentukan bagaimana saklar-saklar tadi dirangkai. Jawab: Misalkan ketiga saklar itu adalah x, y, z (kita juga bisa menggunakan huruf besar A, B, C ) hasil yang terjadi adalah sebagai berikut:

FMIPA-UNEJ

Daftar Isi

Judul

131 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

x 1 1 1 1 0 0 0 0

y 1 1 0 0 1 1 0 0

z 1 0 1 0 1 0 1 0

keluaran 0 0 0 1*) 0 1 *) 1*) 0

FMIPA-UNEJ

Daftar Isi

Judul

Tanda *) menunjukkan bahwa dalam keadaan ini bel berbunyi (output = 1), yang lain padam, tidak berbunyi (output= 0). Karena banyaknya berbunyi ( 1 ) lebih sedikit kita gunakan bentuk DNF dan persamaan rangkaiannya adalah: xy z + x yz + x y z atau (x(y (z )((x(y (z )((x(y (z ).

132 dari 388

Cari Halaman

Kembali

Layar Penuh

Contoh 3.14.
Tutup

Keluar

Ubah ekspresi berikut ke bentuk DNF (i) (x + y ) (ii) (pqr ) + (pr) + (pq ) Jawab : (i) Bentuk (x + y ) adalah berbentuk CNF , maka cara merubah ke bentuk DNF nya kita lakukan dengan mencari negasi dari komplemennya. Komplemen bentuk ini adalah: (x + y )(x + y )(x + y ). Negasi komplemennya adalah: = ((x + y )(x + y )(x + y ) ) = (x + y ) + (x + y ) + (x + y ) = x y + xy + xy (DNF) (ii) Bentuk pqr + pr + pq , suku pertamanya sudah lengkap, tinggal suku kedua dan ketiga yang tidak lengkap. Suku kedua tidak mengandung q . Kita bisa menganggap pr = pr.1 pr = pr(q + q ) = pqr + pq r identitas distributif
Layar Penuh Cari Halaman 133 dari 388 Daftar Isi FMIPA-UNEJ

Judul

Kembali

Tutup

Keluar

Suku ketiga tidak mengandung r, maka pq = pq.1 = pq (r + r ) = pqr + pqr Jadi kita peroleh : pqr + pq r + pqr
Judul

ident. & komp. distributif

FMIPA-UNEJ

Daftar Isi

Contoh 3.15. Ubah ekspresi berikut ke bentuk CN F. 1. p q + pq 2. p(q + r)


134 dari 388

Jawab: 1. Bentuk p q + pq adalah DN F , karenanya kita translasikan dengan menggunakan negasi komplemennya. Komplemennya adalah : (pq + p q ). Negasinya: (pq + p q ) = (pq )(p q ) = (p + q )(p + q ).
Layar Penuh Cari Halaman

Kembali

Tutup

Keluar

Jadi bentuk CN F nya adalah : (p + q )(p + q )


FMIPA-UNEJ

2. p(q + r) ; terdiri atas dua faktor, yaitu faktor pertama p tidak lengkap, dan faktor kedua (q + r) juga tidak lengkap p=p+0 = p + (q.q ) = (p + q )(p + q ) = ((p + q ) + 0)((p + q ) + 0) = ((p + q ) + (rr ))((p + q ) + (rr )) = (p + q + r)(p + q + r )(p + q + r)(p + q + r ) (q + r) tidak mengandung p identitas

Daftar Isi

Judul

komplemen distributif identitas komplemen distributif.


Cari Halaman 135 dari 388

Kembali

(q + r) = (q + r) + 0 = (q + r) + pp = (q + r + p)(q + r + p )

identitas komplemen distributif


Tutup Layar Penuh

Keluar

p 1 1 0 0

q keluaran 1 1 0 0 1 0 1 1

FMIPA-UNEJ

Daftar Isi

Jadi bentuk keseluruhannya adalah : (p + q + r)(p + q + r )(p + q + r)(p + q + r )(q + r + p)(q + r + p ) atau

Judul

136 dari 388

(p + q + r)(p + q + r)(p + q + r)(p + q + r )(p + q + r )


Cari Halaman

( dengan menerapkan hukum distributuf dan idempoten ) Contoh 3.16. Tentukan persamaan yang mempunyai karakteristik 1001. Jawab : Misalkan unsur-unsurnya adalah p dan q, maka
Kembali

Layar Penuh

Tutup

Keluar

Banyaknya 1 dan 0 sama jadi bisa memakai DN F maupun CN F. Misalkan 0 kita jadikan pedoman maka kita peroleh : y = (p + q )(p + q ) (CNF). Contoh 3.17. Suatu alat peraga logika terdiri atas tiga saklar dan sebuah lampu. Ternyata lampu tersebut menyala hanya apabila ketiga saklar tersebut di-on-kan atau jika ketiga saklar di-o-kan. Tentukan persamaan rangkaiannya. Jawab: Lampu menyala (1 ) hanya pada dua keadaan A = B = C = 1atau A = B = C = 0 (A, B, C menunjukkan saklar-saklarnya ). Dengan menggunakan nilai 1 berarti kita menuju bentuk DNF dan unsur-unsur bernilai 1 adalah positif, yang bernilai 0 adalah beerbentuk negasi. Dengan demikian kita peroleh persamaannya : y = ABC + A B C . Contoh 3.18. Empat orang anak masing-masing Ali , Budi , Citra dan Didiek menghadapi saklar yang dihubungkan pada sebuah lampu. Ternyata lampu tersebut dalam keadaan:
FMIPA-UNEJ

Daftar Isi

Judul

137 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

(i) Jika Ali dan Citra meng-on-kan saklarnya sedangkan Budi dan Didiek tidak, lampu menyala. (ii) Jika Citra sendiri meng-onkan saklarnya sedang yang lainnya tidak, lampu menyala. (iii) Jika keempat-empatnya serempak meng-on-kan saklarnya lampu menyala. Untuk keadaan yang lain-lainnya lampu padam. Tentukan persamaan rangkaiannya. Jawab: Misalkan saklar yang mereka hadapi adalah A, B, C, D. Untuk menyelesaikan ini kita bisa membuat semacam tabel kebenarannya atau langsung dengan hanya memperhatikan keadaan-keadaan pada saat lampunya menyala yaitu : (i) hanya Ali dan Citra yang meng-onkan lampu AB CD (B dan D dalam bentuk negasi) (ii) hanya Citra sendiri yang meng-onkan saklar
Layar Penuh FMIPA-UNEJ

Daftar Isi

Judul

138 dari 388

Cari Halaman

Kembali

A B CD ( hanya C yang tidak negasi )


Tutup

Keluar

(iii) Keempat-empatnya serempak meng-onkan saklar ABCD


FMIPA-UNEJ

Jadi persamaannya y = ABCD + AB CD + A B CD . Langkah berikutnya tinggal menyederhanakan bentuk tadi jika memang diangggap perlu.

Daftar Isi

Judul

139 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

3.8.

Bacaan Lebih Lanjut


FMIPA-UNEJ

Untuk mendalami lebih jauh aplikasi logika atau aljabar Boole dalam aljabar jaringan listrik selain beberapa sumber yang telah dikutip sebelumnya. Selain itu dapat juga dibaca beberapa sumber lain diantaranya Lipschutz [9], Nissanke [14], Sulistyaningsih [19] dan Siang [17].

Daftar Isi

Judul

140 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

3.9.

Soal-soal Latihan
FMIPA-UNEJ

1. Tentukan persamaan yang paling sederhana dari bentuk yang mempunyai karakteristik berikut: (a) 01010001

Daftar Isi

(b) 01101111 (c) 00110011 (d) 00111011 2. Pikirkan persamaan rangkaian listrik dengan tiga saklar A, B, C dengan ketentuan: (a) Arus mengalir setiap kali A on dan C o kecuali jika sekaligus A dan B on (arus tidak mengalir). (b) Jika B on dan A dan C o arus mengalir.
Kembali Judul

141 dari 388

Cari Halaman

3. Empat peserta cerdas cermat masing-masing menghadapi sebuah saklar yang dihubungkan pada sebuah bel. Juri ingin agar bel tersebut berbunyi hanya apabila salah satu saja dari keempat

Layar Penuh

Tutup

Keluar

kelompok tersebut yang meng-onkan saklarnya. Sedangkan jika lebih dari satu kelompok mengonkan saklarnya bersama-sama bel tidak boleh berbunyi. Cobalah anda bantu juri merangkaikan bel dan saklarnya tersebut. 4. Seorang bapak berhasrat agar lampu kebunnya dapat dimatikan maupun dihidupkan masing-masing dari tiga tempat (ruang tamu (T) , garasi (G) , ruang tengah (H)). Jadi jika ia ingin menghidupkan atau mematikan lampu kebunnya ia harus dapat melakukannya melalui saklar T , saklar G maupun H . Bantulah bapak ini membuat persamaan rangkaiannya. 5. Buatlah rangkaian dari persamaan berikut : (a) (A + B )(A ((B + (A B ) (b) ((A + B )C ) + (A B C ) (c) ((A + B ) C ) (A + C )

FMIPA-UNEJ

Daftar Isi

Judul

142 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

FMIPA-UNEJ

BAB

4
KUANTOR

Daftar Isi

Judul

143 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Tujuan Umum
Setelah menyelesaikan materi ada bab ini diharapkan memahami kuantor serta mampu menggunakannya dalam menyelesikan soal-soal logika yang mengandung kuantor.
FMIPA-UNEJ

Daftar Isi

Judul

144 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Tujuan Khusus
Setelah menyelesaikan materi ada bab ini diharapkan dapat 1. memberi contoh tetapan dan peubah 2. memberi contoh kalimat matematika terbuka maupun tertutup 3. memberi kuantor universal maupun eksistensial yang sesuai untuk suatu kalimat 4. mencari negasi suatu pernyataan berkuantor 5. mencari contoh penyanggah suatu pernyataan berkuantor
145 dari 388 FMIPA-UNEJ

Daftar Isi

Judul

6. menentukan kuantor untuk pernyataan yang mengandung perakit 7. menentukan kuantor untuk pernyataan dengan lebih dari 1 peubah

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Materi
1. Tetapan dan peubah 2. Kalimat matematika, kalimat terbuka, kalimat tertutup 3. Kuator universal dan Kuantor eksistensial 4. Negasi kuantor
Judul FMIPA-UNEJ

Daftar Isi

5. Contoh penyanggah 6. Kuantor dengan disjungsi, konjungsi dan implikasi 7. Kuantor lebih dari satu peubah
146 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

4.1.

Tetapan dan Peubah


FMIPA-UNEJ

Dalam matematika, notasi yang melambangkan unsur dibedakan atas dua macam yaitu yang mewakili unsur yang bersifat tetap dan unsur yang berubah.

Daftar Isi

Denisi 4.1. Tetapan atau konstanta adalah lambang yang mewakili suatu elemen tertentu yang bersifat khusus atau bersifat tetap dalam suatu semesta pembicaraan. Denisi 4.2. Semesta pembicaraan adalah kumpulan yang menjadi sumber atau asal unsur-unsur yang dibicarakan.

Judul

147 dari 388

Dalam matematika, terutama dalam bentuk umum fungsi maupun persamaan, tetapan biasanya disimbolkan dengan huruf-huruf pertama dari abjad seperti : a, b, c, ... Contoh 4.1. Dalam pernyataan-pernyataan berikut, simbol yang digaris bawahi adalah suatu tetapan.

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

((i) 2 adalah bilangan asli. (ii) Ani berbaju merah. (iii) Betuk umum pungsi linier adalah y = ax + b. Pada contoh di atas, Ani meskipun kita tidak tahu persis siapa orangnya, namun Ani tidak dikatakan sebagai peubah karena jelas Ani menunjukkan nama seseorang tertentu tidak semua orang dapat disebut Ani. Pada contoh (iii) a, b meskipun tidak diketahui dengan persis, tetapi keduanya adalah suatu tetapan yang tidak berubah sebagaimana halnya x dan y . Denisi 4.3. Peubah atau variabel adalah lambang yang masih mewakili suatu elemen umum yang belum dikhususkan atau yang nilainya berubah-ubah pada semesta pembicarannya.
FMIPA-UNEJ

Daftar Isi

Judul

148 dari 388

Cari Halaman

Kembali

Contoh 4.2. Bagian-bagian yang digarisbawahi pada contoh kalimat berikut adalah peubah. Pada umumnya peubah dilambangkan dengan huruf-huruf terahkir dari abjad seperti : x, y, z .

Layar Penuh

Tutup

Keluar

(i) x adalah bilangan asli (ii) Manusia berbaju merah (iii) Bentuk umum fungsi linier adalah y = ax + b
FMIPA-UNEJ

Daftar Isi

Judul

149 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

4.2.

Kalimat matematika, kalimat terbuka, kalimat tertutup


FMIPA-UNEJ

Dalam pembahasan matematika, banyak dilibatkan kalimat-kalimat ataupun pernyataan-pernyataan yang memuat simbol-simbol matematika. Kalimat-kalimat tersebut ada yang berbentuk pernyataan ada yang tidak.

Daftar Isi

Judul

Denisi 4.4. Kalimat matematika adalah kalimat yang memuat simbol-simbol matematika seperti peubah, tetapan dan operator lainnya.
150 dari 388

Denisi 4.5. Kalimat matematika terbuka adalah kalimat matematika yang belum bisa dinilai benar atau salah. Denisi 4.6. Kalimat matematika tertutup (disebut juga pernyataan matematis) adalah kalimat matematika yang sudah bisa dinilai benar atau salah.

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Contoh 4.3. Kalimat p(x) : x + 2 7, adalah suatu kalimat matematika terbuka, karena belum bisa dinilai bear atau salah. Misalkan semesta pembicaraannya adalah himpunan semua bilangan real. Berarti x adalah anggota dari himpunan bilangan real. Jika kita gantikan x dengan sembarang bilangan real x 5 maka terbentuklah pernyataan yang bernilai benar. Sebaliknya jika kita gantikan x dengan bilangan-bilangan x < 5 , maka terbentuk pernyataan yang bernilai salah. Pada kalimat terbuka p(x) dengan semesta U , setiap kali kita mengambil elemen u dari U , maka p(x) = p(u) bernilai tepat salah satu benar atau salah . Semua elemen x U yang menyebabkan p(x) bernilai benar disebut himpunan penyelesaian/ himpunan kebenaran (truth set/ solution set) dari p dan dinotasika dengan Tp .

FMIPA-UNEJ

Daftar Isi

Judul

151 dari 388

Cari Halaman

Teorema 4.1. Untuk p, kalimat terbuka pada U , maka untuk setiap u U atau (p(u)) = 1, atau (p(u)) = 0. Denisi 4.7. Himpunan kebenaran atau himpunan penyelesaian adalah himpunan semua unsur dari semesta pembicaraan yang

Kembali

Layar Penuh

Tutup

Keluar

menyebabkan terjadinya kalimat/ pernyataan yang bernilai benar. Tp = {u U, p(u) = 1}


FMIPA-UNEJ

Contoh 4.4. (i) Perhatikan kalimat terbuka : x + 2 10, x bilangan asli, maka Tp = {x 8, x bilagan asli }. (ii) Misalkan p(x); x2 < 0 ; x bilangan real, maka Tp = (iii) Misalkan p(y ); y 2 0; y bilangan real, maka Tp = U = . Semua bilangan real jika dikuadratkan akan lebih atau sama dengan nol.

Daftar Isi

Judul

152 dari 388

Cari Halaman

Teorema 4.2. Suatu kalimat terbuka dapat dinyatakan kalimat tertutup dengan menggantikan peubahnya dengan tetapan dari semesta pembicaraannya.

Kembali

Layar Penuh

Tutup

Keluar

Contoh 4.5. (i) Misalkan p(n) : n +2 > 8 adalah kalimat terbuka, misalnya pada semesta N (himpunan semua bilangan asli), maka (a) p(2) : 2 + 2 > 8 adalah pernyataan salah. (b) p(8) : 8 + 2 > 8 adalah pernyataan benar. (ii) q (x) : x2 2x + 1 = 0 adalah kalimat terbuka pada
Judul

FMIPA-UNEJ

Daftar Isi

, maka:

(a) q (2) : 22 2.2 + 1 = 0 adalah pernyataan salah dan (b) q (1) : 12 2.1 + 1 = 0 adalah pernyataan benar
153 dari 388

Telah disampaikan diatas bahwa jika p(x) kalimat terbuka pada semesta U maka p(x) bisa benar untuk semua x U , yaitu Tp = U . Benar untuk beberapa atau tak satu pun x U . Secara implisit ini berarti dengan memberikan kata -kata : Setiap, beberapa atau tak satupun , di depan kalimat terbuka tasi maka kalimat terbuka tadi maka kalimat terbuka tadi akan menjadi pernyataan yang bernilai benar atau salah.

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Contoh 4.6. 1. p(x) : x + 2 8 adalah kalimat terbuka pada N , maka :


FMIPA-UNEJ

(a) untuk semua x N berlaku x + 2 8, adalah pernyataan salah,


Daftar Isi

(b) ada x bilangan asli yang bersifat x + 2 8 adalah benar. 2. p(x) : x2 < 0; x bilangan asli adalah kalimat terbuka, maka: (a) ada x bilangan asli yang bersifat x2 < 0 adalah salah; (b) tidak satupun x bersifat x2 < 0 adalah benar.
154 dari 388 Judul

Jadi istilah-istilah terdapat, semua, taksatupun dapat megubah kalimat terbuka menjadi peryataan.
Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

4.3.

Kuantor
FMIPA-UNEJ

Istilah-istilah : terdapat , semua/ setiap, dengan demikian, dan sejenisnya, dapat digunakan untuk mengukur keberadaan himpunan penyelesaian (unsur-unsur yang menyebabkan p(x) bernilai benar). Kata-kata ini dalam logika disebut kuantor/ quantier (to quantify = mengukur). Kuantor dibedakan menjadi kuantor universal dan kuantor eksistensial.

Daftar Isi

Judul

4.3.1.

Kuantor Universal
155 dari 388

Misalkan p(x) adalah suatu kalimat terbuka pada semesta U maka x U, p(x) atau x, p(x) atau x, (p(x)) = 1 adalah pernyataan yang dibaca : untuk semua/ setiap x U x bersifat p atau semua x bersifat p, atau untuk semua x pernyataan p(x) adalah benar. Notasi yang dibaca setiap atau semua disebut kuantor universal. Perlu kita catat bahwa p(x) sendiri adalah suatu kalimat terbuka, akan tetapi akan tetapi x, p(x) adalah suatu pernyataan.
Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Denisi 4.8. Nilai kebenaran pernyataan yang mengandung kuantor universal adalah x, p(x) = 1 jika dan hanya jika Tp = U.

FMIPA-UNEJ

Daftar Isi

Contoh 4.7. Misalkan (i) p(x) : x + 2 3 dengan semesta N , maka Tp = N . sehingga x N, x + 2 3 adalah benar. Demikian juga dengan (ii) p(x) : x + 2 = 10 dengan semesta N maka Tp = {8}, sehingga x N, x + 2 = 10 adalah salah. Dengan cara yang sama dapat dibuktikan bahwa (iii) x , x2 < 0 adalah salah dan (iv) x , x2 + 2x + 8 > 0 adalah benar.

Judul

156 dari 388

Cari Halaman

4.3.2.

Kuantor Eksistensial
x U, p(x) atau x, p(x) atau x, (p(x)) = 1

Kembali

Misalkan p adalah suatu kalimat terbuka pada semesta U , maka:


Layar Penuh

Tutup

Keluar

adalah pernyataan yang dibaca : terdapat x yang bersifat p, atau beberapa x bersifat p, atau paling sedikit satu x bersifat p. Notasi yang dibaca : beberapa , terdapat, paling sedikit satu disebut kuantor eksistensial. Denisi 4.9. Nilai kebenaran kuantor eksistensial adalah x, p(x) = 1, jika dan hanya jika Tp = .

FMIPA-UNEJ

Daftar Isi

Judul

Contoh 4.8. (i) p(x) : x2 4x + 4 = 0 untuk semesta , dengan Tp = {2}, maka x, x2 4x + 4 = 0 untuk semesta adalah benar. (ii) p(x) : x2 2x + 4 = 0 untuk semesta x, x2 4x + 4 = 0 adalah salah. , dengan Tp = , maka
157 dari 388

Cari Halaman

Kembali

Dalam menggunakan kata-kata terdapat x, biasanya ditambahkan juga istilah sedemikian sehingga yang dalam logika dinotasikan dengan

Layar Penuh

Tutup

Keluar

Contoh 4.9. Notasi logika dari pernyataan terdapat bilangan asli sedemikian sehingga kuadratnya lebih dari 26 tetapi tidak lebih dari 100 adalah x N, 26 < x2 100.
FMIPA-UNEJ

Kuantor Universal dan eksistensial masing-masing dapat digunakan untuk mendenisikan Irisan dan gabungan dari keluarga himpunan {Ai , i = 1, 2, 3, }; (i) Irisan (Interseksi) keluarga himpunan. adalah himpunan yang beranggotakan unsur-unsur yang muncul pada setiap himpunan, yaitu: Ai = {x|x Ai , i I }
i I

Daftar Isi

Judul

(ii) Gabungan (Union) dari keluarga himpunan adalah himpunan yang beranggotakan unsur-unsur yang cukup muncul pada salah satu himpunan Ai tadi Ai = {x|i I
i I

158 dari 388

Cari Halaman

x Ai}

Kembali

Pembahasan yang lebih rinci akan disampaikan pada Bab Pada Bab 6.

Layar Penuh

Tutup

Keluar

4.4.

Negasi Kuantor
FMIPA-UNEJ

Seperti halnya pada pernyataan tanpa kuantor, pada dasarnya negasi diperoleh dengan melakukan penyangkalan terhadap kalimat bersangkutan. Misalnya penyangkalan terhadap pernyataan : Semua manusia berhati dengki, mengandung pengertian bahwa tidak semua manusia berhati dengki, atau, setidak-tidaknya ada satu manusia yang tidak berhati dengki. Secara simbolis dapat dituliskan: (x M )(x berhati dengki )) x M, d(x) x M )(x berhati dengki ) x M, d(x) (x M )(x tidak berhati dengki) x M Kita peroleh kesimpulan bahwa : (x) p(x)) = x, d(x)

Daftar Isi

Judul

159 dari 388

Cari Halaman

p(x).

(4.1)
Kembali

Hasil di atas dapat diangap sebagai penerapan hukum De Morgan pada pernyataan yang mengandung kuantor. Pernyataan/ kalimat x tidak bersifat p biasa dinotasikan denganp(x) atau p(x) atau p(x).

Layar Penuh

Tutup

Keluar

Contoh 4.10. Tuliskan Kalimat / pernyataan berikut dengan tanda kuantor yang tepat dan tentukan negasinya. Demikian pula tulis secara lengkap bagaimana pengucapan negasinya.
FMIPA-UNEJ

(i) Semua bilangan asli n bersifat n + 2 10. Jawab Notasi p Negasi p : : n N, n + 2 10. n N, n + 2 10 n N, n + 2 < 10
Daftar Isi

Judul

Pernyataan di atas dapat diucapkan sebagai beberapa bilangan asli jika ditambah 2 hasilnya kurang dari 10, atau beberapa bilangan asli n bersifat n + 2 < 10. (ii) Setiap manusia dapat mati Jawab: Notasi : p Negasi : p (x M )(x dapat mati) (x M )m(x) (x M ), (xtidak dapat mati) (x M ), (m(x))

160 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Ada manusia yang tidak dapat mati. Selanjutnya negasi dari pernyataan yang mengandung kuantor eksistensial dicari dengan cara yang sama. Misalnya sanggahan terhadap pernyataan:Ada manusia yang bisa terbang adalah: Tidak benar (mustahil) ada manusia yang dapat terbang. Pernyataan ini mengandung arti bahwa semua manusia tidak dapat terbang. Secara simbolis kita dapat ditulis: x M x dapat terbang x M, t(x) x M (xdapat terbang) x M (x tidak dapat terbang) Jadi, secara umum kita peroleh (x) q (x)) x M, t(x) x M, t(x)
161 dari 388

FMIPA-UNEJ

Daftar Isi

Judul

= x, q (x).

(4.2)
Cari Halaman

Perhatikan bahwa nilai kebenaran p dengan p untuk p yang mengandung kuantor adalah saling berlawanan, sebagaimana p yang tidak mengandung kuantor. Contoh 4.11. Tuliskan notasi pernyataan berikut dengan tepat. Selanjutnya tentukan negasi dan pengucapannya.

Kembali

Layar Penuh

Tutup

Keluar

i Ada bilangan prima yang genap Jawab : misalkan P adalah bilangan prima, dan g : bersifat genap. Notasi : x P, g (x) Negasi : x P, g (x) : semua bilangan prima, tidak genap. ii Semua bujur sangkar adalah persegi panjang Jawab : misalkan B : bujur sangkar p : persegi panjang. Notasi : x B, p(x) Negasi : x B, p(x) Ada bujur sangkar yang bukan persegi panjang.
162 dari 388 FMIPA-UNEJ

Daftar Isi

Judul

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

4.5.

Notasi lain untuk dan


FMIPA-UNEJ

Misalkan U = {2, 3, 5} dan p(x): x adalah bilangan prima, maka pernyataan : 2 adalah bilangan prima dan 3 adalah bilangan prima dan 5 adalah bilangan prima dapat dinotasikan dengan : p(8) p(3) p(5) = u U, p(u). Pernyataan ini berarti: setiap u U bersifat p(u). Jadi kita peroleh : u U, p(u)
uU

Daftar Isi

p(u)

(4.3)

Judul

Demikian pula kalimat : 2 adalah bilangan prima atau 3 adalah bilangan prima atau 5 adalah bilangan prima dapat dinotasikan :p(2) p(3) p(5) uU p(u). Pernyataan di atas sama artinya dengan setidaknya (paling tidak) ada satu elemen U yang bersifat p yaitu : u U p(u). Jadi u U, p(u) p(u) (4.4)
uU

163 dari 388

Cari Halaman

Jadi notasi dan juga dapat dipergunakan selain notasi dan . Catatan : Jika U adalah himpunan yang berhingga maka pernyataan (4.3) dan (4.4) dapat dibuat. Tetapi untuk U yang takberhingga hanya (4.4) yang dibuat.

Kembali

Layar Penuh

Tutup

Keluar

4.6.

Kuantor, Disjungsi, Konjungsi dan Implikasi


FMIPA-UNEJ

Penggunaan kuantor dapat bersama-sama dengan konektif atau perakit -perakit pernyataan seperti dijungsi, konjungsi maupun implikasi. Contoh 4.12. Berikut ini adalah beberapa contoh kuantor yang bergabung dengan beberapa perakit logika yang telah dipelajari. 1. Untuk semua bilangan asli, jika dia prima (P), maka dia ganjil (G) x , P (x) G(x) 2. Semua segitiga sama sisi (S) adalah sama kaki(K). Pernyataan ini ekuivalen dengan untuk semua segitiga, jika dia sama sisi maka dia sama kaki. x G, S (x) K (x) 3. Ada bilangan prima (P) yang genap (A). Pernyataan ini ekuivalen dengan ada bilangan asli (N) yang sekaligus prima (P) dan genap (A). x N P (x) A(x)

Daftar Isi

Judul

164 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

4. Untuk semua bilangan bulat, jika tidak ganjil, pastilah dia genap dan tidak mungkin dua-duanya. x B, G(x)A(x) Apabila P (x) adalah kalimat majemuk yang mengandung perakit, maka negasinya adalah (x) P (x)) demikian juga (x) q (x)) = x, q (x). (4.6)
165 dari 388 FMIPA-UNEJ

Daftar Isi

= x,

p(x).

(4.5)

Judul

dengan P (x) maupun Q(x) mengikuti aturan negasi perakit seperti hukum De Morgan. Berikut adalah negasi dari pernyataan berkuantor yang bergabung dengan beberapa perakit logika seperti pada contoh-contoh berikut Contoh 4.13. Ada bilangan asli yang prima(P) tetapi tidak ganjil(G) x N, P (x) G(x)

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Contoh 4.14. Ada segitiga sama sisi (S) yang tidak sama kaki(K). x G, S (x) K (x)
FMIPA-UNEJ

Contoh 4.15. Semua bilangan prima (P) tidak genap (A). Pernyataan ini ekuivalen dengan untuk semua bilangan asli (N) jika dia prima (P) maka dia tidak genap (A). x N, P (x) A(x) Contoh 4.16. Ada bilangan bulat yang tidak ganjil dan tidak genap atau ada bilangan bulat yang sekaligus ganjil dan genap.

Daftar Isi

Judul

166 dari 388

x B,

G(x) A(x) G(x) A(x)


Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

4.7.

Contoh Penyanggah/ Contoh Kontra


FMIPA-UNEJ

Perhatikan bahwa x, P (x) x, P (x) yang dapat diartikan bahwa pernyataan tidak benar bahwa semua x bersifat P , ekuivalen dengan pernyataanada x tidak bersifat P . Jadi untuk mengatakan bahwa kalimat x, P (x) salah, ekuivalen dengan menunjukkan bahwa x, P (x) benar. Pernyataan terakhir ini ekuivalen dengan menunjukkan bahwa paling tidak ada satu x yang tidak bersifat P . x yang tidak bersifat P disebut contoh penyanggah/ kontra (counter example) dari pernyataan x, P (x). Teorema 4.3. Pernyataan x, p(x) bernilai salah jika ada contoh penyanggahnya dan bernilai benar jika tidak ada contoh penyanggahnya. x, p(x) x, p(x) = 0 x, p(x) x, p(x) = 1 Pada contoh-contoh berikut kita dapat menentukan nilai kebenaran pernyataannya dengan menentukan contoh penyanggahnya.

Daftar Isi

Judul

167 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Contoh 4.17. Pernyataan x, |x| > 0 bernilai salah karena ada x = 0 dengan |x| 0. Contoh 4.18. Pernyataan x, x2 > x bernilai salah karena ada x = 1 1 dengan x2 = 4 x= 2
1 2
FMIPA-UNEJ

Contoh 4.19. Semua bilangan prima (P) adalah ganjil (G) atau untuk setiap bilangan riil, jika dia prima pastilah ganjil. x, x P G Pernyataan ini adalah salah karena ada contoh penyanggahnya, yaitu x = 2 xP x /G

Daftar Isi

Judul

168 dari 388

Contoh 4.20. Pernyataan berikut adalah benar, karena tidak ada contoh penyanggahnya. x, x P G

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

4.8.

Kuantor dan kalimat terbuka lebih dari satu peubah


FMIPA-UNEJ

Untuk kalimat terbuka dengan lebih dari satu peubah, pada prinsipnya tiap-tiap peubah disajikan dengan kuantor masing-masing. Misalkan ada beberapa himpuan A1 , A2 , , An . Suatu kalimat terbuka pada A1 A2 An dinotasikan dengan p(x1 , x2 , , xn ) dengan sifat bahwa p(x1 , x2 , , xn ) bernilai benar atau salah (tetapi tidak keduanya) untuk suatu (x1 , x2 , , xn ) A1 A2 An Contoh 4.21. Misalkan M adalah himpunan laki-laki dan W adalah himpunan perempuan, maka: x suami dari y adalah kalimat terbuka pada M W dan kalimat : x istri dari y adalah kalimat terbuka pada W M. Contoh 4.22. Tentukan nilai kebenaran pernyataan-pernyataan berikut untuk semesta U = {1, 2, 3}. i x, y, x2 + y 2 < 14

Daftar Isi

Judul

169 dari 388

Cari Halaman

Kembali

Layar Penuh

ii x, y, x2 + y 2 < 14
Tutup

Keluar

iii x, y, x2 + y 2 < 14 Jawab:


FMIPA-UNEJ

i Pernyataan ini mengandung pengertian bahwa setiap kali kita mengambil x U , kita dapat mengambil beberapa y U , sedemikian sehingga x2 + y 2 < 14. Jika kita ambil x = 1 x=2 x=3 maka kita bisa ambil y = 1, 2, 3 y = 1, 2, 3 y = 1, 2

Daftar Isi

Judul

Jadi pernyataan [i] bernilai:benar. ii Pernyataan ini mengandung pengertian bahwa ada x U yang berlaku untuk semua y U sedemikian sehingga x2 + y 2 < 14. Dari pernyataan [i] di atas terlihat bahwa jika kita ambil x = 1, 2, maka nilai x ini berlaku untuk semua y U sedemikian sehingga x2 + y 2 < 14. Jadi pernyataan [ii] bernilai benar. iii Pernyataan ini mengandung pengertian bahwa untuk semua x U dan semua y U berlaku x2 + y 2 < 14. Dari pernyataan [i]
170 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

di atas terlihat bahwa jika kita ambil x = 3 dan y = 3 tidak berlaku x2 + y 2 < 14. Jadi pernyataan [iii] bernilai salah.
FMIPA-UNEJ

Contoh 4.23. Untuk semesta U = {1, 2, 3} selidiki apakah pernyataan berikut benar atau salah

Daftar Isi

Judul

x, y, z,

x2 + y 2 2z 2
171 dari 388

Jawab: Untuk sembarang atau semua x, y U terdapat atau dapat diambil z U sedemikian sehingga x2 + y 2 2z 2 . Pernyataan ini benar karena tidak ada contoh penyanggahnya. Namun untuk lebih jelasnya kita dapat memeriksa semua pasangan x dan y seperti berikut ini:

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

x 1 1 1 2 2 2 3 3 3

y 1 2 3 1 2 3 1 2 3

z 3 3 3 3 3 3 3 3 3

x2 + y 2 2 5 10 5 8 13 10 13 18

2z 2 18 18 18 18 18 18 18 18 18

Nilai(B/S) B B B B B B B B B

FMIPA-UNEJ

Daftar Isi

Judul

Teorema 4.4. Jika x dan y berasal dari semesta yang sama, maka berlaku 1. x, y p(x, y ) x, y p(x, y ) y, x p(x, y ) 2. x, y p(x, y ) x, y p(x, y ) y, x p(x, y ) 3. x, y p(x, y ) y, f orallx p(x, y )

172 dari 388

Cari Halaman

Kembali

Layar Penuh

4. x p(x) x

p ( x)
Tutup

Keluar

5. x p(x) x q (x) x p(x) q (x) 6. x p(x) x q (x) x p(x) q (x) 7. x p(x) x q (x) x p(x) q (x)
FMIPA-UNEJ

Daftar Isi

Judul

173 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

4.9.

Beberapa Bentuk Khusus


FMIPA-UNEJ

Selain kuantor dalam bentuk umum dan ada bentuk kuantor khusus seperti pada berikut ini, yang berlaku apabila peubahnya berasal dari semesta yang sama. Apabila semestanya tidak sama, maka sifat-sifat tersebut belum tentu berlaku. 1. Terdapat dengan tunggal x yang bersifat p.

Daftar Isi

Judul

! x p(x) 2. Ada sebanyak-banyaknya satu objek bersifat p. Ini berarti jika ada x dan y masing-masing bersifat p, maka x = y . (x, y ) p(x) p(y ) x = y 3. Setidaknya ada dua objek bersifat p. Berarti ada dua objek yang tidak sama masing-masing bersifat p. x, y (x = y ) p(x) p(y )

174 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

4. Tepat ada dua objek bersifat p. Berarti ada dua objek yang tidak sama masing-masing bersifat p dan setiap objek ketiga yang bersifat p, maka objek ketiga ini pasti sama dengan salah satu dua objek pertama. x, y (x = y ) p(x) p(y ) (z ) p(z ) (z = x z = y )

FMIPA-UNEJ

Daftar Isi

5. Sebanyak-banyaknya ada dua objek bersifat p. Berarti bisa ada dua, satu atau tidak ada objek yang bersifat p. x, y, z p(x) p(y ) p(z ) (x = y ) (x = z ) (y = z ) 6. Setidaknya ada satu objek bersifat p x p(x) Contoh 4.24. Misalkan M W s(x, y ) t(x, y )

Judul

175 dari 388

Cari Halaman = { Pak Ali, Pak Amir,Pak Budi } merupakan himpunan suami Kembali = { Ny. Budi, Ny. Amir, Ny. Ali, Ny. Ton, Ny. Hasan } merupakan himpunan istri. : x suami y Layar Penuh : x istri y Tutup

Keluar

Us = M W dan Ut = W M. Selanjutnya selidiki nilai kebenaran pernyataan-pernyataan i x M, y W, s(x, y ). ii y W, x M, s(x, y ).


Daftar Isi FMIPA-UNEJ

iii x W, y M, s(x, y ). iv x W, y M, t(x, y ). v x W, y M, t(x, y ). Jawab:


176 dari 388 Judul

i Pernyataan x M, y W, s(x, y ) berarti bahwa untuk setiap orang anggota M terdapat perempuan anggota W sedemikian sehingga x suami y . Dengan kata lain setiap suami di M ada istrinya di W . Pernyataan ini benar. ii Pernyataan y W, x M, s(x, y ) berarti ada perempuan anggota W yangberlaku untuk semua laki-laki angggota M sehingga laki-laki tersebut suami perempuan tadi. Dengan kata

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

lain ada beberapa perempuan yang menjadi istri semua laki-laki di M . Pernyataan ini salah. iii Pernyataan x W, y M, s(x, y ) berarti dari anggota M dan W dapat dibuat pasangan suami-istri. Pernyataan ini benar. iv Pernyataan x W, y M, t(x, y ) identik dengan pernyataan (iii) jadi bernilai benar. v Pernyataan x W, y M, t(x, y ) berarti bahwa untuk semua perempuan anggota W dapat ditentukan laki-laki anggota M sehingga dia menjadi istri laki-laki ini. Pernyataan ini salah karena ada contoh penyanggah yaitu untuk Ny. Hasan tidak dapat ditentukan laki-laki anggota M sehigga Ny. Hasan istri laki-laki tersebut.
FMIPA-UNEJ

Daftar Isi

Judul

177 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

4.10.

Bacaan Lebih Lanjut


FMIPA-UNEJ

Untuk mendalami lebih jauh materi pada bab ini dapat dibaca beberapa sumber yang telah dikutip sebelumnya. Slain itu dapat juga dibaca beberapa sumber lain di antaranya Enderton [4], Thomas [20], Gemignani [6], Polimeni & Straight [15], Fletcher et al. [5].

Daftar Isi

Judul

178 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

4.11.

Latihan
FMIPA-UNEJ

1. Bubuhkan tanda kuantor yang paling tepat ( , !, , ) sehingga pernyataan-pernyataan berikut menjadi benar untuk semesta pembicaraan . Selanjutnya berikan himpunan penyelesaiannya. (a) (. . . x) x2 = 0 (b) (. . . x) cos xo = 3 (c) (. . . x) x2 + 2x + 1 = 0 (d) (. . . x) x2 + 5x + 6 = 0 (e) (. . . x) x2 + 2x + 4 = 0 (f) (. . . x) (. . . y ) x > y (g) (. . . x (. . . y ) xy = y (h) (. . . x (. . . y ) (. . . z ) x = y = z

Daftar Isi

Judul

179 dari 388

Cari Halaman

Kembali

Layar Penuh

(i) (. . . x (. . . y ) (. . . z ) x + y = z
Tutup

Keluar

2. Bubuhkan tanda kuantor yang paling tepat ( , !, , ) sehingga pernyataan-pernyataan berikut menjadi benar untuk semesta pembicaraan himpunan manusia. Selanjutnya tentukan negasinya.
FMIPA-UNEJ

(a) (. . . x) (x ada yang melahirkan). (b) (. . . x) (x berkaki lima). (c) (. . . x) (. . . y ) (x adalah saudara kandung y ).
Judul Daftar Isi

(d) (. . . x) (. . . y ) (x tepat sama dengan y ). (e) (. . . x) (. . . y ) (x adalah suami y ). (f) (. . . x) (. . . y ) (. . . y ) (x, y, z saling mengenal).
180 dari 388

3. Misalkan M (x) P (x) W (x) r(x) q (x, y ) t(x, y ) : : : : : : x x x x x x adalah manusia adalah pria adalah wanita suka merokok dan y saling mencintai lebih cerdas dari y
Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Untuk masing-masing soal berikut tentukan simbol logikanya, simbol negasinya dan pengucapan negasinya. Selanjutnya dengan menggunakan dunia riil sebagai semesta tentukan yang mana dari pernyataan (atau negasinya) yang bernilai benar. (a) Setiap pria lebih cerdas dari setiap wanita. (b) Ada wanita yang lebih cerdas dari beberapa pria. (c) Setiap manusia adalah pria atau wanita tetapi tidak duaduanya. (d) Setidaknya ada satu wanita yang suka merokok. (e) Ada beberapa pria dan wanita yang saling menciantai. (f) Setiap pria tidak lebih cerdas dari setiap wanita. (g) Paling tidak ada 3 laki-laki yang suka merokok. (h) Paling banyak hanya ada 2 wanita yang suka merokok. 4. Buatlah negasi dari pernyataan-pernyataan berikut: (a) x, |x| > 0

FMIPA-UNEJ

Daftar Isi

Judul

181 dari 388

Cari Halaman

Kembali

Layar Penuh

(b) x

x2 = x
Tutup

Keluar

(c) xy (d) xy (e) xy

x y

=1

xy = x xy = y
FMIPA-UNEJ

(f) (x, y ) p(x) q (x) (g) (x, y ) p(x, y ) q (x, y ) 5. Diketahui: N ( x) : P ( x) : G(x) : I ( x) : C ( x) : S ( x) : J ( x) :
Daftar Isi

Judul

x x x x x x x

adalah adalah adalah adalah adalah adalah adalah

bilangan asli. bilangan prima. bilangan genap. bilangan ganjil. bilangan cacah. bujur sangkar. persegi panjang.

182 dari 388

Cari Halaman

Tentukan notasi pernyataan-pernyataan berikut:


Kembali

(a) Setiap bilangan asli adalah ganjil atau genap, tetapi tidak keduanya.
Layar Penuh

(b) Setiap bilangan asli aalah bilangan cacah.


Tutup

Keluar

(c) Terdapat bilangan yang sekaligus prima dan genap. (d) Tidak ada bilangan asli yang ganjil. (e) Semua bujur sangkar adalah persegi panjang. (f) setiap bilagan prima adalah bilangan asli. 6. Nyatakan pernyataan-pernyataan berikut dengan notasi yang ditunjuk: (a) Orang yang bangun pagi memperoleh udara segar. O(x) : x adalah orang, S (x) : x adalah udara segar, p(x, y ) : x memperoleh y . (b) Setiap mawar memiliki duri. M (x) : x adalah mawar, D(x) : x adalah duri, p(x, y ) : x memiliki y . (c) Singa yang mati lebih berbahaya dari anjing hidup. S (x) : x adalah singa, M (x) : x adalah mati, A(x) : x adalah anjing, H (x) : x adalah hidup, B (x, y ) : X lebih berbahaya dari y . (d) Semua manusia tidak mengetahui sesuatu, sebelum dia mempelajarinya. M (x) : x adalah manusia,T (x, y ) : x tidak
183 dari 388 Daftar Isi FMIPA-UNEJ

Judul

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

mengetahui y , B (x, y ) : x mempelajari y. 7. Nyatakan apakah kalimat-kalimat berikut merupakan suatu kalimat terbuka (bermakna) pada himpunan yang diberikan. (a) x + 2 < 1 untuk semesta himpunan bilangan asli.
Daftar Isi

FMIPA-UNEJ

(b) x2 + 2x + 1 = 0 untuk semesta bilangan riil. (c) x + 3 > 5 untuk semesta bilangan kompleks. (d) sin2 xo + cos2 xo = 1 untuk semesta bilangan riil. (e) x mencintai y untuk semesta bilangan kompleks. sin xo o (f) tan x = untuk semesta bilangan riil. cos xo 8. Tentukan negasi dari pernyataan-pernyataan berikut:
Cari Halaman Judul

184 dari 388

(a) x , x + 3 > 3 (b) x x5<4


Kembali

(c) x, p(x) y, q (y )
Layar Penuh

(d) x, y p(x, y ) q (x, y )


Tutup

Keluar

(e) x, y p(x, y ) q (x, y ) (f) > 0, N0 , N, N > N0 |aN | <


FMIPA-UNEJ

9. Misalkan U = {1, 2, 3, 4, 5, }. Tentukan himpunan penyelaian dari kalimat-kalimat terbuka berikut. (a) x (b) x (c) x (d) x 2x + 3 < 7. x adalah genap. x bukan prima. xx = x

Daftar Isi

Judul

10. Untuk semesta U = {2, 3, 4, . . . , 8, 9} tentukan contoh penyanggah pernyataan-pernyataan berikut. (a) x, x + 5 < 12. (b) x, x adalah prima. (c) x, x2 > 1. (d) x, x + 5 > 7.

185 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

FMIPA-UNEJ

Daftar Isi

Judul

186 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

FMIPA-UNEJ

BAB

5
PENALARAN LOGIS

Daftar Isi

Judul

187 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Tujuan Umum
Setelah meyelesaikan materi pada bab ini pembaca diharapkan memahami tehnik-tehnik penarikan kesimpulan yang valid baik secara langsung (deduktif), tak langsung, maupun secara induktif. Nantinya diharapkan mampu menerapkannya dalam pembuktian teorema-teorema di berbagai bidang matematika.
FMIPA-UNEJ

Daftar Isi

Judul

188 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Tujuan Khusus
Setelah meyelesaikan materi pada bab ini pembaca diharapkan dapat 1. menyebutkan denisi argumen 2. mengguakan berbagai bentuk argumen yang valid dalam menrik kesimpulan 3. menggunakan pembuktian tidak langsung 4. menggunakan Induksi Matematika 5. menggunakan tehnik Argumen yang mengandung kuantor
189 dari 388 FMIPA-UNEJ

Daftar Isi

Judul

6. menghindarkan sesat Pikir


Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Materi
1. Argumen 2. Bentuk-Bentuk argumen yang valid 3. Pembuktian tidak langsung 4. Induksi Matematika
Judul FMIPA-UNEJ

Daftar Isi

5. Argumen berkuantor 6. Sesat Pikir


190 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

5.1.

Argumen
FMIPA-UNEJ

Denisi 5.1. Argumen adalah suatu proposisi/ pernyataan majemuk yang memuat sekumpulan pernyataan-pernyataan P1 , P2 , ...Pn (disebut premis) dan diikuti suatu pernyataan lain Q yang disebut disebut konklusi /kesimpulan.

Daftar Isi

Judul

Notasi : Argumen secara umum dinotasikan dengan: P1 , P2 , . . . Pn Q


191 dari 388

Karena argumen itu adalah suatu proporsi/ pernyataan maka ia dapat bernilai benar atau salah. Argumen yang benar disebut argumen valid /sah /sahih. Sedangkan argumen yang tidak benar disebut argumen yang invalid /sesat /fallacy.

Cari Halaman

Kembali

Layar Penuh

Denisi 5.2. Suatu argumen dikatakan valid jika kesimpulannya meruTutup

Keluar

pakan implikasi logis dari premis-premisnya, yaitu: P1 , P2 , . . . Pn Q jhj P1 P2 P3 P n Q atau P1 P2 P3 P n Q T Karena suatu tautologi akan tetap benar tanpa bergantung pada isi pernyataan-pernyataannya maka vadilitas argumen juga tidak bergantung pada isi pernyataan-pernyataan baik pada premis maupun konklusinya. Ia hanya bergantung pada bentuknya, apakah suatu tautologi atau tidak. Ini adalah ciri khas dari logika matematika yang bersifat formal. Untuk lebih jelasnya berikut dikutipkan pendapat Lipschutz (1974:27) berikut : We emphasize that the validity of an argument does not depend upon the truth values nor the content of the statement appearing in the argument, but upon the particular form of the argument. Contoh 5.1.
Layar Penuh FMIPA-UNEJ

Daftar Isi

Judul

192 dari 388

Cari Halaman

Kembali

P1 : Jika orang hidup membujang maka ia akan tidak bahagia


Tutup

Keluar

P2 : Jika orang tidak bahagia maka ia akan mati muda Q : Jadi ()orang yang hidup membujang akan mati muda. Untuk menyelidiki valid tidaknya argumen di atas kita buat bentuk/ simbol, misalkan: p : hidup membujang (orang hidup membujang) q : orang hidup bahagia r : orang mati muda Kita peroleh : (p q, q r) (p r) Kita bisa membuktikan/ menunjukkan bahwa:

FMIPA-UNEJ

Daftar Isi

Judul

193 dari 388

(p q, q r) (p r) Jadi penalaran diatas adalah benar/ logis/ valid, terlepas dari keadaan yang sebenarnya (the concrete situation). kata-kata jadi, oleh karena itu, kesimpulan, dalam matematika sering dinotasikan dengan . Contoh 5.2.
Tutup Cari Halaman

Kembali

Layar Penuh

Keluar

Jika dua sisi segitiga sama panjang maka sudut-sudut dihadapannya sama besar P2 : Sudut dihadapannya sama besar Q : Jadi sisi (dua sisi) segitiga sama panjang. Sepintas kesimpulan di atas nampak valid, karena pernyataan kesimpulan sesuai dengan kenyataan sifat-sifat dalam geometri. Tetapi dilihat dari cara penarikan kesimpulannya, penalaran diatas tidak sah /sesat. Kita dapat menyelidiki bahwa bentuk: (p q ) q r bukan tautologi.

P1

FMIPA-UNEJ

Daftar Isi

Judul

194 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

5.2.

Bentuk-Bentuk Argumen Yang Valid


FMIPA-UNEJ

Telah diuraikan di depan bahwa validitas suatu argumen bergantung pada bentuknya apakah merupakan implikasi logis atau tidak. Dengan demikian sembarang implikasi logis dapat dijadikan argumen yang valid. Berikut ini diberikan beberapa bentuk implikasi logis yang umum dipakai dalam penarikan kesimpulan. 1. Simplikasi Bentuk umum pq pq p q

Daftar Isi

Judul

195 dari 388

Simplikasi ini merupakan penalaran yang paling sederhana dan dengan mudah dapat dipahami bahwa jika p q benar maka baik p maupun q adalah benar. Contoh 5.3. 2 dan 5 adalah bilangan prima 2 adalah bilangan prima

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

2. Konjungsi Bentuk umum : p, q Contoh 5.4.


Daftar Isi

pq

FMIPA-UNEJ

2 adalah bilangan prima 2 adalah bilangan genap 2 adalah bilangan prima dan genap 3. Adisi Bentuk umum : p q Contoh 5.5. 2 adalah bilangan prima 2 atau 8 adalah bilangan prima pq pq

Judul

196 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

4. Silogisme disjungtif Bentuk umum : p q, p q


FMIPA-UNEJ

Pernyataan p q benar jika salah satu atau keduanya benar, karena itu, jika p tidak benar maka logis kita simpulkan q benar. Contoh 5.6.

Daftar Isi

Judul

2 atau 8 adalah bilangan prima 8 bukan bilangan prima 2 adalah bilangan prima Contoh 5.7. Ayah atau ibu menjemput adik Ayah tidak menjemput adik Ibu menjemput adik 5. Silogisme Disjungsi Eksklusif Bentuk umum : pq, p q
Tutup Layar Penuh 197 dari 388

Cari Halaman

Kembali

Keluar

Pada disjungsi eksklusif kebenaran komponennya tidak terjadi bersama-sama. Jadi jika p benar haruslah q salah (tidak terjadi). Contoh 5.8. Ayah sedang di pasar atau di kantor Ayah sedang di kantor Ayah tidak sedang di pasar 6. Modus Ponens/ Hukum Detasemen Bentuk umum : p q, p q
198 dari 388 FMIPA-UNEJ

Daftar Isi

Judul

Bukti validitasnya dapat ditunjukkan berikut : (p q ) p (p q ) p (p p) (q p) 0 ( q p) qp q Jadi (p q ) p q dan p q, p q.


Tutup

ekuivalensi distributif komplemen identitas simplikasi


Layar Penuh Kembali Cari Halaman

Keluar

Contoh 5.9. Jika matahari terbit dari barat maka manusia tidak pernah mati Matahari terbit dari barat Manusia tidak pernah mati 7. Modus Tolens Bentuk umum : p q, q Bukti : (p q ) q (p q ) q (p q ) (q q ) (p q ) 0 (= p q ) p EDI distributif komplemen identitas simplikasi
Kembali Cari Halaman 199 dari 388

FMIPA-UNEJ

Daftar Isi

Judul

Pada penerapan hukum simplikasi di atas p q karena q diketahui, maka tidak perlu digunakan sebagai kesimpulan dan kesimpulan kita adalah p.

Layar Penuh

Tutup

Keluar

8. Silogisme Hipotetik Bentuk umum : p q, q r pr


FMIPA-UNEJ

Salah satu cara untuk membuktikannya adalah sebagai berikut ini. Misalkan:

Daftar Isi

P1 : p r P2 : q r Di lain pihak secara keseluruhan implikasinya dapat diubah

Judul

200 dari 388

Andaikan p q r p r Dengan kata lain pengandaian p akan menghasilkan kesimpulan r. berdasar P1 dan Modes Ponen berdasar P2 dan Modes Ponen
Kembali Cari Halaman

Layar Penuh

Tutup

Keluar

9. Dilema Kontruktif Bentuk umum : p q, r s, p r qs


FMIPA-UNEJ

Dilema kontruktif ini adalah merupakan bentuk Modus Ponens yang lengkap (gabungan dua modus ponen). Ini dapat dipahami sebagai berikut : p syarat cukup untuk q dan r syarat cukup untuk s, jika salah satu dari p atau r muncul pastilah salah satu q atau s muncul.(Bisa juga dilakukan dengan membuktikan tautologinya) Contoh 5.10. Jika hari hujan maka tanah basah Jika kamu datang maka saya senang Hari ini hujan atau kamu datang Tanah basah atau saya senang Bentuk lain, yang lebih sederhana dari Dilema konstruktif ini adalah: (p q ), (r q ), (p r) q

Daftar Isi

Judul

201 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Yang merupakan bentuk modus ponen. Untuk membuktikan validitasnya kita harus membuktikan implikasi logisnya kita harus membuktikan bahwa :
FMIPA-UNEJ

(p q ) (r q ) (p r) q Contoh 5.11. Jika hari hujan maka tanah basah Jika tanah disiram maka tanah basah Hari hujan atau tanah disiram Maka tanah basah 10. Dilema Destruktif Bentuk umum :
Cari Halaman Daftar Isi

Judul

202 dari 388

(p q ), (r s), (q s)

(p r)
Kembali

Karena q adalah syarat perlu untuk p dan s syarat perlu untuk r maka, jika q atau s tidak terjadi maka p atau r juga tidak terjadi.

Layar Penuh

Tutup

Keluar

Contoh 5.12. Jika hari hujan maka tanah basah Jika kamu datang maka saya senang Tanah tidak basah atau saya tidak senang Hari tidak hujan atau kamu tidak datang Bentuk lain yang termasuk dilema destruktif adalah : (p q ), (p r), (q r) Contoh 5.13. Jika suatu bilangan asli maka bilangan itu bulat Jika suatu bilangan asli maka bilangan itu rasional 2 tidak sekaligus bulat dan rasional 2 bukan bilangan asli
203 dari 388

FMIPA-UNEJ

Daftar Isi

Judul

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

5.3.

Pembuktian Tidak Langsung


FMIPA-UNEJ

Kadang-kadang dalam membuktikan suatu pernyataan matematis kita tidak dapat/ tidak praktis membuktikan langsung dari premis-premisnya. Beberapa cara pembuktian yang umum dikelompokkan ke dalam bukti tidak langsung ini adalah : 1. Bukti negasi atau bukti dengan contoh kontra/ penyanggah

Daftar Isi

Judul

2. Bukti kotradiksi (Absurditas/ Reduksio ad Absurdum/ Argument by cotradiction) 3. Bukti kontra positif 4. Bukti pemilihan dan pencoretan.
204 dari 388

5.3.1.

Pembuktian dengan Negasi

Cari Halaman

Kita telah mengetahui bahwa p dan p mempunyai nilai kebenaran yang bertentangan. Jika p benar maka p salah. Dengan demikian jika kita dapat membuktikan p salah sama halnya membuktikan p benar, sebaliknya jika kita dapat menunjukkan p benar berarti kita

Kembali

Layar Penuh

Tutup

Keluar

telah membuktikan p salah. Dalam argumen berkuantor universal kita dapat menunjukkan valid/ tidaknya dengan menunjukkan contohcontohnya.
FMIPA-UNEJ

xo U, p(xo ) xo U, p(x)

(x U, p(x)
Daftar Isi

x U, p(x)
Judul

Di sini xo dikatakan sebagai contoh penyanggah dan pembuktian dengan cara menunjukkan contoh penyanggah disebut pembuktian dengan negasi. Contoh 5.14.

205 dari 388

p: setiap bilangan prima adalah ganjil. Jika kita ingin menunjukkan bahwa p adalah salah, maka kita dapat melakukannya dengan menunjukkan bahwa p adalah benar, dengan p adalah ada bilangan prima yang tidak ganjil. Pernyataan ini (p) adalah pernyataan yang bernilai benar, yaitu ada xo = 2 yang merupakan bilangan prima tidak ganjil. 2 disebut contoh penyanggah dari pernyataan p.

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Contoh 5.15. p: setiap bilangan asli adalah bulat. Negasi pernyataan tersebut, p adalah: terdapat bilangan asli yang tidak bulat. Penyataan p tidak benar, karena tidak ada bilangan asli yang tidak bulat (contoh kontranya tidak ada, ). Jadi pernyataan p benar.

FMIPA-UNEJ

Daftar Isi

5.3.2.

Pembuktian dengan Kontradiksi

Judul

Untuk membuktikan kebenaran suatu pernyataan kita dapat juga mengandaikan bahwa pernyataan itu salah, dari pengandaian ini akan ditemukan suatu kontradiksi. Dari kontradiksi yang terjadi disimpulkan bahwa pengandaian ini salah. Bukti ini sering juga disebut bukti pengandaian . Bentuk pembuktian ini adalah : p F p

206 dari 388

Cari Halaman

Kembali

Pengambilan p disini adalah suatu pengandaian.


Layar Penuh

Contoh 5.16.
Tutup

Keluar

Buktikan bahwa himpunan kosong adalah subset sembarang himpunan H , H . Bukti : Misalkan pernyataan himpunan kosong adalah subset sembarang himpunan H adalah p. Andaikan yang benar adalah p, bukan subset dari H . Ini berarti (dari denisi tentang subset): x , tetapi x H. Pernyataan x adalah suatu kontradiksi, sebab tidak pernah memiliki suatu elemen. Ini berarti pengandaian harus diingkar, yaitu yang bear adalah (p) p. Kesimpulannya, yang benar adalah p:H

FMIPA-UNEJ

Daftar Isi

Judul

207 dari 388

5.3.3.

Pembuktian dengan Kontra Positif

Cari Halaman

Membuktikan bahwa p adalah syarat cukup untuk q sama halnya membuktikan q adalah syarat perlu untuk p. Ini berarti jika q tidak muncul, maka p tidak muncul. Jadi: q p p q

Kembali

Layar Penuh

Tutup

Keluar

Contoh : Jika Abang tidak punya uang maka adik tidak sayang Kesimpulannya : Jika adik sayang abang berarti (maka) Abang lagi punya uang. Kita menganggap ruas kanan adalah kesimpulan/ konsekuensinya logis dari ruas kiri. Meskipun kenyataan berlaku , tetapi dalam hal ini kita hanya memperhatikan saja.

FMIPA-UNEJ

Daftar Isi

Judul

208 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

5.4.

Induksi Matematika
FMIPA-UNEJ

Dalam matematika khususnya yang menyangkut himpunan bilangan asli dikenal juga pembuktian lain yang disebut Induksi Matematika/ Induksi Lengkap. Sebenarnya pembuktian ini bukanlah induksi tetapi suatu deduksi yang di dasarkan atas aksioma/ postulat Peano tentang bilangan asli. Postulat dari Peano menyatakan bahwa Sembarang subset K dari N dengan sifat 1. 1 K . 2. jika untuk sembarang k , maka k = k + 1 K ,

Daftar Isi

Judul

209 dari 388

3. maka K = N Postulat ini dapat dipakai sebagai suatu pembuktian P (1), (p(k ) p(k + 1) p(n), n N Secara rinci langkah-langkah induksi matematika untuk membuktikan bahwa P (n) berlaku untuk semua n N adalah sebagai berikut: Langkah 1 (awal) buktikan P (1)

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Langkah 2 (hipotesis induktif ) andaikan P (k ) Langkah 3 (kesimpulan induktif ) buktikan P (k + 1)


FMIPA-UNEJ

Contoh 5.17.
Daftar Isi

Buktikan, bahwa untuk semua n N berlaku


Judul

1 + 2 + 3 + + n = 1/2n(n + 1) Bukti :
210 dari 388

i Periksa untuk n = 1 1 = 1/2(1 + 1) (Benar) ii Misalkan untuk sembarang k berlaku :


Layar Penuh Cari Halaman

Kembali

1 + 2 + ... + k = 1/2k (k + 1)
Tutup

Keluar

iii Maka untuk k = k + 1 1 1 + 2 + ... + k + k + 1 = k (k + 1) + (k + 1) 2 1 = (k + 1)( k + 1) 2 1 = (k + 1)(k + 2) 2 1 = (k + 1)(k + 1 + 1) 2 1 = k (k + 1) untuk k = k + 1 2

FMIPA-UNEJ

Daftar Isi

Judul

211 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

5.5.
5.5.1.

Argumen berkuantor
Translasi kuantor universal dan eksistensial
FMIPA-UNEJ

Perhatikan empat pernyataan berikut : (i) Setiap/ semua P bersifat Q (ii) Taksatupun P bersifat Q (iii) Sebagian P bersifat Q (iv) Sebagian P tidak bersifat Q
212 dari 388 Daftar Isi

Judul

Pernyataan-pernyataan tersebut dapat dinyatakan baik dengan kuantor universal maupun eksistensial.
Cari Halaman

Dengan kuantor universal


(i) x, P (x) Q(x)

Kembali

Layar Penuh

(ii) x, P (x) Q(x)


Tutup

Keluar

(iii) (x)(P (x) Q(x) (iv) [(x)(P (x) Q(x))] Pernyataan sebagian P bersifat Q sama artinya bahwa tidak benar bahwa untuk semua x jika x bersifat P maka x tidak bersifat Q. Ingat bahwa (p q ) (p q ) dan (p q ) (p q ).
FMIPA-UNEJ

Daftar Isi

Dengan kuantor eksistensial


Kalimat atau pernyataan (i), sama artinya dengan tidak benar bahwa ada x yang bersifat P tetapi tidak bersifat Q. Pernytaan (ii) sama artinya dengan : tidak benar bahwa ada x yang sekaligus bersifat P dan Q. Jadi notasinya : (i) x, (ii) x, (iii) x, (iv) x, P (x) Q(x) P (x) Q(x)

Judul

213 dari 388

Cari Halaman

Kembali

P (x) Q(x)
Layar Penuh

P (x) Q(x).
Tutup

Keluar

Kita peroleh kesamaan berikut : (i) (x)(P (x) Q(x)) (x) P (x) Q(x)
FMIPA-UNEJ

(ii) (x) P (x) Q(x) (x) P (x) Q(x) (iii) (x) P (x) Q(x) (x) P (x) Q(x) (iv) (x) P (x) Q(x) (x) P (x) Q(x)
Daftar Isi

Judul

5.5.2.

Spesikasi Universal, Spesikasi Eksistensial


214 dari 388

Perhatikan pernyataan : (x)(P (x)), yang berarti kita dapat mengambil tetapan a U , secara bebas dan kita peroleh P (a). Jadi kita telah mengkhususkan dari peubah x ke suatu tetapan a, dengan kata lain kita memberikan contoh. Prinsip ini disebut dengan Spesikasi Universal (US = Universally Specied = UI = Universal Instantiation). Perhatikan bahwa pemunculan a di sini adalah bebas (free occurrence) karena P (x) berlaku untuk semua x. U S : (x)(p(x)) P (a), a U (bebas)

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Sebaliknya dari pernyataan (x)(P (x)), kita hanya dapat mengambil elemen (tetapan) a tertentu yang bersifat P atau P (a). Dengan demikian kita juga dapat mengambil contoh ataupun menspesikasikan yang disebut pengambilan Spesikasi Eksistensial (ES = EI = Existentially Specied = Existentially Instantiation). ES : (x)(P (x)) P (a), a U (terbatas)

FMIPA-UNEJ

Daftar Isi

Judul

5.5.3.

Generalisasi Universal dan Generalisasi Eksistensial


215 dari 388

Apabila untuk sembarang (arbitrary) a kita menemukan P (a) maka kita dapat menggeneralisasikan bahwa setiap x, P (x). Ingat bahwa a diambil secara sembarang (arbitrarily selected). Generalisasi ini disebut Generalisasi Universal (UG). U G : a U, P (a)(x)(P (x))asembarang

Cari Halaman

Kembali

Apabila a adalah elemen teretentu (diambil dengan memilih beberapa saja ), maka kita dapat mengadakan generalisasi yaitu terdapat x yang bersifat P , prinsip ini disebut Generalisasi Eksistensial

Layar Penuh

Tutup

Keluar

(EG) EG : (a U ), P (a)(x)(P (x))atertentu Secara umum apabila premis-premisnya hanya memuat kuantor universal dan kita hanya menggunakan U S dan U G persoalannya agak mudah dibandingkan dengan penggunaan kuantor universal dan eksistensial bersama-sama ES dan EG. Untuk itu perlu diperhatikan dalam penggunaannys: (i) Tidak benar (x)(x = y ) (y = y ) Ada suatu x yang tidak sama dengan y . x yang dimaksud adalah x = y jadi x tidak dapat digantikan dengan y (ii) Kita tidak dapat menggunakan ES sebagai kesimpulan dari
Cari Halaman FMIPA-UNEJ

Daftar Isi

Judul

216 dari 388

(x)(y )F (x, y )

(y )(x)F (x, y )
Kembali

(iii) Kita tidak dapat menggunakan ES untuk menyimpulkan (x)P (x), (x)Q(x) (x) P (x) Q(x)
Layar Penuh

Tutup

Keluar

(iv) Kita tidak dapat menggunakan ES untuk menyimpulkan sembarang unsur (x)P (x) P (y )
FMIPA-UNEJ

Kesimpulan-kesimpulan (generalisasi) di atas dikenal sebagai konsekuensi (kesimpulan) yang tidak diinginkan yang sering mengelirukan (unwanted consequences).

Daftar Isi

Judul

217 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

5.6.

Sesat Pikir
FMIPA-UNEJ

Penarikan kesimpulan dengan menggunakan argumen yang tidak valid dikatakan sesat pikir. Contoh 5.18. Jika hari hujan maka tanah basah Tanah basah Hari hujan Penarikan kesimpulan hari hujan dari tanah basah adalah tidak sah / sesat. Kita dapat membuktikan bahwa (p q ) q p adalah bukan tautologi. Contoh 5.19. Jika hari hujan maka tanah basah Hari tidak hujan Tanah tidak basah Adalah penarikan kesimpulan yang tidak sah / sesat. sebab (p q ) (p) q bukan tautologi. Akan tetapi berbeda halnya jika premis mayornya dinyatakan dengan biimplikasi seperti misalnya :

Daftar Isi

Judul

218 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

P1 P2

: :

K1 : atau P3 : K2 :

Suatu banguan segiempat disebut bujur sangkar Keempat sudutnya = 90o dan keempat sisinya sama panjang. Segi empat ABCD , AB = CD = BC = AD dan A = B = C = D = 90o ABCD bujur sangkar P QRS bukan bujur sangkar Salah satu sisinya tidak sama dengan yang lain atau Salah satu sudutnya bukan 90o

FMIPA-UNEJ

Daftar Isi

Judul

Dapat dibuktikan bahwa (p q ), p (p q ), q dua-duanya valid.


Kembali

q p

219 dari 388

Cari Halaman

Layar Penuh

Tutup

Keluar

5.7.

Sistem Deduktif dalam Matematika


FMIPA-UNEJ

Teori matematika (yang lebih sering disebut sebagai matematika murni) dapat dipandang suatu sistem deduktif yang tidak harus terkait dengan dunia nyata. Sebagai sistem deduktif matematika terdiri atas beberapa komponen diantaranya: 1. unsur primitif atau unsur tak terdenisi; 2. denisi yang biasanya terdiri atas sekumpulan aksioma atau postulat; 3. aturan yang mengatur bagaimana suatu operasi dalam sistem tersebut diberlakukan; 4. teorema atau proposisi yang merupakan sekumpulan sifat-sifat yang diturunkan dari denisis dan aturan yang ada; 5. lemma yang merupakan teorama bantu yang diperlukan untuk membuktikan teorema utama; 6. korolari yang merupakan konsekuensi logis dari suatu teorema yang dianggap terlalu dekat untuk dipisah menjadi teorema lain;

Daftar Isi

Judul

220 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

7. konjektur yang belum bisa dibuktikan. Aksioma dalam sistem matematika harus memenuhi syarat utama yang disebut syarat konsistensi yaitu antara satu aksioma dengan aksioma lain dalam suatu sistem tidak boleh ada kontradiksi. Dengan demikian, dapat juga dijamin bahwa teorema-teorama yang diturunkan juga terbebas dari kontradiksi. Syarat yang kedua, namun tidak dianggap mendesak adalah syarat independensi yaitu aksioma-aksioma yang menjadi denisi tidak ada yang dapat diturunkan dari aksioma lainnya. Karena kalau terjadi demikian, maka aksioma tersebut sesungguhnya telah menjadi suatu teorema. Kegiatan mendenisikan suatu sistem (misalnya Aljabar Boole, Grup atau Ring) dengan jumlah aksioma seminim mungkin, merupakan suatu topik penelitian tersendiri yang cukup menarik dalam bidang matematika murni. Beberapa sistem aksioma yang penting yang banyak dikenal dalam matematika diantaranya adalah Sistem Aksioma Aljabar Boole dan beberapa struktur dalam matematika seperti grup/kelompok, ring/gelanggang dan eld/medan. Sistem aksioma ini banyak dibahas dalam aljabar abstrak.

FMIPA-UNEJ

Daftar Isi

Judul

221 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

5.8.

Bacaan Lebih Lanjut


FMIPA-UNEJ

Untuk mendalami lebih jauh materi pada bab ini selain beberapa sumber yang telah dikutip sebelumnya, dapat juga dibaca beberapa sumber lain diantaranya Enderton [4], Thomas [20], Gemignani [6], Lipschutz [9], dan Polimeni & Straight [15]. Sedangkan untuk melihat beberapa contoh sistem aksioma dalam matematika dapat dibaca beberapa referensi tentang aljabar boole maupun aljabar abstrak.

Daftar Isi

Judul

222 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

5.9.

Soal-soal Latihan
FMIPA-UNEJ

1. Selidiki apakah argumen-argumen beriku valid atau tidak. (a) p q, q p (b) p q, p (c) p q, p q q r p
Judul

pq
Daftar Isi

(d) p q, r q

2. Selidiki apakah penarikan kesimpulan ini sah / valid atau tidak. (a) Argumen Jika saya belajar maka saya lulus ujian Jika saya tidak menikah maka saya tidak lulus ujian Jika saya belajar maka saya menikah (b) Argumen Jika 2 bilangan genap maka 7 bilangan prima 7 bukan bilangan prima atau 9 bilangan sempurna 9 adalah bilangan sempurna
223 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

(c) Argumen Setiap manusia adalah makhluk Tuhan Setan adalah makhluk Tuhan Setan adalah manusia (d) Argumen Semua bujur sangkar adalah persegi panjang Tidak ada persegi panjang yang bukan jajaran genjang Bujur sangkar adalah jajaran genjang (e) Argumen Jika matahari terbit dari barat maka 2 + 2 = 5 Jika manusia bermuka dua maka matahari terbit dari barat 2+2=5 Manusia tidak bermuka dua 3. Jika dapat berikan kesimpulannya agar argumen-argumen berikut valid. Tentukan prinsip apa yang dipakai. (a) Argumen
Tutup 224 dari 388

FMIPA-UNEJ

Daftar Isi

Judul

Cari Halaman

Kembali

Layar Penuh

Keluar

Setiap manusia adalah hewan Einstein adalah manusia K ...............................................


FMIPA-UNEJ

(b) Argumen Siti adalah mahasiswa Siti adalah pegawai negeri K .................................................. (c) Argumen Saya naik kelas atau tidak diberi hadiah Saya tidak naik kelas atau saya senang Saya tidak senang K ........................................................ (d) Argumen Atau ayah atau ibu menjemput adik (tapi tidak keduanya) Ayah menjemput adik K .............................................................. (e) Argumen
Tutup Daftar Isi

Judul

225 dari 388

Cari Halaman

Kembali

Layar Penuh

Keluar

Jika 2 + 3 = 5 maka 6 adalah bilangan sempurna Jika 2 7 = 14 maka 8 adalah bilangan asli 6 bukan bilangan sempurna atau 8 bukan bilangan asli K ................................................................. (f) Argumen Jika Paris ada di Perancis maka 3 + 5 = 6 Jika 4 + 5 = 9 maka 72 = 14 Paris ada di Perancis atau 4 + 5 = 9 K ..................................................................... (g) Argumen Jika 2 = 3 maka 62 = 12 Jika 3 + 2 = 6 maka 62 = 12 62 = 12 K .......................................................... 4. Selidiki valid (sah) atau tidaknya penarikan kesimpulan berikut : (a) Argumen

FMIPA-UNEJ

Daftar Isi

Judul

226 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Jika London tidak di Denmark, maka Paris tidak di Perancis Paris di Perancis London di Denmark (b) Argumen Jika saya belajar, maka saya tidak jatuh (gagal) dalam matematika Saya tidak belajar Saya jatuh dalam matematika (c) Argumen Jika 6 adalah genap, maka 2 adalah bukan pembagi 7 5 bukan prima atau 2 adalah pembagi 7 5 adalah prima 6 adalah bukan genap (d) Argumen Pada hari ini ulang tahun istriku, kuberikan dia bunga Hari ini ulang tahun istriku atau saya terlambat ke kantor Saya tidak memberikan bunga istriku hari ini Hari ini saya terlambat ke kantor (e) Argumen
Tutup FMIPA-UNEJ

Daftar Isi

Judul

227 dari 388

Cari Halaman

Kembali

Layar Penuh

Keluar

Jika saya bekerja, saya tidak dapat belajar Saya belajar atau saya lulus ujian Saya bekerja Saya lulus ujian (f) Argumen Jika saya bekerja, saya tidak dapat belajar Saya belajar atau saya lulus ujian Saya lulus ujian Saya bekerja

FMIPA-UNEJ

Daftar Isi

Judul

228 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

FMIPA-UNEJ

BAB

6
HIMPUNAN

Daftar Isi

Judul

229 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Tujuan Umum
Setelah mempelajari materi pada bab ini diharapkan agar pembaca memahami konsep himpunan beserta operasinya serta menggunakannya dalam menyelesaikan permasalahan yang berhubungan dengan himpunan.
FMIPA-UNEJ

Daftar Isi

Judul

230 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Tujuan Khusus
Setelah mempelajari materi pada bab ini diharapkan agar pembaca dapat: 1. memberi contoh berbagai jenis himpunan;
Daftar Isi FMIPA-UNEJ

2. menentukan relasi dua himpunan; 3. menyelesaikan operasi dasar himpunan; 4. menentukan sifat-sifat operasi himpunan; 5. menyelesaikan jumlah dan selisih himpunan;
231 dari 388 Judul

6. menunjukkan sifat-sifat relasi ; 7. menggunakan himpunan untuk memeriksa validitas silogisme.


Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Materi
1. Denisi dan jenis himpunan 2. Relasi himpunan 3. Operasi dasar himpunan 4. Sifat-sifat operasi himpunan
Judul FMIPA-UNEJ

Daftar Isi

5. Operasi jumlah dan selisih himpunan 6. Sifat-sifat relasi himpunan bagian/ subset () 7. Pengguaan himpuan dalam silogisme
232 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

6.1.

Denisi dan Jenis Himpunan


FMIPA-UNEJ

Himpunan pada dasarnya adalah kumpulan objek, namun dalam himpunan tradisional kumpulan ini dibatasi dengan jelas, dalam arti dengan jelas dapat ditentukan apakah suatu objek termasuk dalam suatu kumpulan atau tidak. Selain itu dalam himpunan tradisional (untuk membedakan dengan pengertian himpunan samar atau fuzzy set) tidak ada perbedaan tingkat keangggotaan suatu objek pada suatu himpunan. Berbeda dengan himpunan organisasi yang anggotanya mungkin dibedakan atas anggota aktif, pasif dan lain sebagainya. Himpunan sering juga disebut gugus (Lihat misalnya Nasoetion [11]). Orang yang dianggap sebagai pengenal himpunan adalah matematikawan Jerman George Cantor (1845-1918). Cantor menggunakan istilah menge dalam bahasa German yang berarti Hasil usaha penghimpunan beberapa benda yang memiliki ciri pembeda tertentu, menjadi kesatuan. Dalam bahasa Inggris menge disebut set (Nasoetion [11, hal.15]).

Daftar Isi

Judul

233 dari 388

Cari Halaman

Kembali

Layar Penuh

Denisi 6.1. Himpunan adalah kumpulan objek-objek yang dibatasi


Tutup

Keluar

dengan tegas. Himpunan pada umumya dinotasikan dengan huruf besar dan objek yang menjadi angggota ditulis diatara kurung kurawal, {}. Objek yang menjadi anggota suatu himpunan disebut unsur atau elemen. Unsur-unsur suatu himpunan dapat dinyatakan dengan menulis keseluruhannya (disebut cara tabulasi atau dengan menulis aturan yang menjadi ciri (disebut cara rumusan atau deskripsi). Contoh 6.1. A = {2, 3, 5, 7, 11, 13, 17}, maka dengan jelas dapat ditentukan i 2 merupakan unsur dari himpunan A, ditulis: 2 A. ii 3 merupakan unsur dari himpunan A, ditulis: 3 A.
Cari Halaman 234 dari 388

FMIPA-UNEJ

Daftar Isi

Judul

iii 4 bukan merupakan unsur dari himpunan A, ditulis: 2 A. Himpunan A dapat juga dinyatakan sebagai himpunan bilangan prima sama atau dibawah 17, dalam notasi matematika A = {x|x 17 x : prima} atau
Tutup Kembali

Layar Penuh

Keluar

A = {x : x 17 dan x adalah prima} atau A = {x; x 17 dan x adalah prima}


FMIPA-UNEJ

Antara x dan deskripsinya umumnya digunakan tanda |, namun ada juga yang menggunakan tanda : dan ;. (Ruseendi [16])
Daftar Isi

Contoh 6.2. G adalah kumpulan Gadis-gadis dengan tinggi badan antara 150 cm sampai dengan 165 cm dan dengan berat badan dari 50kg sampai dengan 60 kg. Dalam kumpulan ini jelas kriteria untuk menjadi anggota, dalam arti, setiap kita mengambil seorang gadis, berat dan tingginya dapat diukur dengan pasti, dengan demikian dapat ditentukan dengan jelas apakah dia termasuk dalam kategori dimaksud. Jadi G adalah suatu himpunan. Contoh 6.3. M adalah kumpulan Gadis-gadis manis. Dalam kumpulan ini tidak jelas kriteria untuk menjadi anggota, sehingga M bukan merupakan suatu himpunan, karena jika kita mengambil seorang gadis, tidak jelas apakah dia termasuk gadis manis atau tidak.

Judul

235 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Denisi 6.2. Himpunan semesta, dinotasikan dengan S atau U adalah himpunan dari semua objek yang dibicarakan (menjadi pembicaraan)
FMIPA-UNEJ

Himpunan semesta disebut juga himpunan universal (universal set). Contoh 6.4. Beberapa contoh himpunan semesta misalnya i U adalah himpunan bilangan riil, ii U adalah himpunan manusia.

Daftar Isi

Judul

236 dari 388

Denisi 6.3. Kardinal suatu himpunan adalah banyaknya unsur dari himpunan tersebut. Kardinal himpunan A dinotasikan dengan #(A) Contoh 6.5. Untuk A = {1, 3, 5, 7, 9}, maka #(A) = 5. Dilihat dari kardinalnya himpunan dapat dibedakan menjadi himpunan kosong, himpunan berhingga dan himunan takhingga.

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Denisi 6.4. Himpunan kosong atau empty set atau void set, dinotasikan dengan atau {} adalah himpunan yang tidak memiliki unsur dengan kata lain A = jika dan hanya jika #(A) = 0 Denisi 6.5. Himpunan berhingga atau nite set adalah himpunan yang kardinalnya 0 atau merupakan bilangan asli tertentu A himpunan berhingga jika dan hanya jika 0 #(A) < Denisi 6.6. Himpunan takhingga adalah himpunan yang kardinalnya tak hingga A himpunan takhingga jika dan hanya jika #(A) =

FMIPA-UNEJ

Daftar Isi

Judul

237 dari 388

Cari Halaman

Contoh 6.6. H adalah himpunan manusia berkaki lima adalah merupakan himpunan kosong. Contoh 6.7. A = {2, 3, 5, 7} adalah merupakan himpunan berhingga.

Kembali

Layar Penuh

Tutup

Keluar

Contoh 6.8. N himpuan seluruh bilangan bulat adalah merupakan himpunan takhingga. Himpunan dapat diilustrasikan dengan diagram yang disebut diagram Venn. Diagram Venn terdiri atas persegi panjang untuk mengambarkan himpunan semesta, kurva tertutup untuk menggambarkan himpunan dan titik-titik untuk menggambarkan unsur-unsur himpunan seperti pada Gambar 6.1.
FMIPA-UNEJ

Daftar Isi

Judul

238 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

FMIPA-UNEJ

S=U
Daftar Isi

Judul

A
239 dari 388

Cari Halaman

Kembali

Gambar 6.1: Contoh Diagram Venn


Layar Penuh

Tutup

Keluar

6.2.

Relasi Himpunan
FMIPA-UNEJ

Dilihat dari unsur-unsur yang menyusun himpunan-himpunan, beberapa himpunan mungkin sama sekali tidak memiliki unsur yang sama, memiliki beberapa unsur yang sama, atau semua unsur-unsurnya sama. Denisi 6.7 (Himpunan Saling lepas). Dua himpunan dikatakan saling lepas disjoint set jika kedua himpunan itu sama sekali tidak memiliki unsur bersama. A||B jika dan hanya jika x, (x A x B ) (x B x A) Denisi 6.8 (Himpunan berpotongan). Dua himpunan dikatakan berpotongan (dinotasikan ) jika kedua himpunan itu memiliki beberapa unsur bersama. A B jika dan hanya jika x xAxB

Daftar Isi

Judul

240 dari 388

Cari Halaman

Denisi 6.9 (Himpunan sama). Dua himpunan dikatakan sama jika semua unsur masing-masing himpunan merupakan unsur bersama. A = B jika dan hanya jika x, x A x B

Kembali

Layar Penuh

Tutup

Keluar

Denisi 6.10 (Himpunan ekuivalen). Dua himpunan dikatakan ekuivalen jika keduanya memiliki kardinal yang sama. A B #(A) = #(B ) Denisi 6.11 (Himpunan bagian). Suatu himpunan dikatakan himpunan bagian (subset) dari himpunan lain, jika seluruh unsurnya merupakan unsur himpunan lain tadi. A B x, (x A x B ) Teorema 6.1 (Kesamaan dua himpunan). A = B (A B ) (B A)
241 dari 388 FMIPA-UNEJ

Daftar Isi

Judul

Bukti: Berdasarkan denisi maka jika A = B berlaku: x, x A x B x, (x A x B ) (x A x B ) (A B ) (B A)

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Sebaliknya jika (A B ) (B A) berlaku: x, (x A x B ) (x A x B ) x, x A x B A = B


Daftar Isi FMIPA-UNEJ

Contoh 6.9. Jika A = {2, 3, 5} dan B = {1, 2, 3, 4, 5} maka A B . Ilustrasi himpunan bagian, himpunan lepas dan himpunan berpotongan diberikan pada Gambar 6.2. Pada gambar tersebut diilustrasikan A B , A maupun B masing-masing lepas dengan C maupun D, namun C berpotongan dengan D.
Judul

242 dari 388

Cari Halaman

Teorema 6.2. Jika A dan B adalah himpunan-himpunan berhingga yang bersifat A B dan A B , maka A = B Denisi 6.12 (Keluarga himpunan). Keluarga himpunan adalah himpunan yang unsur-unsurnya adalah himpunan-himpunan.

Kembali

Layar Penuh

Tutup

Keluar

FMIPA-UNEJ

U=S B C
Daftar Isi

Judul

A D
243 dari 388

Cari Halaman

Gambar 6.2: Diagram Venn mengilustrasikan relasi himpunan


Kembali

Layar Penuh

Tutup

Keluar

Denisi 6.13 (Himpunan kuasa). Himpunan kuasa dari suatu himpunan adalah keluarga himpunan yang beranggotakan semua subset dari himpunan tadi. PA = {B |B A}

FMIPA-UNEJ

Daftar Isi

Contoh 6.10. Jika A = {1, 3, 5} dan B = {2, 4, 6, 8}, maka A||B .


Judul

Contoh 6.11. Jika C = {4, 5, 7, 9} dan D = {5, 7, 11, 12, 15}, maka A berpotongan dengan ( ) B Contoh 6.12. A = {2, 3, 5} dan B = {3, 2, 5} adalah merupakan himpunan yang sama. Contoh 6.13. Jika A = {2, 3, 4}, B = {2, 3, 5}, C = {a, b, c} maka i ABC
Kembali

244 dari 388

Cari Halaman

ii A

B
Layar Penuh

iii A||C dan B ||C

Tutup

Keluar

Contoh 6.14. Jika A, B, C adalah suatu himpunan, maka K = {A, B, C } adalah keluarga himpunan. Contoh 6.15. Jika A = {1, 2}, maka PA = {{}, {1}, {2}, {1, 2}}. Jika B = {a, b, c} maka PB = {{}, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}} Teorema 6.3. Jika #(A) = n maka #(PA ) = 2n .
Judul FMIPA-UNEJ

Daftar Isi

245 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

6.3.
6.3.1.

Operasi Himpunan
Operasi Dasar Himpunan
FMIPA-UNEJ

Ada tiga operasi dasar dalam himpunan yaitu: operasi uner komplemen (()c ), operasi biner irisan () dan gabungan (). Ketiga operasi ini ekuivalen dengan operasi negasi, konjungsi dan disjungsi pada logika. Selain itu pada himpunan juga dikenal operasi selisih dan perkalian himpunan.

Daftar Isi

Judul

Denisi 6.14 (Operasi Komplemen). Komplemen suatu himpunan adalah himpuan yang beranggotakan unsur-unsur dari semesta pembicaraan yang tidak menjadi unsur himpuan bersangkutan. Ac = {x|x U x A}

246 dari 388

Cari Halaman

Kembali

Contoh 6.16. Jika U = {1, 2, 3, , 10} A = {1, 3, 5} dan B = {5, 7, 9}

Layar Penuh

Tutup

Keluar

FMIPA-UNEJ

Daftar Isi

AA

Judul

247 dari 388

Cari Halaman

Gambar 6.3: Diagram Venn untuk Ac


Kembali

Layar Penuh

Tutup

Keluar

maka 1. Ac = {2, 4, 6, 7, 8, 9, 10}


FMIPA-UNEJ

2. B c = {1, 2, 3, 4, 6, 8, 10} Ilustrasi gras komplemen himpunan diberikan pada Gambar 6.3.
Daftar Isi

Judul

Denisi 6.15 (Operasi Irisan). Irisan dua buah himpunan adalah himpunan yang beranggotakan unsur-unsur yang menjadi unsur bersama kedua himpunan. A B = {x|x A x B } Teorema 6.4. AB AB =A
Kembali 248 dari 388

Cari Halaman

Layar Penuh

Contoh 6.17.
Tutup

Keluar

FMIPA-UNEJ

Daftar Isi

Judul

249 dari 388

Cari Halaman

Gambar 6.4: Diagram Venn A B

Kembali

Layar Penuh

Tutup

Keluar

Jika U = {1, 2, 3, , 10} A = {1, 3, 5} dan B = {5, 7, 9} maka A B = {5} Diagram Venn irisan dua himpunan diberikan pada Gambar 6.4.
FMIPA-UNEJ

Daftar Isi

Denisi 6.16 (Operasi Gabungan). Gabungan dua buah himpunan adalah himpunan yang beranggotakan semua unsur-unsur yang menjadi unsur salah satu atau kedua himpunan. A B = {x|x A x B }

Judul

250 dari 388

Cari Halaman

Contoh 6.18.
Kembali

Jika U = {1, 2, 3, , 10} A = {1, 3, 5} dan B = {5, 7, 9} maka A B = {1, 3, 5, 7, 9} Ilustrasi diagram Venn dari gabungan himpunan diberikan pada Gambar 6.5.

Layar Penuh

Tutup

Keluar

FMIPA-UNEJ

Daftar Isi

Judul

251 dari 388

Cari Halaman

Gambar 6.5: Diagram Venn A B

Kembali

Layar Penuh

Tutup

Keluar

6.3.2.

Sifat-sifat Operasi Himpunan

Secara prinsip, himpunan dengan operasinya merupakan Aljabar Boole, sehingga dalil-dalil yang berlaku pada opersi perakit logika dan aljabar Boole juga berlaku pada operasi himpunan. Demikian juga sifat dualitas berlaku pula pada himpunan. Dengan demikian pembuktian sifat-sifat operasi pada himpunan analog dengan pembuktian pada aljabar perakit.

FMIPA-UNEJ

Daftar Isi

Judul

Teorema 6.5 (Komplemen Ganda). Untuk sembarang himpunan A berlaku: (Ac )c = A (6.1)
252 dari 388

Teorema 6.6 ( Sifat Komutatif/ Pertukaran). Untuk sembarang himpunan A dan B berlaku: AB =BA AB =BA (6.2a)

Cari Halaman

Kembali

Layar Penuh

(6.2b)
Tutup

Keluar

Teorema 6.7 ( Sifat Asosiatif/ Pengelompokan). Untuk sembarang himpunan A, B dan C berlaku: (A B ) C = A (B C ) (A B ) C = A (B C ) (6.3a) (6.3b)
Daftar Isi FMIPA-UNEJ

Teorema 6.8 ( Sifat Identitas). Terdapat identitas untuk interseksi () dan identitas untuk gabungan (U ) dan untuk setiap himpunan A berlaku A U = A dan A = (6.4a) A U = U dan A = A (6.4b)

Judul

Teorema 6.9 ( Sifat Komplemen). Untuk setiap A terdapat dengan tunggal Ac sehingga (A Ac ) = (6.5a) (A Ac ) = U Teorema 6.10 (Komplemen identitas). c = U Uc = (6.6a) (6.5b)

253 dari 388

Cari Halaman

Kembali

Layar Penuh

(6.6b)
Tutup

Keluar

Teorema 6.11 (Hukum De Morgan). Untuk sembarang himpunan A dan B berlaku (A B )c = Ac B c (6.7a) (A B )c = Ac B c
FMIPA-UNEJ

(6.7b)
Daftar Isi

Teorema 6.12 ( Hukum Distributif). Untuk sembarang himpunan A, B dan C berlaku: A (B C ) = (A B ) (A C ) A (B C ) = (A B ) (A C ) (6.8a) (6.8b)

Judul

Teorema 6.13 ( Sifat Idempoten). Untuk sembarang himpunan A berlaku AA=A (6.9a) AA=A (6.9b)

254 dari 388

Cari Halaman

Kembali

Dalam membuktikan sifat-sifat di atas kita menggunakan hasil pada Teorema 6.1 yaitu A = B jika dan hanya jika A B dan B A.

Layar Penuh

Tutup

Keluar

Berikut diambil salah satu sifat sebagai contoh pembuktian, misalnya A B = B A. Bukti: Ambil sembarang unsur x (A B ) (x A) (x B ) (x B ) (x A) x (B A) (A B ) (B A) denisi A B komutatif konjungsi denisi B A denisi A B

FMIPA-UNEJ

Daftar Isi

Judul

Sebaliknya, ambil sembarang unsur y B A


255 dari 388

(y B ) (y A) (y A) (y B ) y (A B ) (B A) (A B )

denisi B A komutatif konjungsi denisi A B denisi B A


Kembali Cari Halaman

Karena (A B ) (B A) dan (B A) (A B ), berdasarkan Teorema 6.1, maka (B A) = (A B )

Layar Penuh

Tutup

Keluar

6.3.3.

Operasi Jumlah dan Selisih Himpunan

Selain operasi dasar komplemen, gabungan dan irisan, dalam operasi himpunan dikenal juga operasi jumlah dan selisih yang denisinya dapat dirumuskan dengan menggunakan operasi dasar tadi. Denisi 6.17 (Operasi Selisih). Selisih dua buah himpunan adalah himpunan yang beranggotakan unsur-unsur yang menjadi unsur himpunan pertama yang tidak menjadi unsur himpunan pengurang. A/B = A B = {x|x A x B } Teorema 6.14. A/B = A B c Denisi 6.18 (Operasi Jumlah). Jumlah dua himpunan adalah himpunan yang beranggotakan semua unsur yang menjadi anggota salah satu himpunan. A + B = {(x A x B ) x (A B )}

FMIPA-UNEJ

Daftar Isi

Judul

256 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Contoh 6.19. Jika A = {1, 3, 5, 7, 9} dan B = {4, 5, 6, 8, 10} maka 1. A B = {5} 2. A B = {1, 3, 4, 5, 6, 7, 8, 9, 10} 3. A/B = {1, 5, 7, 9} 4. B/A = {4, 6, 8, 10} 5. A + B = {1, 2, 3, 4, 5, 7, 8, 9, 10} Beberapa sifat yang terkait dengan opersi selisih dan jumlah serta hubungannya dengan operasi dasar sebelumnya diberikan pada teorema-teorama berikut. Ilustrasi dapat menggunakan diagram Venn sedangkan pembuktian secara formal dapat menggunakan denisi kesamaan dua himpunan. Teorema 6.15. Untuk sembarang himpunan A, B A + B = (A B )/(A B )
Layar Penuh Judul FMIPA-UNEJ

Daftar Isi

257 dari 388

Cari Halaman

Kembali

Tutup

Keluar

FMIPA-UNEJ

Daftar Isi

A B
Judul

B
258 dari 388

Gambar 6.6: Diagram Venn A/B dan A + B

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Teorema 6.16. Untuk sembarang himpunan A, B A + B = (A/B ) (B/A) Teorema 6.17 (Komutatif jumlah). Untuk sembarang himpunan A, B
Daftar Isi FMIPA-UNEJ

A+B =B+A
Judul

Teorema 6.18 (Distributif Selisih). Untuk sembarang himpunan A, B, C (A B )/C = (A/C ) (B/C ) (A B )/C = (A/C ) (B/C ) (6.10a) (6.10b)
259 dari 388

Denisi 6.19 (Partisi himpunan). Himpunan A dan B dikatakan partisi dari himpunan C jika dan hanya jika A dan B saling lepas dan gabungannya sama dengan C. A, B partisi dari C (A B = ) (A B = C )

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

6.4.

Sifat-sifat Lanjut Relasi Himpunan bagian


FMIPA-UNEJ

Konsep himpunan bagian () ekuivalen dengan konsep implikasi logis pada himpunan, karenanya implikasi logis dan penalaran dapat dimanfaatkan untuk mempelajari sifat-sifat himpunan bagian seperti diuraikan berikut ini.

Daftar Isi

Teorema 6.19. Relasi adalah relasi yang bersifat reeksif, transitif tetapi non simetrik yaitu: A, A A (A, B, C ) (A B ) (B C ) (A C ) (A, B ) (A B ) (B A) (A = B ) (6.11a)

Judul

260 dari 388

(6.11b) (6.11c)
Cari Halaman

Teorema 6.20. Untuk sembarang himpunan A dari semesta U maka


Kembali

1. A A
Layar Penuh

2. A
Tutup

Keluar

3. A U

Pembuktian butir 1. jelas dari denisi. Sedangkan pembuktian butir 2. dan butir 3. dapat dilakukan dengan menggunakan bukti pengandaian. Bukti 3.: Andaikan A U berarti x A, x U . Tetapi berdasarkan / U . Oleh karena itu terjadi kontradiksi dan denisi U tidak ada x pengandaian harus diingkar. Artinya untuk sembarang himpunan A, maka A U

FMIPA-UNEJ

Daftar Isi

Judul

261 dari 388

Teorema 6.21. AB AB =B
Cari Halaman

Kembali

Bukti: Teorema ini mengandung beberapa pengertian dintaranya


Layar Penuh

1. (A B ) A B = B
Tutup

Keluar

2. A B (A B = B ) 3. (A B ) B ) 4. B (A B ) Jika A B maka x A x B. Ambil sembarang y (A B ) (y A) (y B ) (y B ) (y B ) (y B ) (A B ) B ) Ambil sembarang z B


Cari Halaman FMIPA-UNEJ

Daftar Isi

Judul

denisi A B AB idempoten denisi B A


262 dari 388

(z A) (z B ) (y (A B ) (y B ) (A B ) B )

sifat additif AB idempoten denisi B A


Layar Penuh Kembali

Tutup

Keluar

Berarti kita telah membuktikan bahwa AB AB =B Untuk hal sebaliknya, misalkan A B = B , berarti A B B , karenanya x x (A B ), x B x x x (A B ), x B (x A x B ) x B xB xB
263 dari 388 Judul FMIPA-UNEJ

Daftar Isi

( x A) ( x B ) ( x A) A B x, x A x B

Cari Halaman

Teorema 6.22. Untuk himpunan semesta U dan himpunan A U AA=U Teorema 6.23. AA=
Tutup Kembali

Layar Penuh

Keluar

Teorema 6.24. Untuk sembarang himpunan A dan B , A A B dan B A B Teorema 6.25. Untuk sembarang himpunan A dan B , (A B ) A dan (A B ) B Teorema 6.26. Untuk sembarang himpunan A dan B ,
Judul FMIPA-UNEJ

Daftar Isi

(A/B ) A dan (B/A) B Teorema 6.27. Untuk A, B, C U (A C ) (B C ) (A B ) (A B ) C Teorema 6.28. Untuk A, B, C U (A C ) (B C ) (A B ) C Teorema 6.29. Untuk A, B, C U (A B ) (B C ) A C (6.14)
Layar Penuh

(6.12)
264 dari 388

(6.13)

Cari Halaman

Kembali

Tutup

Keluar

Selain dengan diagram Venn, hubungan subset dapat juga diilustrasikan dengan menggunakan diagram subset yang pada dasarnya merupakan pohon subset. Dengan pohon subset, himpunan-himpunan digambarkan dalam diagram pohon. Himpunan yang mejadi subset dari himpunan yang lain ditulis lebih rendah dari himpunan yang menjadi supersetnya dan dihubungkan dengan garis. Apabila sudah ada jalur yang menghubungkan suatu hubunganantara sutu himpunan dengan himpunan lain, maka tidak perlu membuat garis kusus yang menghubungkan kedua himpunan tadi. Selain itu, dalam hal hubungan subset dari maka ada dua hal yang selalu benar yaitu: 1. setiap himpunan adalah subset dari Himpunan semesta S dan

FMIPA-UNEJ

Daftar Isi

Judul

265 dari 388

2. himpunan kosong, yaitu himpunan yang tidak memiliki anggota, () adalah subset dari setiap himpunan. Oleh karena itu puncak atas dari pohon subset adalah himpunan semesta dan puncak bawahnya adalah himpunan kosong. Misalkan diketahui subset-sebset A, B, C, D, E dari S mempunyai hubungan sebagai berikut: A B, B C, D B . maka diagram pohon lengkapnya adalah seperti pada bagian kiri Gambar

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

FMIPA-UNEJ
U U=S

Daftar Isi
X Y Z

B A D V

Judul

{}

{}

266 dari 388

Gambar 6.7: Diagram pohon untuk A, B, C, D (kiri) dan untuk S, X, Y, Z dan V (kanan)

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

6.7, sedangkan jika S = {1, 2, 3, , 10} X = {1, 3, 5, 7, 9}, Y = {2, 4, 6, 8, 10}, Z = {2, 3, 5, 7} W = {2, 4} dan V = {2} maka diagram pohhon lengkapnya adalah seperti pada bagian kanan Gambar 6.7.

FMIPA-UNEJ

Daftar Isi

Judul

267 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

6.5.

Penggunaan Himpunan dalam Silogisme


FMIPA-UNEJ

Daftar Isi

Judul

268 dari 388

Pada Subbab 5.5 telah dibicarakan tata cara penarikan kesimpulan dengan argumen yang mengandung kuantor. Dalam subbab ini kita akan membahas hal serupa dengan menggunakan bantuan himpunan khususnya relasi himpunan dan diagram Venn. Berikut diberikan rangkuman kondisi unsur dua himpunan (A dan B ) beserta hubungan yang terjadi diantaranya

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

No Unsur A dan B

Relasi A A B dengan B semua unsur A menjadi A B AB = A unsur B (universal aratau A B c = mative) c semua unsur A tidak A B AB = menjadi unsur B (universal negative) sebagian unsur A men- A B AB = jadi unsur B (particular armative) sebagian unsur A tidak A B A Bc = menjadi unsur B (particular negative)

Diagram Venn
FMIPA-UNEJ

Gambar 6.8
Daftar Isi

Gambar 6.9

Judul

Gambar 6.10
269 dari 388

Gambar 6.11
Cari Halaman

Kembali

Berikut diuraikan sifat-sifat relasi himpunan yang terkait dengan penarikan kesimpulan secara silogisme.

Layar Penuh

Tutup

Keluar

FMIPA-UNEJ

Daftar Isi

A B

Judul

270 dari 388

Cari Halaman

Kembali

Gambar 6.8: Diagram Venn untuk A B atau A B c =


Layar Penuh

Tutup

Keluar

B A

FMIPA-UNEJ

Daftar Isi

Gambar 6.9: Diagram Venn A|| atau A B =

Judul

Teorema 6.30. Untuk A, B, C U jika A himpunan bagian dari B dan A himpunan bagian dari C maka A himpunan bagian dari C (A B c = ) (B C c = ) (A C c = ) (6.15)

271 dari 388

Cari Halaman

Teorema 6.31. Untuk A, B, C U jika A beririsan dengan B dan B beririsan dengan C , (A B = ) (B C = ) maka tidak ada yang dapat disimpulkan tentang A C (6.16)

Kembali

Layar Penuh

Tutup

Keluar

FMIPA-UNEJ

Daftar Isi

Judul

B
272 dari 388

Cari Halaman

Kembali

Gambar 6.10: Diagram Venn untuk A B =


Layar Penuh

Tutup

Keluar

FMIPA-UNEJ

Daftar Isi

Judul

273 dari 388

Cari Halaman

Kembali

Gambar 6.11: Diagram Venn untuk A B c =


Layar Penuh

Tutup

Keluar

Teorema 6.32. Untuk A, B, C U jika A lepas dengan B dan B lepas dengan C , (A B = ) (B C = ) (6.17) maka tidak ada yang dapat disimpulkan tentang A C Aturan 6.1. Secara umum ada 7 aturan mendasar dalam penarikan kesimpulan seperti di atas 1. Tidak ada kesimpulan yang dapat diambil dari dua pernyataan negatif. Jika A||B (Tidak ada unsur A menjadi unsur B ), dan B ||C (tidak ada unsur B menjadi unsur C ), maka tidak ada kesimpulan yang dapat diambil tentang hubungan A dan C (bisa berhubungan, bisa tidak, lihat Gambar 6.12). 2. Jika salah satu premis negatif, maka kesimpulan juga negatif. Jika A||B (tidak ada unsur A yang menjadi B dan C B (C bagian dari B , maka A||C (tidak ada unsur A yang menjadi C . (lihat Gambar 6.13. 3. Jika kedua premis positif, maka kesimpulannya juga positif. Jika A B (semua unsur A menjadi unsur B dan B C (semua
FMIPA-UNEJ

Daftar Isi

Judul

274 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

C2 C1

FMIPA-UNEJ
A B

Daftar Isi

Gambar 6.12: Diagram Venn untuk A||B dan B ||C1 ; B ||C2 , namun A||C1 , A C1 unsur B menjadi unsur C , maka A C (semua unsur A menjadi unsur C ). 4. Dalam sillogisme harus ada Unsur (terma/ term) tengah/ antara dan harus terdistribusi setidaknya sekali dalam premis mayor atau premis minor. 5. Semua unsur yang muncul dalam kesimpulan, harus juga muncul dalam premis mayor atau premis minor.

Judul

275 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

FMIPA-UNEJ

Daftar Isi

Judul

A B
276 dari 388

Cari Halaman

Gambar 6.13: Diagram Venn untuk A||B, C B , maka A||C


Kembali

Layar Penuh

Tutup

Keluar

C2

FMIPA-UNEJ
C1 A B

Daftar Isi

Judul

Gambar 6.14: Diagram Venn untuk A A C1 dan A C2

B, B

C1 dan B

C2 . Namun,

277 dari 388

Cari Halaman
A B

Kembali

Gambar 6.15: Diagram Venn untuk A

B dan B C, maka A

Layar Penuh

Tutup

Keluar

6. Tidak ada kesimpulan yang dapat diambil dari dua premis khusus (particular premises), baik yang positif (armatif) maupun yang negatif. Jika A B = (Jika ada unsur A yang menjadi unsur B ) dan B C = (ada unsur B menjadi unsur C ), maka tidak ada kesimpulan yang bisa diambil tentang A C (lihat Gambar 6.14.) 7. Jika salah satu premis betuknya khusus (eksistensial), maka kesimpulan juga berbentuk khusus (eksistensial). Jika A B = (ada unsur A menjadi unsur B ) dan ada beberapa kondisi lain (B C , semua unsur B menjadi unsur C ), maka kesimpulan yang pasti, yang dapat diambil adalah A C = (ada unsur A menjadi unsur C , lihat Gambar 6.15).

FMIPA-UNEJ

Daftar Isi

Judul

278 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

6.6.

Bacaan Lebih Lanjut


FMIPA-UNEJ

Untuk mendalami lebih jauh materi pada bab ini selain beberapa sumber yang telah dikutip sebelumnya, dapat juga dibaca beberapa sumber lain diantaranya Ruseendi [16], Nasoetion [11], Lipschutz [9], Polimeni & Straight [15] dan Courant & Robbins [3] . Secara umum hampir semua buku teks tetang matematika mulai dengan pembahasan tentang himpunan.

Daftar Isi

Judul

279 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

6.7.

Soal-soal Latihan
(a) {2, 3} (b) {1, 2, 3} = {2, 3, 1} (c) {x 16|x : prima} {0, 1, 2, , 13} (d) {1, 3, 5, } {1, 2, 3, } (e) {1, 3, 5, } {1, 2, 3, }
Judul FMIPA-UNEJ

1. Nyatakan benar atau salah pernyataan-pernyataan berikut ini:

Daftar Isi

2. Untuk himpunan-himpunan berikut, tentukan semua subset-subsetnya. Selanjutnya buat masing-masing diagram subsetnya. (a) {2, 3, 4} (b) {, {2, 3}} (c) {a, b, c, d} 3. Buktikan Teorema 6.19 pada halaman 260.

280 dari 388

Cari Halaman

Kembali

Layar Penuh

4. Buktikan Teorema 6.22 pada halaman 263.


Tutup

Keluar

5. Buktikan Teorema 6.28 pada halaman 264. 6. Tentukan apakah hubungan antara A dan C bisa dibuat, jika ya tentukan hubungannya, jika tidak, sebutkan alasannya (aturan mana yang tidak terpenuhi, atau yang menyebabkan tidak bisa disimpulkan): (a) A B,B C (b) A B,C B (c) A B,B C
Judul

FMIPA-UNEJ

Daftar Isi

(d) A||B, B ||C 7. Tentukan kesimpulan yang bisa diambil dari premis-premis berikut. Jika tidak ada kesimpulan yang bisa diambil sebutkan alasannya. (a) P1: Semua burung bisa tertawa; P2: Semua cecak bisa tertawa (Simpulkan hubungan burung dengan cecak) (b) P1: Semua yang bertelor bisa terbang; P2: Ada binatang berkaki empat yang bertelor (adakah binatang berkaki empat yang bisa terbang?).
281 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

(c) P1: Ada mahasiswa yang menjadi wartawan, P2: Ada wartawan yang suka memeras (apakah ada mahasiswa yang suka memeras?) (d) P1: Tidak ada mahasiswa yang menjadi pelawak, P2: tidak ada pelawak yang serius (apakah maahasiswa serius atau tidak ?) (e) P1: semua bujur sangkar memiliki 4 sudut siku-siku; P2:Semua persegi panjang memiliki 4 sudut siku-siku (apakah bujur sangkar itu (sama dengan) persegi panjang?) 8. Buat gambar subset dari serangkaian himpunan-himpunan A, B, C, D, E dan berikut: (a) A = {1, 2, 3, 5}, B = {1, 3, 5}, C = {2, 3, 5}, D = {2, 5}, E = {1, 5} (b) A = {a, b, c, d}, B = {b, c, d}, C = {a, b, c}, D = {b, c}, E = {b, d} 9. Buatlah himpunan yang memenuhi struktur subset seperti pada gambar berikut:
FMIPA-UNEJ

Daftar Isi

Judul

282 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

U=S

U Z

FMIPA-UNEJ
W A B D

Daftar Isi

{}

{}

Judul

283 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

FMIPA-UNEJ

Daftar Isi

Judul

284 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

FMIPA-UNEJ

BAB

7
HIMPUNAN BILANGAN

Daftar Isi

Judul

285 dari 388

Cari Halaman

Bilangan walaupun merupakan konsep yang sangat abstrak, namun penggunaannya tidak bisa dilepaskan dengan kehidupan manusia sejak dini. Untuk menggambarkan bilangan, kita menggunakan lambang bilangan (angka). Dalam kaitan dengan operasi hitung dan matematka umumnya, lambang bilangan yang kita pakai adalah lambang bilan-

Kembali

Layar Penuh

Tutup

Keluar

gan Hindu-Arab yang terdiri atas sembilan angka 0,1,2,...9. Selain itu, untuk menunjukkan tingkatan dan urutan ada lambang bilagan lain yang disebut lambang bilangan Romawi (i,ii,iii,iv,v ...). Pada subbab ini akan dibahas beberapa himpunan bilangan yang penting.

FMIPA-UNEJ

Daftar Isi

Judul

286 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Tujuan Umum
Mahasiswa memahami himpunan-himpunan bagian dari himpunan bilangan riil.
FMIPA-UNEJ

Daftar Isi

Judul

287 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Tujuan Khusus
Mahasiswa dapat menyebutkan ciri-ciri, contoh, dan sifat-sifat operasi hitung dalam himpunan-himpunan bagian dari himpunan bilangan riil.
FMIPA-UNEJ

Daftar Isi

Judul

288 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Materi
1. himpunan Bilangan Asli; 2. himpunan Bilangan Cacah; 3. himpunan Bilangan Bulat; 4. himpunan Bilangan Rasional;
Judul FMIPA-UNEJ

Daftar Isi

5. himpunan Bilangan ; 6. himpunan Bilangan Riil;


289 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

7.1.

Himpunan Bilangan Asli


FMIPA-UNEJ

Bilangan Asli disebut juga bilangan Alam (Natural numbers). Bilangan ini merupakan bilangan yang kita kenal paling awal, ketika kita ingin menghitung banyaknya sesuatu yang ada di sekuitar kita. Himpunan bilangan Asli N = {1, 2, 3, } Operasi hitung yang dapat dilakukan pada bilangan asli adalah penjumlahan dan perkalian dengan beberapa sifat berikut: Sifat 1 Bilangan asli tertutup terhadap penjumlahan dan perkalian x, y N, x + y N x, y N, (x.y N ) Sifat 2 Bilangan asli memenuhi sifat kumutatif dan assosiatif baik penjumlahan dan perkalian, yaitu: x, y N x + y = y + x x.y = y.x x, y, z N x + (y + z ) = (x + y ) + z x.(y.z ) = (x.y ).z

Daftar Isi

Judul

290 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Sifat 3 Bilangan asli memenuhi sifat distributif perkalian atas penjumlahan. x, y, z N (x + y )z = xz + yz Sifat 4 Bilangan asli memiliki unsur identitas perkalian tetapi tidak identitas penjumlahan. 1, tetapi e N, x N x + e = e + x = x
291 dari 388 FMIPA-UNEJ

Daftar Isi

x N x.1 = 1.x = x

Judul

Tetapi himpunan bilangan asli tidak memiliki beberapa sifat berikut: 1. Bilangan asli (kecuali 1) tidak memiliki invers baik penjumlahan maupun perkalian. x(= 1) N, x N, x.x = 1
Kembali

Cari Halaman

2. Bilangan asli tidak tertutup terhadap pengurangan dan pembagian. x, y N (x y ) N dan

Layar Penuh

Tutup

Keluar

x, y N

(x/y ) N

Bilangan Asli dibedakan menjadi bilangan prima dan bilangan komposit. Bilangan prima1 adalah bilangan yang hanya dapat dibagi bilangan itu sendiri dan 1. Bilangan 1 tidak termasuk bilangan prima. Sedangkan sisanya (termasuk 1) disebut bilangan komposit. Jadi 1. Himpunan bilangan Prima = P = {2, 3, 5, 7, 11, 13 } 2. Himpunan bilangan Komposit = N/P

FMIPA-UNEJ

Daftar Isi

Judul

Denisi 7.1. Pengurut bilangan asli k, dinotasikan k adalah bilangan asli berikutnya setelah bilagan asli k . Jadi k = k + 1. Ada suatu hasil dalam bilangan asli yang sangat terkenal yang disebut Postulat Peano yang mengatakan bahwa Untuk S N , berlaku (1 N ) ( k S k S ) (S = N )
1

292 dari 388

Cari Halaman

(7.1)

Kembali

Teori tentang himpunan bilangan prima dapat dilihat pada beberapa sumber diantaranya Courant & Robbins [3, hal 21-31]

Layar Penuh

Tutup

Keluar

Persamaan (7.1) pada dasarnya mengatakan bahwa jika pada suatu himpunan bagian S dari N , berlaku 1 pada S dan untuk setiap k pada S maka pengurutnya (k ) juga pada S , maka S adalah himpunan seluruh bilangan asli.

FMIPA-UNEJ

Daftar Isi

(n1 N )( (k > n1 ) S k S ) (S = {n1 , n1 +1, n1 +2, }) (7.2) Persamaan (7.2) pada dasarnya mengatakan bahwa jika pada suatu himpunan bagian S dari N , berlaku n1 pada S dan untuk setiap k > n1 pada S maka pengurutnya (k ) juga pada S , maka S adalah himpunan bilangan asli mulai dari n1 , yaitu S = {n1 , n1 + 1, n1 + 2, }. Postulat Peano di atas menjadi dasar dari pembuktian dengan menggunakan induksi matematika, yang telah dibicarakan pada bab penalaran, yang dapat dirumuskan sebagai berikut:

Judul

293 dari 388

Cari Halaman

Kembali

P (1) k, P (k ) P (k )

P (n), n N

(7.3)
Layar Penuh

Ada pengelompokan jenis himpunan yang kardinalnya terkait


Tutup

Keluar

dengan himpunan bilangan Asli, yaitu himpunan terhitung dan himpunan tak terhitung.
FMIPA-UNEJ

Denisi 7.2. Himpunan dikatakan terhitung (denumerable) atau himpunan diskrit, jika himpunan tersebut kosong atau ekuivalen dengan sebagian atau seluruh himpunan bilangan Asli. Jika tidak demikian maka himpunan dikatakan himpunan takterhitung yang merupakan himpunan kontinu.

Daftar Isi

Judul

Contoh 7.1. H = {1, 3, 5, },Himpunan bilangan Prima, himpunan Bilangan bulat adalah termasuk himpunan bilangan terhitung. Sedangkan H = {x|1 < x < 2, x }, himpunan bilangann Rasional, himpunan bilangan Riil adalah himpunan tak terhitung.

294 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

7.2.

Himpuan Bilangan Cacah


FMIPA-UNEJ

Sebagaimana dikatakan sebelumnya bahwa Bilangan Asli tidak mempunyai identitas penjumlahan. Apabila himpunan bilangan Asli digabung dengan 0 sebagai unsur identitas penjumlahan, maka terbentuklah himpunan bilangan Cacah. Himpuan bilangan cacah disebut juga himpunan bilangan kardinal, karena bilangan cacah ini dipergunakan untuk mementukan kardinal suatu himpunan. Kardinal himpunan adalah 0. Jadi bilangan cacah atau bilangan kardinal mulai dari 0. Himpunan bilangan Cacah(C ) = N {0} = {0, 1, 2, } Semua sifat operasi yang berlaku pada himpunan bilangan asli juga berlaku pada himpunan bilangan cacah. Beberapa sifat yang tidak berlaku pada himpunanbilangan asli (identitas penjumlahan, berlaku pada himpunan bilangan cacah. Himpunan bilangan cacah meskipun memiliki identitas penjumlahan dan perkalian tetapi tidak memiliki invers penjumlahan maupun invers perkalian. Sifat 5 Identitas Penjumlahan

Daftar Isi

Judul

295 dari 388

Cari Halaman

Kembali

Layar Penuh

0 C,

c C, 0 + c = c + 0 = c
Tutup

Keluar

Tetapi c(= 0) C, c C c+c =0


FMIPA-UNEJ

Daftar Isi

Judul

296 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

7.3.

Himpuan Bilangan Bulat


FMIPA-UNEJ

Apabila himpunan bilangan cacah digabung dengan himpunan inverse penjumlahannya, maka terbentuklah himpunan bilangan bulat, Z . Z = C {1, 2, } = { , 2, 1, 0, 1, 2, }

Daftar Isi

Jadi himpunan pada bilangan semua unsur memiliki invers penjumlahan, tetapi bukan invers perkalian. Sifat 6 Invers Penjumlahan. c C, c C Tetapi, c+c =0

Judul

297 dari 388

Cari Halaman

c(= 0) C, c C

c.c = 1
Kembali

Layar Penuh

Tutup

Keluar

7.4.

Himpuan Bilangan Rasional


FMIPA-UNEJ

Apabila himpunan bilangan bulat digabung dengan himpunan invers perkaliannya, maka terbentuklah himpunan bilangan Rasional, Q. Disamping itu bilangan rasional juga tertutup terhadap penjumlahan dan perkalian (termasuk perkalian dengan inversdari unsur lainnya). Secara umum bilangan rasional didenisika seperti pada denisi berikut ini. Denisi 7.3. Bilangan rasional q adalah bilangan yang dapat dinyatakan dalam bentuk a/b dengan b = 0. Dalam bentuk desimal q dapat dinyatakan sebagai pecahan desimal berhingga atau pecahan desimal takhingga tapi berulang.

Daftar Isi

Judul

298 dari 388

Cari Halaman

Contoh 7.2. 1/5 = 0, 20 dan 1/3 = 0, 33333... = 0, 33 adalah bilanganbilangan rasional Jadi pada himpunan bilangan Rasional, semua unsur memiliki invers penjumlahan, maupun invers perkalian.

Kembali

Layar Penuh

Tutup

Keluar

Sifat 7 Invers Perkalian x Q, x Q x(= 0) C, x Q x + x = 0 dan


FMIPA-UNEJ

c.c = 1
Daftar Isi

Judul

299 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

7.5.

Himpunan Bilangan Irasional dan Himpunan Bilangan Riil


FMIPA-UNEJ

Daftar Isi

U=R

Judul

C Z

Q
300 dari 388

Cari Halaman

Kembali

Gambar 7.1: Diagram Venn mengilustrasikan himpunan Bilangan Riil

Layar Penuh

Tutup

Keluar

Dalam himpunan bilangan rasional persamaan xn = y untuk n 2 tidak memiliki penyelesaian. Pernyataan ini ekuivalen dengan pernyataan bahwa tidak ada bilangan rasional x sedemikian sehingga xn = 2. Dengan kata lain, n 2 bukan bilangan rasional. Bilanganbilangan yang tidak rasional, yaitu bilangan yang tidak dapat dinyatakan sebagai rasio dua bilangan bulat (a/b), disebut bilangan ira sional. Bilangan rasional selain merupaka bilangan akar ( n a) juga termasuk didalamnya adalah bilangan yang dinyatakan dalam bentuk pecahan desimal takhingga tapi tak berulang. Ada dua bilangan irasional yang sangat penting yaitu bilangan Euler e yang diperkenalkan Euler tahun 1748 dan bilangan Archimedes . Bilangan e didenisikan sebagai

FMIPA-UNEJ

Daftar Isi

Judul

301 dari 388

e=
n=0

1 1 1 1 = 1 + + + + n 1! 2! 3!
Cari Halaman

dan pendekatan diberikann oleh banyak matematisi diantaranya adalah John Wallis dengan rumus = 2 n=1

Kembali

2n 2n 2n + 1 2n 1

Layar Penuh

Tutup

Keluar

(Courant & Robbins [3]) Gabungan antara himpunan bilangan Rasional dan himpunan bilangan Irasional disebut bilagan Riil R. Secara diagram struktur Himpunan Bilangan dapat digambarkan pada Gambar 7.1.

FMIPA-UNEJ

Daftar Isi

Judul

302 dari 388

Cari Halaman

Kembali

Sifat-sifat yang berlaku dalam himpunan bilangan dapat dirangkum seperti pada Tabel berikut.

Layar Penuh

Tutup

Keluar

No Sifat-sifat Operasi 1 2 3 4 5 6 7 8 9 10 11 12 Identitas Penjumlahan (0), 0 + a=a+0=a Identitas Perkalian(1), 1a = a1 = a Kumutatif Penjumlahan a + b = b+a Kumutatif Perkalian ab = ba Asosiatif Penjumlahan (a + b) + c = a + ( b + c) Asosiatif Perkalian (ab)c = a(bc) Invers Penjumlahan a + (a) = 0 Invers Perkalian a(1/a) = 1 Distributif Perkalian terhadap Penjumlahan a(b + c) = ab + ac Tertutup terhadap Operasi Invers Penjumlahan a + (b) = c Tertutup terhadap Operasi Invers Perkalian a(1/b) = c Tertutup terhadap Operasi ab = c

Himpunan Bilangan N C Z Q
FMIPA-UNEJ

Daftar Isi

Judul

303 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

7.6.

Perkembangan perhitungan
Riil
FMIPA-UNEJ

Rasional Q Bulat Z

Irasional Pecah

Daftar Isi

Judul

Cacah C

Bulat Neg

Asli N

304 dari 388

Gambar 7.2: Diagram struktur mengilustrasikan pembagian himpunan Bilangan Riil

Cari Halaman

Kembali

Sejak zaman dahulu diketahui bahwa rasio luas lingkaran terhadap kuadrat jaraknya dan rasio keliling lingkaran dengan diame-

Layar Penuh

Tutup

Keluar

ternya adalah konstan. Namun, pada awalnya belum diketahui bahwa kedua konstanta tersebut adalah sama. Buku-buku kuno menggunakan konstanta yang berbeda untuk kedua rasio tersebut. Perhitungan menarik perhatian sejak zaman sebelum masehi (sekuitar 1650 SM, di Mesir Kuno digunakan pendekatan = 3, 16.). Kalkulasi teoritis sepertinya dimulai oleh Archimedes (287-212 SM) yang mendapatkan pendekatan 223/71 < < 22/7. Sejak itu sampai sekarang banyak sekali para matematisi yang melakukan perhitungan baik secara analitik maupun dengan menggunakan komputer. Pada zaman modern sekarang akurasi perhitungan sempat dijadikan salah satu tes untuk mengukur kecanggihan komputer maupun suatu algorithma. Beberapa hasil perhitungan diberiikan pada Tabel 7.1 dan Tabel 7.2

FMIPA-UNEJ

Daftar Isi

Judul

305 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

FMIPA-UNEJ

Tabel Matematisi Rhind papyrus Archimedes Aryabhata Brahmagupta Fibonacci Madhava Newton Rutherford Shanks

7.1: Perhitungan secara analitik Waktu Desimal Nilai 2000 SM 1 3.16045 (= 4(8/9)2 ) 250 SM 3 3.1418 499 4 3.1416 (= 62832/2000) 640 1 3.1622 (= 10) 1220 3 3.141818 1400 11 3.14159265359 1665 16 3.1415926535897932 1824 208 hanya 152 benar 1874 707 hanya 527 benar

Daftar Isi

Judul

306 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Tabel 7.2: Perhitungan dengan mesin


Matematisi Ferguson Ferguson, Wrench Smith, Wrench Reitwiesner dkk. Nicholson, Jeenel Felton Genuys Felton Guilloud Shanks, Wrench Guilloud, Filliatre Guilloud, Dichampt Guilloud, Bouyer Miyoshi, Kanada Guilloud Kanada, Yoshino, Tamura Ushiro, Kanada Gosper Bailey Kanada, Tamura, Kubo Kanada, Tamura Chudnovskys Kanada, Tamura Chudnovskys Waktu 1947 1947 1949 1949 1954 1957 1958 1958 1959 1961 1966 1967 1973 1981 1982 1982 1983 1985 1986 1987 1988 1989 1989 1989 Desimal 710 808 1120 2037 3092 7480 10000 10021 16167 100265 250000 500000 1001250 2000036 2000050 16777206 10013395 17526200 29360111 134217700 201326551 525229270 536870898 1011196691 Mesin Kalkulator Kalkulator Kalkulator ENIAC NORAC PEGASUS IBM 704 PEGASUS IBM 704 IBM 7090 IBM 7030 CDC 6600 CDC 7600 FACOM M-200 HITACHI M-280H HITACHI S-810/20 SYMBOLICS 3670 CRAY-2 NEC SX-2 HITACHI S-820/80

FMIPA-UNEJ

Daftar Isi

Judul

307 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

7.7.

Bacaan Lebih Lanjut


FMIPA-UNEJ

Untuk mendalami lebih jauh materi pada bab ini selai beberapa sumber yang telah dikutip sebelumnya, dapat juga dibaca beberapa sumber lain diantaranya Ruseendi [16], Nasoetion [11], Lipschutz [9], Polimeni & Straight bk:PolimeniStraight85 dan Courant & Robbins [3]. Bagi yang berminat mempelajari bilangan dari sisi sejarahnya dapat membaca Hazas et al. [7]. Secara umum hampir semua buku teks tetang matematika mulai dengan pembahasan tentang himpunan.

Daftar Isi

Judul

308 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

7.8.

Soal-soal Latihan
FMIPA-UNEJ

1. Berikan dua contoh bilangan desimal yang takberhingga dan berulang. 2. Tentukan bentuk pecahan biasa dari contoh di atas.

Daftar Isi

Judul

309 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

FMIPA-UNEJ

Daftar Isi

Judul

310 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

FMIPA-UNEJ

BAB

Daftar Isi

Judul

PERKALIAN KARTESIUS, RELASI DAN FUNGSI

311 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Tujuan Umum
Setelah mempelajari materi pada bab ini diharapkan agar pembaca memahami konsep dan sifat-sifat relasi dan fungsi serta menggunakannya dalam menyelesaikan permasalahan yang berhubungan relasi dan fungsi.
FMIPA-UNEJ

Daftar Isi

Judul

312 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Tujuan Khusus
Setelah mempelajari materi pada bab ini diharapkan agar pembaca dapat 1. menyelesaikan perkalian Kartesius dua himpunan
Daftar Isi FMIPA-UNEJ

2. memberi contoh berbagai jenis relasi dengan sifat-sifatnya 3. memberi contoh berbagai jenis fungsi dengan sifat-sifatnya
Judul

313 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Materi
1. Perkalian Kartesius 2. Relasi dan sifat-sifatnya 3. Fungsi Selain operasi himpunan yang telah dibicarakan sebelumnya, ada juga operasi himpunan yang disebut perkalian himpunan, yang disebut perkalian kartesius.
FMIPA-UNEJ

Daftar Isi

Judul

314 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

8.1.

Perkalian Kartesius
FMIPA-UNEJ

Denisi 8.1 (Operasi Perkalian). Perkalian (atau disebut juga perkalian kartesius) dua buah himpunan adalah himpunan yang beranggotakan semua pasangan berurut unsur pertamanya berasal dari himpunan terkali dan unsur keduanya berasal dari himpunan pengali. A B = {(x, y )|x A y B }

Daftar Isi

Judul

Contoh 8.1. Jika A = {1, 3, 5} dan B = {4, 5} maka


315 dari 388

1. A B = {(1, 4), (1, 5), (3, 4), (3, 5), (5, 4), (5, 5)} 2. B A = {(4, 1), (4, 3), (4, 5), (5, 1), (5, 3), (5, 5)} Hasil perkalian himpunan selain dinyatakan dengan himpunan pasangan terurut, dapat juga dinyatakan dengan grak kartesius. seperti pada Gambar 8.1.
Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

FMIPA-UNEJ
6

Daftar Isi
4

Judul
B 0 2

316 dari 388


0 2 A 4 6

Cari Halaman

Gambar 8.1: Diagram kartesius mengilustrasikan A B


Kembali

Layar Penuh

Tutup

Keluar

Teorema 8.1. Untuk sembarang A dan B , secara umum berlaku: 1. A B = B A 2. A B B A 3. (A B ) = (B A) A = B Denisi 8.2.
Judul FMIPA-UNEJ

Daftar Isi

A A = A = {(a1 , a2 )|a1 , a2 A}

(8.1a)

A A . . . A = An = {(a1 , a2 , . . . , an )|ai A, i = 1, 2, . . . , n}
n

(8.1b)

317 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

8.2.

Relasi
FMIPA-UNEJ

Relasi atau hubungan antara dua himpunan merupakan himpunan bagian dari perkalian dua himpunan bersangkutan. Relasi dari himpunan A ke B dinotasikan dengan RAB atau R : A B . Ada tiga komponen yang harus dipenuhi oleh suatu relasi R : A B yaitu: 1. Adanya daerah denisi atau daerah asal yang disebut domin, yaitu himpuan A yang yang akan dihubungkan dengan suatu himpunan lain. 2. Adanya daerah kawan yang disebut kodomin, yaitu himpunan B yang menjadi kawan himpunan A.

Daftar Isi

Judul

318 dari 388

3. Adanya aturan pengawanan antara himpunan asal A dan himpunan kawan B . Bentuk aturan pengawanan dapat dilakukan dengan berbagai cara diantaranya adalah dengan mengguakan diagram panah, himpunan pasangan berurut. Jika pasangan berurut (x, y ) merupakan ang-gota dari R maka dinotasikan dengan (x, y ) R, jika tidak maka dinotasikan (x, y ) R.

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

FMIPA-UNEJ

Daftar Isi

Judul

319 dari 388

Cari Halaman

Gambar 8.2: Diagram panah untukrelasi A ke B , atau ARB

Kembali

Layar Penuh

Tutup

Keluar

Contoh 8.2. Misalkan R adalah relasi dari N ke N dengan aturan pengawanan R = {(1, 1), (2, 1), (2, 2), (3, 1), (3, 2), (3, 3), } atau R = {(x, y )|y x; x, y N } Contoh 8.3. Misalkan R adalah relasi dari N ke N dengan aturan R(n) = 2n dapat dinyatakan dengan R = {(x, y )|y = 2x, x N } Himpunan bagian dari himpunan kawan yang dipilih menjadi kawan disebut daerah hasil/ range dari R. Pada contoh diatas daerah hasil HR adalah himpunan bilangan bulat positif, yaitu HR = {2, 4, 6, }.
FMIPA-UNEJ

Daftar Isi

Judul

320 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

8.3.

Sifat-sifat Relasi
FMIPA-UNEJ

Relasi dari suatu himpunan ke dirinya sendiri dapat dibedakan menjadi beberapa jenis diantaranya dilihat dari banyaknya unsur yang berkawan kedirinya sendiri, kesimetrisan perkawanan. Berikut adalah denisi formal dari beberapa sifat relasi himpunan ke dirinya sendiri. Denisi 8.3. Relasi R dikatakan bersifat reeksif jika x, (x, x) R Denisi 8.4. Relasi R dikatakan bersifat non-reeksif jika x, (x, x) R Denisi 8.5. Relasi R dikatakan bersifat irreeksif jika x, (x, x) R

Daftar Isi

Judul

321 dari 388

Cari Halaman

Kembali

Denisi 8.6. Relasi R dikatakan bersifat simetrik jika x, y (x, y ) R (y, x) R


Layar Penuh

Tutup

Keluar

Denisi 8.7. Relasi R dikatakan bersifat non-simetrik jika x, y (x, y ) R (y, x) R


FMIPA-UNEJ

Denisi 8.8. Relasi R dikatakan bersifat asimetrik jika x, y (x, y ) R (y, x) R Denisi 8.9. Relasi R dikatakan bersifat transitif jika x, y, z (x, y ) R (y, z ) R (x, z ) R Denisi 8.10. Relasi yang sekaligus bersifat reektif, simetrik dan transitif disebut relasi ekuivalensi.
Daftar Isi

Judul

322 dari 388

Cari Halaman

Contoh 8.4. Berikut adalah beberapa contoh relasi yang merupakan relasi reeksif.
Kembali

1. Relasi sama dengan (=) pada himpunan bilangan riil. x, x = x yaitu (xRx)
Layar Penuh

Tutup

Keluar

2. Relasi kongruensi pada himpunan segitiga. 3. Relasi faktor dari, pada himpunan bilangan bulat selai 0. x, x faktor dari x yaitu (xRx) 4. Relasi mirip pada himpunan manusia. Setiap orang mirip dirinya sendiri. Contoh 8.5. Berikut adalah beberapa contoh relasi non-reektif. 1. Relasi faktor dari pada himpunan semua bilangan bulat. (Ada 0 tidak dapat dibagi 0) 2. Relasi mencintai pada himpunan manusia. Ada orang yang tidak mencintai dirinya sendiri. Contoh 8.6. Berikut adalah beberapa contoh relasi irreektif. 1. Relasi tidak sama pada himpunan bilangan riil. Tidak ada bilangan yang tidak sama dengan dirinya sendiri. 2. Relasi kurang dari pada himpunan bilangan riil. Tidak ada bilangan yag kurang dari dirinya sendiri.
323 dari 388 FMIPA-UNEJ

Daftar Isi

Judul

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

3. Relasi lebih gemuk pada himpunan manusia. Tidak ada orang yang lebih gemuk dari dirinya sendiri. 4. Relasi lebih cantik pada himpunan manusia. Tidak ada orang yang lebih cantik dari dirinya sendiri. Contoh 8.7. Berikut adalah contoh relasi yang bersifat simetrik. 1. Relasi sama dengan pada himpunan bilangan riil. 2. Relasi kongruensi pada himpunan segitiga. 3. Relasi kenal dengan (pernah berkenalan) pada himpunan manusia
324 dari 388 FMIPA-UNEJ

Daftar Isi

Judul

Contoh 8.8. Berikut adalah contoh relasi yang bersifat non-simetrik. i Relasi lebih besar atau sama dengan pada himpunan bilangan riil. ii Relasi mencintai pada himpunan manusia Contoh 8.9. Berikut adalah contoh relasi yang bersifat asimetrik.
Layar Penuh Cari Halaman

Kembali

i Relasi lebih besar dari pada himpunan bilangan riil.


Tutup

Keluar

ii Relasi lebih tinggi pada himpunan manusia iii Relasi lebih tua pada himpunan manusia
FMIPA-UNEJ

Contoh 8.10. Berikut adalah contoh relasi yang bersifat transitif. i Relasi lebih besar dari pada himpunan bilangan riil. ii Relasi lebih tinggi pada himpunan manusia iii Relasi lebih tua pada himpunan manusia
Daftar Isi

Judul

Denisi 8.11. Relasi R dikatakan bersifat non-transitif jika x, y, z (x, y ) R (y, z ) R (x, z ) R

325 dari 388

Cari Halaman

Kembali

Contoh 8.11. Berikut adalah contoh relasi yang bersifat non-transitif.


Layar Penuh

i Relasi berpotongan pada himpunan.


Tutup

Keluar

ii Relasi mengenal pada himpunan manusia

Denisi 8.12. Relasi R dikatakan bersifat intransitif jika x, y, z (x, y ) R (y, z ) R (x, z ) R

FMIPA-UNEJ

Daftar Isi

Judul

326 dari 388

Cari Halaman

Gambar 8.3: Diagram panah mengilustrasikan relasi A ke A Secara grak, dalam bentuk diagram panah, beberapa jenis relasi dari A ke A digambarkan dalam Gambar 8.3. Dalam diagram

Kembali

Layar Penuh

Tutup

Keluar

tersebut panah melingkar menunjukkan pengawanan ke dirinya sendiri (reeksif). Contoh 8.12. Berikut adalah contoh relasi yang bersifat intransitif. i Relasi pangkat kuadrat dari pada himpunan bilangan riil selain 0 dan 1. i Relasi akar kuadrat dari pada himpunan bilangan riil selain 0 dan 1. ii Relasi pacar dari pada himpunan manusia. Contoh 8.13. Berikut adalah contoh relasi yang bersifat ekuivalensi. i Relasi sama dengan pada himpunan bilangan riil. ii Relasi kongruensi pada himbunan segitiga. iii Relasi kesejajaran pada himbunan garis.
Kembali 327 dari 388 FMIPA-UNEJ

Daftar Isi

Judul

Cari Halaman

iv Relasi sama tinggi pada himpunan manusia. v Relasi sama berat pada himpunan manusia.
Layar Penuh

Tutup

Keluar

8.4.

Penyajian Relasi dengan Matriks


FMIPA-UNEJ

Selain dengan cara diagram panah, reasi juga dapat disajikan dalam bentuk matriks. Dalam hal ini matriks representasinya memiliki ciriciri sebagai berikut. 1. Baris matriks menunjukkan unsur-unsur himpunan domain; 2. Kolom matriks menunjukkan unsur-unsur himpunan kodomain; 3. Jika dua unsur memiliki relasi maka unsur matriks yang bersesuaian adal 1, jika tidak maka unsurnya adalah 0. Contoh 8.14. Misalkan R1 adalah relasi dari A = {1, 2, 3, 4} ke B = {a, b, c} dengan aturan R1 = {(1, a), (1, b), (2, c), (3, a), (4, b)} . Misalkan pula R2 adalah relasi dari A ke dirinya sendiri dengan aturan R2 = {(1, 1), (1, 3), (2, 2), (3, 1), (3, 3), (4, 4)}

Daftar Isi

Judul

328 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

, maka dalam bentuk matriks dapat disajukan sebagai berikut: 1 R1 = 2 3 4 a 1 0 1 0 b 1 0 0 1 c 0 1 0 0 , 1 R2 = 2 3 4 1 1 0 1 0 2 0 1 0 0 3 1 0 1 0 4 0 0 0 1


FMIPA-UNEJ

Daftar Isi

Judul

Representasi relasi dengan matriks merupakann bidang yang berkembang melalui teori graph. Matriks representasi tersebut biasda disebut matriks ajasen adjacent matrix. Representasi dengan matriks memungkinkan kita memanfaatkan perangkat lunak (software) untuk menggambar grak dari relasi. Hal ini bermanfaat ntuk menggambar relasi dengan unsur yang cukup banyak. Pada contoh berikut baik matriks relasi maupun graknya seperti pada Gambar 8.4 dihasilkan dengan program R. y y 0 x 1 z 1 x 0 0 0 z 0 0 0 u 1 0 0 v 1 1 1 p 0 0 0 r 0 0 0 t 0 0 0 s 0 0 0 q 0 1 0 a 0 0 0 c 0 0 0 b 0 0 0

329 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

x q

z c

FMIPA-UNEJ

Daftar Isi
u s a b v p t

Judul

330 dari 388

Cari Halaman

Gambar 8.4: Contoh Grak Relasi dari suatu himpunan ke dirinya sendiri dengan Software R

Kembali

Layar Penuh

Tutup

Keluar

u v p r t s q a c b

1 0 0 0 0 0 0 0 0 0

1 0 0 0 0 0 0 0 0 0

1 1 0 0 0 0 0 0 0 0

0 0 0 0 0 0 0 0 0 0

1 0 0 0 0 0 0 0 0 0

0 0 0 1 1 0 0 0 0 0

0 0 1 0 1 1 1 0 0 0

0 0 1 1 0 1 1 0 0 0

0 0 1 1 1 0 1 0 0 0

0 0 0 0 0 0 0 0 0 0

0 0 0 0 0 0 0 0 1 0

0 0 0 0 0 0 0 0 0 1

0 0 0 0 0 0 0 1 0 0

FMIPA-UNEJ

Daftar Isi

Judul

Selanjutnya relasi dari {a, b, c, d} ke {x, y, z } dapat juga disajikan dalam bentuk matriks, dengan mendenisikan unsur matriks yang bersesuaian. Lihat matriks berikut dan graknya pada Gambar 8.5. x a b c d y z u e v w x 0 0 0 0 0 0 0 0 0 0 0 a 1 0 0 0 0 1 0 1 0 1 0 b 1 0 0 0 0 1 0 0 0 0 1 c 1 0 0 0 0 0 1 0 0 0 0 d 1 0 0 0 0 0 1 0 0 0 0

331 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

y z u e v w

0 0 0 0 0 0

0 0 0 0 0 0

0 0 0 0 0 0

0 0 0 0 0 0

0 0 0 0 0 0

0 0 0 0 0 0

0 0 0 0 0 0

0 0 0 1 0 0

0 0 0 0 0 0

0 0 0 1 0 0

0 0 0 1 0 0

FMIPA-UNEJ

Daftar Isi

Judul

332 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

FMIPA-UNEJ
v b

Daftar Isi

w c

Judul

x d y z

333 dari 388

Cari Halaman

Gambar 8.5: Contoh Grak Relasi dari {a, b, c, d, e} ke {u, v, w, x, y, z } dengan Software R

Kembali

Layar Penuh

Tutup

Keluar

FMIPA-UNEJ

Daftar Isi

Judul

Gambar 8.6: Diagram mengilustrasikan fungsi dari A ke B

334 dari 388

Cari Halaman

8.5.

Fungsi
Kembali Layar Penuh

Perhatikan bahwa relasi R : A B adalah himpunan bagian dari A B . Dalam keadaan demikian bisa jadi ada unsur A yang tidak mempunyai kawandi B atau suatu unsur di A memiliki lebih dari satu

Tutup

Keluar

kawan di B . Beberapa relasi yang sifatnya khusus disebut, yaitu tidak memiliki sifat tadi disebut fungsi. Dengan kata lain, setiap unsur di A memiliki satu dan hanya satu kawan unsur B .
FMIPA-UNEJ

Daftar Isi

Denisi 8.13. f : A B adalah suatu hubungan yang memiliki sifat bahwa a A, !, b B, b = f (a) Dalam fungsi ada tiga komponen yang harus dipenuhi yaitu

Judul

335 dari 388

1. Domain (daerah asal), misalnya himpunan A. 2. Kodomain (daerah kawan), misalnya himpunan B . 3. Aturan pemetaan b = f (a) atau y = f (x) jika fungsinya dari X ke Y. Dilihat pada diagram panah, maka diagram panah suatu fungsi memiliki ciri-ciri sebagai berikut:
Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

1. ada panah yang keluar dari domain, 2. panah yang keluar untuk masing-masing unsur hanya ada 1, 3. tidak ada unsur yang tidak memiliki panah keluar.
FMIPA-UNEJ

Daftar Isi

Judul

336 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

8.6.

Jenis-Jenis Fungsi
FMIPA-UNEJ

Dalam fungsi tidak disyaratkan bahwa semua unsur kodomain harus memiliki prakawan di domain. Demikian juga tidak ada keharusan bahwa dua unsur asal harus memiliki kawan yang berbeda. Dilihat dari cara pengambilan unsur daerah kawan, fungsi dapat dibedakan menjadi beberapa macam yaitu surjektif, injektif dan bijektif. Fungsi injektif dari suatu himpunan ke dirinya sendiri sering disebut sebagai permutasi.

Daftar Isi

Judul

Denisi 8.14. Fungsi f dari X ke Y dikatakan fungsi satu-satu (injektif), jika setiap unsur berbeda memiliki kawan yang berbeda pula. f : injektif x1 , x2 (x1 = x2 ) f (x1 ) = f (x2 ) Denisi 8.15. Fungsi f dari X ke Y dikatakan fungsi pada (surjektif), jika setiap unsur daerah kawan memiliki prakawan atau prabayangan. f : surjektif y Y, x X , y = f (x)

337 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Denisi 8.16. Fungsi f dari X ke Y dikatakan fungsi korespondensi satu-satu (bijektif), jika f sekaligus injektif dan surjektif. f : bijektif y Y, x X , y = f (x) dan (f (x1 ) = f (x2 )) (x1 = x2 )
FMIPA-UNEJ

Teorema 8.2. Jika suatu fungsi f dari X yang berhingga ke dirinya sendiri bersifat injektif, maka dia akan bersifat surjektif, sehingga dia juga merupakan korespondensi satu-satu. Bukti: Andaikan f tidak bersifat surjektif, berarti ada x1 X sedemikian sehingga tidak ada x sehingga x1 = f (x), sehingga RA = A. Tetapi karena f satu-satu berarti DA = A RA . Karena RA A, RA A berarti RA = A(lihat Teorema 6.2). Ini merupakan kontradiksi (A = A). Oleh karena itu haruslah juga f bersifat surjektif. Sifat ini tidak berlaku untuk himpunan tak hingga. Misalnya jika X = N dan f (n) = 2n 1, maka f bersifat injektif, tetapi tidak surjektif, karena bilangan asli dipetakan satu-satu ke subsetnya, himpunan bilangan asli ganjil.

Daftar Isi

Judul

338 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Teorema 8.3. Jika suatu fungsi dari X yang berhingga ke dirinya sendiri bersifat surjektif, maka dia akan bersifat injektif, sehingga dia juga merupakan korespondensi satu-satu.
FMIPA-UNEJ

Dilihat dari bentuk hubungan antara x X dengan y Y pada fungsi dari X ke Y., fungsi dapat dibedakan atas: 1. fungsi aljabar (polinomial), yaitu fungsi yang berbentuk y = n i i=0 ai x . beberapa fungsi istimewa termasuk dalam kelompok ini adalah (a) fungsi konstan, yaitu bila ai = 0,untuk i = 0;

Daftar Isi

Judul

339 dari 388

(b) fungsi linier, yaitu bila n = 1 dan a1 = 0 (c) fungsi kuadrat, yaitu bila n = 2 dan a2 = 0 2. fungsi transenden, yaitu fungsi-fungsi selain fungsi aljabar seperti fungsi trigonmetri (mengandung fungsi sin, cos, dll), fungsi log dan exponensial ( [10]).
Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

8.7.

Bentuk, Skala dan Lokasi Fungsi


FMIPA-UNEJ

. Fungsi memiliki tiga karakteristik utama yaitu bentuk skala dan lokasi. Sebagai contoh ambil fungsi yang sederhana yaitu fungsi kuadrat, y = x2 . Fungsi memiliki bentuk khas yag disebut parabola. Skala parabola pada suatu nilai a apakah membuka lebar atau sempit, membuka ke atas atau ke bawah. Sehingga bentuk yang lebih umum y = ax2 , a = 0 tetap mempunyai bentuk sama tetapi dengan sekala berbeda tergantung nilai a. Selanjutnya jika lokasi fungsi digeser sepanjang sumbu X maupun sumbu Y , maka menghasilkan persamaan fungsi dengan bentuk fungsi lebih umum yaitu y = a(x xp )2 + yp . Fungsi ini adalah fungsi kuadrat dengan puncak (xp , yp ) dengan bentuk parabola dan membuka (skala) sesuai dengan nilai a. Dengan kata lain parabola yang dihasilkan hanya berbeser lokasi tanpa mengubah bentuk, maupun skala (jika a tetap). Ilustrasi tentang bentuk, skala dan lokasi fungsi diberikan pada Gambar 8.7.

Daftar Isi

Judul

340 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Y=a(xxp)^2+yp
25

FMIPA-UNEJ
20

Daftar Isi
15

Judul
10 5 Y

341 dari 388


0

Cari Halaman

0 X

Kembali

Gambar 8.7: Fungsi kuadrat yang mempunyai persamaan berbeda walau sebenarnya bentuk dan skalanya sama, tetapi lokasi berbeda

Layar Penuh

Tutup

Keluar

8.8.

Bacaan Lebih Lanjut


FMIPA-UNEJ

Untuk mendalami lebih jauh materi pada bab ini selain beberapa sumber yang telah dikutip sebelumnya, dapat juga dibaca beberapa sumber lain diantaranya Ruseendi[16], Nasoetion [11], Lipschutz[9], Polimeni & Straight [15]. Secara umum hampir semua buku teks tentang kalkulus, pada bagian awalnya membahas relasi dan fungsi. Khusus untuk perangkat lunak program R dapat dilihat lansung pada situs http://www.r-project.org.

Daftar Isi

Judul

342 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

8.9.

Soal-soal Latihan
(a) A B (b) B A
FMIPA-UNEJ

1. Diketahui A = {a, b, c, d} dan B = {1, 3, 5} tentukan

Daftar Isi

2. Diketahui H adalah himpunan bilangan asli kurang dari 17. Buatlah relasi dari H kedirinya sendiri yang menggambarkan: (a) h1 kelipatan dari h2 (b) h1 faktor dari h2 3. Buatlah relasi (daerah asal dan aturannya) yang bersifat (a) reeksif dan simetrik tetapi non-transitif

Judul

343 dari 388

Cari Halaman

(b) ireeksif tetapi simetrik dan transitif (c) reeksif dan non-simetrik tetapi transitif 4. Buatlah fungsi (daerah asal dan aturannya) yang bersifat
Layar Penuh Kembali

(a) injektif dan surjektif


Tutup

Keluar

(b) injektif tetapi tidak surjektif (c) tidak injektif dan tidak surjektif 5. Buatlah fungsi dari suatu himpunan ke dirinya sendiri yang bersifat (a) injektif dan surjektif (b) injektif tetapi tidak surjektif (c) tidak injektif dan tidak surjektif Kesimpulan apa yang dapat anda petik dari soal ini. 6. Buktikan Teorema 8.3 pada halaman 339. 7. Diketahui A = {1, 3, 5} dan B = {a, b, c}. Tentukan berapa banyaknya fungsi (sebutkan fungsi apa saja) yang bisa dibuat dari A ke B yang bersifat (a) umum (fungsi biasa) (b) injektif
Layar Penuh 344 dari 388 FMIPA-UNEJ

Daftar Isi

Judul

Cari Halaman

Kembali

(c) surjektif
Tutup

Keluar

(d) bijekttif

FMIPA-UNEJ

Daftar Isi

Judul

345 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

8. Sebutkan ada berapa kondisi relasi yang menyebabkan dia tidak menjadi fungsi. 9. Perhatikan diagram relasi berikut. Tentukan sifat-sifat relasi yang diwakili. Apakah bersifat reeksif, simetrik atau transitif?
FMIPA-UNEJ

Daftar Isi

Judul

346 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

FMIPA-UNEJ

BAB

Daftar Isi

Judul

PENGANTAR LOGIKA DAN HIMPUNAN SAMAR

347 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Tujuan Umum
Setelah mempelajari materi pada bab ini diharapkan agar pembaca mengenal dan memahami konsep logika dan himpunan samar serta mampu membedakannya dengan himpunan atau logika yag telah dibicarakan pada bab sebelumnya.
FMIPA-UNEJ

Daftar Isi

Judul

348 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Tujuan Khusus
Setelah mempelajari materi pada bab ini diharapkan agar pembaca dapat 1. menyebutkan denisi logika samar
Daftar Isi FMIPA-UNEJ

2. menyebutkan denisi himpunan samar 3. memberi contoh logika samar 4. memberi contoh himpunan samar
349 dari 388 Judul

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Materi
1. Konsep Dasar 2. Logika bernilai-3 atau lebih 3. Memodelkan tingkat keanggotaan himpunan
FMIPA-UNEJ

Daftar Isi

Judul

350 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

9.1.

Konsep Dasar
FMIPA-UNEJ

Sejauh ini kita telah mempelajari logika dengan nilai kebenaran yang mutlak, 0 atau 1. Logika ini selanjutnya disebut logika biner (bernilai 2). Padahal di masyarakat dikenal banyak hal yang sulit ditentukan secara mutlak apakah suatu itu benar atau salah. Masyarakat biasa menyebut sebagai wilayah abu-abu (grey area. Demikian juga dalam hal himpunan, kita belum bisa membicarakan himpunan dengan kriteria bersifat kualitatif. Sifat-sifat atau keadaan seperti:cantik, manis, muda, tinggi adalah merupakan kondisi yang tidak bisa dinilai secara mutlak. Setiap orang mungkin saja mempuyai penilaian yang berbeda terhadap objek yang sama. Logika samar maupun himpunan samar fuzzy logics & fuzzy set logika atau himpunan yang mempertimbangkan nilai keberan atau keanggotaan yang bersifat samar (tidak mutlak). Namun, dalam kenyataan justru fenomena samar-samar ini yang banyak dijumpai di masyarakat. Nilai kebenaran suatu pernyataan p yang dinotasikan dengan p pada logika biner dapat dianggap sebagai suatu fungsi indikator yang memetakan p ke himpunan {0, 1}, seperti dinyatakan dalam denisi berikut.

Daftar Isi

Judul

351 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Denisi 9.1. Nilai kebenaran p pada logika biner didenisikan sebagai p : p {0, 1} dengan
FMIPA-UNEJ

p (p) =

1 0

jika jika

p benar p salah

(9.1)
Daftar Isi

Demikian juga keanggotaan suatu unsur x pada himpunan biner, A dapat dianggap sebagai fungsi karakteristik atau fungsi indikator A yang memetakan setiap anggota ke salah satu dari dua kategori, yaitu menjadi anggota (1) atau bukan anggota (0). Jadi daerah kawan atau hasilnya hanyalah {0, 1}. Formalnya, fungsi indikator keanggotaan dalam himpunan A didenisikan sebagai berikut.

Judul

352 dari 388

Cari Halaman

Denisi 9.2. Keanggotaan pada himpunan biner A didenisikan sebagai A : S {0, 1} dengan A (x) = 1 0 jika jika xA xA (9.2)

Kembali

Layar Penuh

Tutup

Keluar

Ide fungsi indikator di atas lalu diperluar untuk memungkinkan suatu unsur memperoleh nilai antara 0 dan 1. Ada banyak hal yang tidak dapat diukur secara mutlak dengan hanya dua kategori, diantaranya adalah: 1. kondisi sifat seseorang atau sesuatu seperti kecil, tinggi, muda; 2. kondisi keberadaan sesuatu seperti tidak ada, sedikit, banyak, kebanyakan, sebagian besar semua; 3. kondisi hubungan seperti sama, mirip, lebih baik dan lain-lain; 4. kondisi kebenaran seperti salah, relatif benar, benar sekali; 5. kondisi kemungkinan seperti, tidak mungkin, mungkin, mungkin sekali, pasti.

FMIPA-UNEJ

Daftar Isi

Judul

353 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

9.2.

Logika bernilai tiga atau lebih


FMIPA-UNEJ

Logika matematika tradisional1 dapat juga dikatakan sebagai logika dengan 2 kategori, yaitu 0 dan 1. Salah satu bentuk generalisasi yang paling sederhana adalah dengan menambahkan satu kategori lagi, misalkan s yang menyatakan bahwa nilai kebenarannya masih samar (ragu-rahu). Dengan logika bernilai tiga ini maka nilai kebenaran pada logika ini merupakan fungsi indikator dengan denisi berikut.

Daftar Isi

Judul

Denisi 9.3. Nilai kebenaran p pada logika matematika bernilai-3 didenisikan sebagai s : p {0, s, 1} dengan 1 s (p) = 0 s
1

354 dari 388

jika jika jika

p benar p salah p bukan salah satu di atas.

Cari Halaman

(9.3)
Kembali

Sebenarnya logika matematika sendiri sudah termasuk kategori logika modern, namun dengan munculnya logika samar, maka dari kaca mata logika samar, logika matemtika dapat dianggap sebagai logika tradisional

Layar Penuh

Tutup

Keluar

Karena nilai kebenaran dapat dianggap sebagai bilangan riil, atau setidaknya bilangan rasional, 0 < s < 1, maka operator , , dapat didenisikan sebagai berikut.

FMIPA-UNEJ

Daftar Isi

Denisi 9.4. Nilai kebenaran logika samar dari pernyataan-pernyataan p, q, r, , masing-masing dengan nilai kebenaran kontinu pada [0,1] didenisikan sebagai s (p) = 1 s (p) s (p q ) = minimum{s (p), s (q )} s (p q ) = maksimum{s (p), s (q )} (9.4) (9.5) (9.6)

Judul

355 dari 388

Cari Halaman

Kembali

x dan y merupakan nilai dari suatu pernyataan, yang berada pada interval [0,1], maka nilai kebenaran dari hasil operasi konektif

Layar Penuh

Tutup

Keluar

dasar seperti pada Denisi 9.4 dapat dinyatakan sebagai berikut: x = 1 x x y = min{x, y } x y = min{x, y }
Daftar Isi FMIPA-UNEJ

Dengan demikian, untuk kategori penilaian 3, yaitu 0,s dan 1, maka tabel kebenaran p, p q dan p q dapat didenisikan sebagai berikut ini. 0 s 1 0 0 0 0 s 0 s s 1 0 s 1 0 s 1 0 0 s 1 s 1 s 1 s 1 1 1 1 s 0

Judul

0 s 1

356 dari 388

Cari Halaman

Dengan cara yang sama kita juga dapat membuat tabel kebenaran untuk implikasi dan biimplikasi . Sebagaimana pada logika biasa, maka p q (p q ), maka s 0 s 0 s sedangkan dan seterusnya.

Kembali

Layar Penuh

Tutup

Keluar

0 s 1

0 s 1 1 1 1 s 1 1 0 s 1

0 s 1

0 1 s 0

s 1 s 0 1 s s 1

FMIPA-UNEJ

Contoh 9.1. Diketahui pernyataan-pernyataan berikut: p : Ani adalah gadis cantik q : Ali adalah pemuda cerdas r : Setiap manusia perlu makan t : Ada negara dengan tiga ibukota Jika pernyataan emperik yang belum diketahui kebenarannya, nilainya dinyatakan dengan s, maka nilai kebenaran pernyataan berikut adalah: 1. (p) = s, (q ) = s, (r) = 1, (t) = 0; 2. (p r) = s, (p r) = 1;

Daftar Isi

Judul

357 dari 388

Cari Halaman

3. (q t) = 0, (q t) = s. Sebagaimana disinggung pada pembukaan subbab sebelumnya bahwa fungsi keanggotaan atau kebenaran dapat diberi nilai secara bebas pada interval [0,1]. Hal ini memungkinkan kita membuat sistim logika dengan lebih dari 3 nilai.
Kembali

Layar Penuh

Tutup

Keluar

Denisi 9.5. Nilai kebenaran samar dari pernyataan p, dinotasikan dengan fs adalah suatu fungsi dari p ke [0, 1]. Selanjutnya fs dikatakan sebagai fungsi kebenaran. Denisi 9.6. Nilai kebenaran p pada logika matematika dapat didenisikan sebagai s : p [0, 1] dengan 1 s (p) = 0 0 < f (s) < 1 jika jika jika p benar p salah p bukan salah satu di atas.

FMIPA-UNEJ

Daftar Isi

Judul

(9.7)

f (s) dapat berupa fungsi yang menunjukkan derajat keyakinan seseorang terhadap nilai kebenaran p. Jika P adalah himpunan pernyataan-pernyataan dengan nilai kebenaran berada pada interval [0,1], maka operasi pernyataan dengan konektif , , maupun yang lainnya dapat dilakukan dengan menggunakan Densi 9.4. Dengan kata lain denisi tersebut juga berlaku untuk sistim yang mempunyai nilai lebih dari 3 kategori, bahkan untuk sistim yang mempunyai nilai kebenaran kontinu.

358 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Teorema 9.1. Pada logika samar, berlaku hukum komutatif baik untuk maupun
FMIPA-UNEJ

Bukti: x y = min(x, y ) = min(y, x) =yx

Daftar Isi

Judul

359 dari 388

Teorema 9.2. Pada logika samar, berlaku hukum asosiatif baik untuk maupun
Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

9.3.
9.3.1.

Himpunan Samar
Himpunan dengan tiga atau lebih kategori keanggotaan
FMIPA-UNEJ

Seperti halnya pada logika samar. Himpunan samar juga mempunyai tingkat keanggotaan yang lebih luas dari sekedar dan / . Perluasan yang paling sederhana adalah mengelompokkan keanggotaan menjadi tiga kategori: 1. anggota (pasti) ()

Daftar Isi

Judul

360 dari 388

2. anggota (ragu-ragu) (s)


Cari Halaman

3. bukan anggota ( /)
Kembali

Contoh 9.2. Misalkan kita memiliki sejumlah calon mahasiswa dengan kondisi Niai Ujian matematika (M ) dan Penghasilan orang tua dalam jutaan rupiah (P ) sebagai berikut:

Layar Penuh

Tutup

Keluar

Calon a b c d e

M 6,5 4,0 9,0 6,0 8,0

P 25,0 0,1 10,0 1,0 1,5

FMIPA-UNEJ

Daftar Isi

Judul

Jika A adalah himpunan calon mahasiswa cerdas dan B adalah himpunan calon mahasiswa kaya, maka keanggotaan dari a, b, , e terhadap A dan B salah satunya dapat ditentukan sebagai berikut:
361 dari 388

Unsur A a s b / c d s e

B / s s

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

9.3.2.

Memodelkan tingkat keanggotaan kontinu dari himpunan


FMIPA-UNEJ

Tingkat keanggotaan himpunan selain dapat dikategorikan menjadi beberapa kategori, juga dapat didenisikan secara kontinu.

Daftar Isi

Denisi 9.7. Keanggotaan samar dari suatu himpunan S adalah suatu fungsi dari S ke [0, 1]. Untuk suatu himpunan samar, misalnya S , fungsi A : S [0, 1] dikatakan fungsi keanggotaan dan nilai A(x) disebut tingkat keanggotaan dari x pada himpuan samar A. Tentu saja fungsi keanggotaan untuk suatu masalah yang sama dapat berbeda-beda. Jika x merupakan suatu kualitas/ sifat yang dapat diukur secara kuantitaif (misalnya umur, tinggi badan, berat badan), maka fungsi derajat keanggotaan ini dapat didenisikan sebagai fungsi dari kuantitas tadi yag dipetakan ke [0,1]. Dengan kata lain kita dapat membuat model keanggotaan secara kontinu untuk sesuatu sifat yang dapat dinyatakan dalam bentuk angka.

Judul

362 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Contoh 9.3. Misalkan kita ingin membuat model keanggotaan dari himpunan orang muda. Status muda atau tidak dapat dilihat dari umur yang dinyatakan dalam bentuk angka. Dengan demikian kita dapat membuat model yang menghubungkan umur dengan keanggotaan himpunan. Misalkan pula untuk membuat himpunan orang muda seperti ini ada beberapa pendapat. Satu kelompok masyarakat sepakat/ yakin bahwa umur dibawah 25 tahun adalah muda, dan di atas 45 tahun bukan muda lagi. Tetapi banyak diantara mereka yang menganggap antara 25 sampai 45 tahun juga masih tergolong muda. Kenggotaan ini dapat dirumuskan dengan Mi (x). Kelompok lain misalnya mempunyai kriteria berbeda. Mereka sepakat/ yakin bahwa dibawah 30 tahun adalah muda sedangkan di atas 50 tahun sudah tidak muda lagi. Sedangkan mereka juga menganggap antara 30 dan 50 tahun juga masih bisa dikelompokkan muda (walaupun samar-samar). Fungsi keanggotaan M diberikan pada persamaan (9.8a) dan graknya diberikan pada Gambar 9.1. 1 jika x < 25 jika 25 < x < 45 jika x > 45 (9.8a)

FMIPA-UNEJ

Daftar Isi

Judul

363 dari 388

Cari Halaman

Kembali

M1 (x) =

45x

20 0

Layar Penuh

Tutup

Keluar

Gambar 9.1: Grak keanggotaan M1


1.5

FMIPA-UNEJ

1.0

Daftar Isi

Muda

0.0

0.5

Judul

-0.5

364 dari 388

10

20

30 Umur

40

50

Cari Halaman

Kembali

Misalkan pula bagi kelompok yang lebih senior memiliki model yang sedikit berbeda (tidak ada keraguan kategori muda untuk usia dibawah 30 dan tidak ada keraguan tidak muda untuk usia di atas

Layar Penuh

Tutup

Keluar

Gambar 9.2: Grak keanggotaan M2


1.5

FMIPA-UNEJ

Daftar Isi

Muda

0.5

1.0

Judul

365 dari 388


0.0

Cari Halaman
-0.5 10

20

30 Umur

40

50

Kembali

Layar Penuh

Tutup

Keluar

50 tahun), maka salah satu modelnya adalah seperti pada persamaan (9.8b) dengan grak seperti Gambar 9.2. jika x < 30 1 M2 (x) = 1 0
x30 2 20

FMIPA-UNEJ

jika 30 < x < 50

(9.8b)
Daftar Isi

jika x > 50

Contoh 9.4. Misalkan kita ingin membuat keanggotaan himpunan orang kaya. Untuk ini misalkan pula masyarakat sepakat bahwa penghasilan dibawah Rp 1 juta tidak dapat dikatakan kaya, sedangkan penghasilan diatas 5 juta sebulan sudah pasti termasuk kelompok kaya. Maka salah satu fungsi keanggotaan untuk masalah ini adalah seperti persamaan (9.9) dengan grak seperti Gambar 9.3. untuk x < 0, 5 106 0 x0,5106 K (x) = (9.9) untuk 0, 5 106 < x < 5106 4,5106 1 untuk x > 5 106 Contoh 9.5. Misalkan pula kita membuat model keanggotaan himpunan jarang ditentukan dengan mendenisikan istilah jarang dengan proporsi keberadaan x sebagai berikut:

Judul

366 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

1. benar mutlak (bernilai 1, berarti benar jarang) jika tidak ada sama sekali; 2. mutlak tidak benar (bernilai 0, berarti tidak benar jarang) jika ada lebih dari 1/2 3. 1 4x22 untuk situasi diantara dua di atas, dengan x adalah proporsi keberadaan. Maka bentuk fungsi secara keseluruhan adalah seperti persamaan (9.10) dengan grak seperti pada Gambar 9.3. jika x < 0 1 J (x) = 1 4x2 jika 0 < x < 1/2 jika x > 1/2
Cari Halaman FMIPA-UNEJ

Daftar Isi

Judul

(9.10)

367 dari 388

Grak dari fungsi ini dapat dilihat pada Gambar 9.4


Kembali

Contoh 9.6. Misalkan kita ingin membuat keanggotaan himpunan sebagian besar. Maka pertama kita tentukan karakteristik dari keberadaan
Layar Penuh 2

kita dapat memilih denisi atau bentuk yang lain, misalnya 1 12x2 + 16x3
Tutup

Keluar

Gambar 9.3: Grak fungsi keanggotaan K

FMIPA-UNEJ

1.5

Daftar Isi

Kaya

0.5

1.0

Judul

368 dari 388


0.0

Cari Halaman
-0.5 0

3 Penghasilan

Kembali

Layar Penuh

Tutup

Keluar

Gambar 9.4: Grak fungsi keanggotaan J

FMIPA-UNEJ

1.5

Daftar Isi

Jarang

0.5

1.0

Judul

369 dari 388


0.0

Cari Halaman
-0.5 0.0

0.5 Proporsi

1.0

1.5

Kembali

Layar Penuh

Tutup

Keluar

tersebut. Salah satu yang bisa dilakukan adalah dengan melihat prosentase keberadaan objek yang kita jadikan perhatian. Misalkan pula kita didenisikan sebagai berikut:
FMIPA-UNEJ

1. benar mutlak (sebagian besar, bernilai 1) jika adanya lebih dari separuh (0.5); 2. salah mutlak (tidak benar sebagian besar, bernilai 0) jika adanya 0 (tidak ada); 3. 8x33 untuk situasi diantara dua di atas, dengan x menunjukkan proporsi keberadaan. Maka bentuk fungsi secara keseluruhan adalah seperti pada persamaan (9.11). jika x < 0 0 (9.11) S (x) = 8x3 jika 0 < x < 1/2 1 jika x > 1/2

Daftar Isi

Judul

370 dari 388

Cari Halaman

Kembali

Layar Penuh 3

kita dapat memilih denisi atau bentuk yang lain, misalnya 4x2
Tutup

Keluar

9.4.

Bacaan Lebih Lanjut


FMIPA-UNEJ

Teori tentang himpunan samar (fuzzy sets) dimulai oleh L.A. Zadeh, seorang ahli teori kontrol, pada tahun 1965. Walaupun pada awalnya mendapat banyak penolakan, terutama dari kalangan statistisi, dewasa ini teori samar berkembang cukup pesat dan banyak diapliasikan dalam automatisasi alat-alat elektronika. Automatisasi dengan sistim atau logika samar diklaim mendapatkan hasil yang lebih sempurna (dibandingkan dengan tehnik digital yang berdasarkan logika 2 nilai) dan dalam pengendalian robot akan menghasilkan robot yang lebih cerdas dan lebih mendekati prilaku manusia. 1. mesin cuci, yang dipelopori oleh perusahan Matsushita tahun 1990. Dengan kontrol menggunakan logika samar mesin cuci lebih cerdas dalam membaca jenis dan tingkat kotoran pakaian serta mengatur prilaku mesin cuci; 2. pengatur transmisi automatis pada mobil dipelopori oleh perusahan mobil Nissan. Dengan sistim ini mobil dapat menghemat bahan bakar sampai 12 sampai 17 %. Tahun 1992 perusahan mobil Mitsubishi menerapkan logika samar bukan saja pada trans-

Daftar Isi

Judul

371 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

misi tetapi juga pada suspensi, kemudi dan daya 4 roda serta pengatur udara; 3. kamera dan video. Kamera dan video yang dilengkapi dengan sistim logika samar dapat menghasilkan perhitungan penyinaran yang dan kontrol yang lebih sempurna sehingga menghasilkan gambar yang lebih baik. Bagi pemula, buku tulisan Nguyen & Walker [13] cukup memadai sebagai tahap awal mendalami logika samar. Aplikasi logika samar pada pengambilan keputusan dapat dibaca pada Kusumadewi & Purnomo [8]. Sedangkan aplikasi dalam sistim dan kontrol dapat dibaca pada Wang [21]. Pada buku yang sama Wang juga menguraikan arah dan cabang pengembangan teori samar.
FMIPA-UNEJ

Daftar Isi

Judul

372 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

FMIPA-UNEJ

Daftar Isi

GLOSARIUM

Judul

373 dari 388

A
abundan Bilangan abundan/berlebih adalah bilangan yang memiliki jumlah faktor sejati (termasuk 1), melebihi bilangan itu sendiri.

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

aksioma

Aksioma adalah pernyataan yang diterima kebenarannya dalam rangka membangun suatu teori, yang menghasilkan teorema-teorema dalam buku ini aksioma dianggap sama dengan postulat. Asumsi adalah pernyataan yang dianggap benar dalam argumentasi tertentu dan dipergunakan sebagai hipotesis untuk menurunkan suatu kesimpulan.

FMIPA-UNEJ

asumsi

Daftar Isi

Judul

D
desien Bilangan desien/berkurang adalah bilangan yang memiliki jumlah faktor sejati (termasuk 1), kurang dari bilangan itu sendiri.
374 dari 388

Cari Halaman

K
Kembali

konjektur Konjektur adalah pernyataan tentang sifat suatu sistem yang diduga benar tetapi belum bisa dibuktikan secara deduktif.

Layar Penuh

Tutup

Keluar

korolari

Korolari/akibat langsung adalah konsekuensi logis dari suatu teorema yang sangat dekat kaitannya dengan teorema sebelumnya.
FMIPA-UNEJ

Daftar Isi

L
Judul

lemma

Lemma adalah suatu sifat yang bergantung pada sistem di luar yang dibahas yang dibuktikan untuk menyederhanakan pembuktian teorema yang diperlukan.
375 dari 388

P
proposisi Proposisi dalam sistem matematika adalah suatu pernyataan tentang sifat-sifat suatu sistem, hampir sama dengan teorema hanya saja pembuktiannya tidak seformal teorema.

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

S
sempurna Bilangan sempurna adalah bilangan yang memiliki jumlah faktor sejati (termasuk 1), sama dengan bilangan itu sendiri.

FMIPA-UNEJ

Daftar Isi

T
teorema Teorema adalah pernyataan atau rumus yang dapat diturunkan dari suatu sistim aksioma dengan menerapkan aturan-aturan yang berlaku pada sistim bersangkutan.
Judul

376 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

FMIPA-UNEJ

Daftar Isi

DAFTAR PUSTAKA

Judul

377 dari 388

[1] E.J. Borowsky and J.M. Borwein. Collins Dictionary Mathematics. Collins, Great Britain, 1989. [2] I. M. Copi. Symbolic Logic. The Macmillan Company, New York, 1961. [3] R. Courant and H. Robbins. What is Mathematics? An Elementary Approach to Ideas and Methods. Oxford University Press,

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Oxford, 1978. [4] H.B. Enderton. Mathematical Introduction to Logic. Academic Press, 1972. [5] P. Fletcher, H. Hoyle and C.W. Patty. Foundation of Discrete Mathematics. PWS-Kent Pub. Co., Boston, 1991. [6] M.C. Gemignani. Basic Concept of Mathematics and Logic. Addison Wisley Pub.Co., 1968. [7] S.K. Hazas, S. Dyastriningrum & I. Ngathoillah. Sejarah Matematika, Klasik dan Modern. UAD Presss, Yogyakarta, 2004.
378 dari 388

FMIPA-UNEJ

Daftar Isi

Judul

[8] S. Kusumadewi and H. Purnomo. Aplikasi Logika Fuzzy untuk pendukung Keputusan. Graha Ilmu, Yogyakarta, 2004. [9] S. Lipschutz. Set Theory and Relatd Topics. Schaums Outline Series, McGraw-Hill Book Co., New York, 1974. [10] M.A. Munem and D.J. Foulis. Calculus with Analytic Geometry. Worth Publisher, Inc, New York, 1978.

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

[11] A.H. Nasoetion. Landasan Matematika. Bharata Karya Aksara, Jakarta, 1980. [12] S. Negoro & B. Harahap. Ensiklopedia Matematika. Ghalia Indonesia, Jakarta, 1990. [13] H.T. Nguyen and E. A. Walker. A First Course in Fuzzy Logic. Chapman & Hall/CRC, London, 2nd edition, 2000. [14] N. Nissanke. Introductory Logic and Sets for Computer Scientists. Addison-Wesley Longman Lmt., England:Harlow, 1999. [15] A.D. Polimeni and H.J. Straight. Foundations of Discrete Mathematics. Brooks/Cole Pub. Co., California, 1985. [16] E.T. Ruseendi. Dasar-dasar Matematika Modern untuk Guru. Tarsito, Bandung, 3 edition, 1982. [17] J.J. Siang. Matematika Diskrit dan Aplikasinya pada Ilmu Komputer. Andi, Yogyakarta, 2002. [18] R. Soekadijo. Logika Dasar. Gramedia, Jakarta, 1983.
Tutup FMIPA-UNEJ

Daftar Isi

Judul

379 dari 388

Cari Halaman

Kembali

Layar Penuh

Keluar

[19] S. Sulistyaningsih. Mengenal Tehnik Dasar Komputer. M2S, Bandung, 1984. [20] N.L. Thomas. Modern Logic-an Introduction. Barnes & Noble, New York, 1968. [21] L-X. Wang. A Course in Fuzzy Systems and Control. PrenticeHall International Inc., London, 1997.
FMIPA-UNEJ

Daftar Isi

Judul

380 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

FMIPA-UNEJ

INDEKS PENULIS

Daftar Isi

Judul

Borowsky, 21, 24, 60 Borwein, 21, 24, 60 Copi, 22, 24, 54, 91, 95 Courant, 263, 285, 291 Dyastriningrum, 291 Enderton, 60, 95, 178

Fletcher, 178 Gemignani, 22, 60, 95, 178

381 dari 388

Cari Halaman

Harahap, 60 Hazas, 291 Lipschutz, 263, 291, 324

Kembali

Layar Penuh

Nasoetion, 217, 263, 291, 324


Tutup

Keluar

Negoro, 60 Ngathoillah, 291 Nguyen, 354


FMIPA-UNEJ

Polimeni, 22, 178, 263, 291, 324 Robbins, 263, 285, 291 Ruseendi, 219, 263, 291, 324 Soekadijo, 21 Straight, 22, 178, 263, 291, 324 Sulistyaningsih, 53 Thomas, 22, 60, 95, 178 Walker, 354 Wang, 354
382 dari 388 Daftar Isi

Judul

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

FMIPA-UNEJ

INDEKS SUBJEK

Daftar Isi

Judul

anteseden, 71 argumen kesimpulan, 191 premis, 191 bentuk normal, 109 CCNF, 115 CDNF, 111

CNF, 114 disjungtif, 110 lengkap, 111 DNF, 110 konjungtif, 114 lengkap, 115 biimplikasi, 70 bilangan

383 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

abundan, 32, 34, 35 Archimedes, 284 desien, 35 Euler, 284 komposit, 61 prima, 61 sejarah, 291 sempurna, 35 biner, 93 bukti tak langsung, 204 kontradiksi, 206 negasi, 205 pengandaian, 206 penyanggah, 205 Dagger, 57, 58 denisi, 24 diagram kartesius, 298

panah, 301, 316 pohon, 250 Venn, 222, 231, 233, 235, 242, 283, 287 diagram Venn, 127, 227 dilema destruktif, 202, 203 konstruktif, 201 dual, 49 ekuivalen, 46 ekuivalensi biimplikasi, 85 implikasi, 84 logis, 83 faktor, 109 fungsi aljabar, 321 karakteristik

FMIPA-UNEJ

Daftar Isi

Judul

384 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

bentuk, 322 lokasi, 322 skala, 322 transenden, 321 trigonometri, 321 fuzzy, 333 gabungan, 158 gugus, 217 himpunan, 217 bagian, 225 berhingga, 221 berpotongan, 224 bilangan asli, 153 cacah, 278 kardinal, 278 diskrit, 276 ekuivalen, 225

elemen, 218 deskripsi, 218 tabulasi, 218 keluarga, 226 kontinu, 276 kosong, 221 kuasa, 228 partisi, 243 penyelesaian, 151 saling lepas, 224 sama, 224 samar, 217 semesta, 220 subset sifat-sifat, 244, 248, 255, 258 takhingga, 221 terhitung, 276 unsur, 218

FMIPA-UNEJ

Daftar Isi

Judul

385 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

hipotesis, 71 hirarki perakit, 58, 90 implikasi, 70 formal, 73 logis, 83 material, 73 induksi lengkap, 209 matematika, 209, 276 irisan, 158 jaringan listrik, 125 kalimat matematika, 150 terbuka, 150 tertutup, 150 karakteristik, 108

kardinal himpunan, 220 kebenaran nilai, 32 tabel konjungsi, 37 negasi, 33 kesimpulan, 71 konklusi, 71 konsekuen, 71 konstanta, 147 kontra, 205 kontradiksi, 44, 115 kuantor eksistensial, 155 universal, 155 kuantor eksistensial, 212 kuantor universal, 212 negasi, 33

FMIPA-UNEJ

Daftar Isi

Judul

386 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

biimplikasi, 88 implikasi, 87 tunggal, 33 notasi, 22 Lukasiewicz, 91 operasi himpunan gabungan, 234 irisan, 232 jumlah, 240, 243 kartesius, 297 komplemen, 230 selisih, 240, 243 sifat-sifat, 236 parabola, 322 Peano, 209 pengingkaran alternatif, 56 bersama, 57

pengurut, 275 penyanggah, 205 perakit, 36 dan, 36 dasar, 42 disjungsi, 39 eksklusif, 54 konjungsi, 36, 37 permutasi, 319 pernyataan aljabar, 46 kalkulus, 46 kondisional, 70 majemuk, 36 tunggal, 31 peubah, 148 rangkap, 49

FMIPA-UNEJ

Daftar Isi

Judul

387 dari 388

Cari Halaman

Kembali

Layar Penuh

samar, 333
Tutup

Keluar

himpunan, 342, 344 logika, 336, 340 assosiatif, 341 komutatif, 341 konektif, 337 semesta pembicaraan, 147 seri, 128 simbol, 22 Stroke, 56, 58 subset, 225 suku, 109 syarat cukup, 75 perlu, 75 tautologi, 43, 112 tetapan, 147 translasi, 118

uner, 93 variabel, 148


FMIPA-UNEJ

Daftar Isi

Judul

388 dari 388

Cari Halaman

Kembali

Layar Penuh

Tutup

Keluar

Anda mungkin juga menyukai