Daftar Isi
Judul
0 dari 388
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
FMIPA-UNEJ
Daftar Isi
Judul
1 dari 388
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.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.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
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
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
29
Cari Halaman
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
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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Daftar Isi
Judul
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
59
Cari Halaman
92
Kembali
Tabel kebenaran konjungsi, disjungsi, implikasi dan biimplikasi . . . . . . . . . . . . . . . . . . . . . . . . . . 107 Aljabar Boole . . . . . . . . . . . . . . . . . . . . . . . 126
Layar Penuh
Tutup
Keluar
7.1 7.2
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.
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 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
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.
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.
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.
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.
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
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
Tutup
Keluar
1.4.
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
(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
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
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
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.
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
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
Kembali
(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
(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.
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
Keluar
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.
Kembali
Layar Penuh
Tutup
Keluar
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
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
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
Judul
59 dari 388
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
1.8.
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
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
(d) p/q (p p) (q q ) (p p) (q q )
Tutup
Keluar
(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
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
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
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
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.
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
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
Keluar
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.
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
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 De Morgan hukum Asosiatif hukum komplemen hukum identitas.
86 dari 388
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
2.5.
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
FMIPA-UNEJ
Daftar Isi
Judul
88 dari 388
Cari Halaman
(p q ) (p q ) (p q ) (p q ) (p q ) p q p q
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
FMIPA-UNEJ
Daftar Isi
Judul
(q p) (p q )
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
2.6.
2.6.1.
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
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
Notasi biasa p pq pq pq pq
FMIPA-UNEJ
Daftar Isi
Judul
92 dari 388
Kembali
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.
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
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
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
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
Tutup
Keluar
FMIPA-UNEJ
Daftar Isi
Judul
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
FMIPA-UNEJ
BAB
3
KARAKTERISTIK, BENTUK NORMAL DAN APLIKASINYA
Daftar Isi
Judul
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
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
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
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.
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
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
3.2.1.
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
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
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
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
Judul
3.2.2.
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
(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
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
3.3.
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.
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
Jawab:
Cari Halaman
(x + y )(x + y ) (x + y )x + (x + y )y xx + yx + xy + yy 0 + yx + xy + 0 yx + xy DNF
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
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
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
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.
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
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
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
3.6.
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
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
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
FMIPA-UNEJ
Daftar Isi
Judul
Cari Halaman
Kembali
Tutup
Keluar
3.7.
Rangkaian seri
Dalam aljabar jaringan listrik rangkaian seri identik dengan konjungsi seperti diilustrasikan pada gambar berikut Jaringan/ rangkaian listrik mengilustrasikan AB
Daftar Isi
Judul
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
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
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
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 ).
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
FMIPA-UNEJ
Daftar Isi
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
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
Kembali
(q + r) = (q + r) + 0 = (q + r) + pp = (q + r + p)(q + r + p )
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
( 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
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
Cari Halaman
Kembali
Keluar
Jadi persamaannya y = ABCD + AB CD + A B CD . Langkah berikutnya tinggal menyederhanakan bentuk tadi jika memang diangggap perlu.
Daftar Isi
Judul
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
3.8.
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
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
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
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
FMIPA-UNEJ
BAB
4
KUANTOR
Daftar Isi
Judul
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
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.
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
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
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
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
4.2.
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
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
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
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
(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
Cari Halaman
4.3.2.
Kuantor Eksistensial
x U, p(x) atau x, p(x) atau x, (p(x)) = 1
Kembali
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
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
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))
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.
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
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.
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
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
x B,
Kembali
Layar Penuh
Tutup
Keluar
4.7.
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
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
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.
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
Cari Halaman
Kembali
Layar Penuh
ii x, y, x2 + y 2 < 14
Tutup
Keluar
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 )
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
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
4.9.
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 )
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
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
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
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
4.10.
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
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
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
Cari Halaman
Kembali
Layar Penuh
(b) x
x2 = x
Tutup
Keluar
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
bilangan asli. bilangan prima. bilangan genap. bilangan ganjil. bilangan cacah. bujur sangkar. persegi panjang.
Cari Halaman
(a) Setiap bilangan asli adalah ganjil atau genap, tetapi tidak keduanya.
Layar Penuh
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
(c) x, p(x) y, q (y )
Layar Penuh
Keluar
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.
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
FMIPA-UNEJ
Daftar Isi
Judul
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
FMIPA-UNEJ
BAB
5
PENALARAN LOGIS
Daftar Isi
Judul
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
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
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
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
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
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
Cari Halaman
Kembali
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
(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
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
5.2.
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
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
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
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
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
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
Salah satu cara untuk membuktikannya adalah sebagai berikut ini. Misalkan:
Daftar Isi
Judul
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
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
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
(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.
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.
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.
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.
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
Cari Halaman
Kembali
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
5.3.3.
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
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
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
Contoh 5.17.
Daftar Isi
1 + 2 + 3 + + n = 1/2n(n + 1) Bukti :
210 dari 388
Kembali
1 + 2 + ... + k = 1/2k (k + 1)
Tutup
Keluar
FMIPA-UNEJ
Daftar Isi
Judul
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
Kembali
Layar Penuh
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
Judul
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.
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.
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
(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
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
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
q p
Cari Halaman
Layar Penuh
Tutup
Keluar
5.7.
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
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
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
5.8.
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
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
(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
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
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
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
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
FMIPA-UNEJ
BAB
6
HIMPUNAN
Daftar Isi
Judul
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
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
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.
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
Cari Halaman
Kembali
Layar Penuh
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
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
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
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
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
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
FMIPA-UNEJ
S=U
Daftar Isi
Judul
A
239 dari 388
Cari Halaman
Kembali
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
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
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
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
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
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.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
Cari Halaman
ii A
B
Layar Penuh
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
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}
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
FMIPA-UNEJ
Daftar Isi
AA
Judul
Cari Halaman
Layar Penuh
Tutup
Keluar
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
Cari Halaman
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
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
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
6.3.2.
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)
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)
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
(y B ) (y A) (y A) (y B ) y (A B ) (B A) (A B )
Layar Penuh
Tutup
Keluar
6.3.3.
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
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
Cari Halaman
Kembali
Tutup
Keluar
FMIPA-UNEJ
Daftar Isi
A B
Judul
B
258 dari 388
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.
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
(6.11b) (6.11c)
Cari Halaman
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
Teorema 6.21. AB AB =B
Cari Halaman
Kembali
1. (A B ) A B = B
Tutup
Keluar
Daftar Isi
Judul
(z A) (z B ) (y (A B ) (y B ) (A B ) B )
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
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
{}
{}
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
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
6.5.
Daftar Isi
Judul
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
Cari Halaman
Kembali
Tutup
Keluar
B A
FMIPA-UNEJ
Daftar Isi
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)
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
Tutup
Keluar
FMIPA-UNEJ
Daftar Isi
Judul
Cari Halaman
Kembali
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
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
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
FMIPA-UNEJ
Daftar Isi
Judul
A B
276 dari 388
Cari Halaman
Layar Penuh
Tutup
Keluar
C2
FMIPA-UNEJ
C1 A B
Daftar Isi
Judul
B, B
C1 dan B
C2 . Namun,
Cari Halaman
A B
Kembali
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
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
6.6.
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
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
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.
Cari Halaman
Kembali
Layar Penuh
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
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
U=S
U Z
FMIPA-UNEJ
W A B D
Daftar Isi
{}
{}
Judul
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
FMIPA-UNEJ
Daftar Isi
Judul
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
FMIPA-UNEJ
BAB
7
HIMPUNAN BILANGAN
Daftar Isi
Judul
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
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
Tujuan Umum
Mahasiswa memahami himpunan-himpunan bagian dari himpunan bilangan riil.
FMIPA-UNEJ
Daftar Isi
Judul
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
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
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
7.1.
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
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
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
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
Cari Halaman
Kembali
P (1) k, P (k ) P (k )
P (n), n N
(7.3)
Layar Penuh
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.
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
7.2.
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
Cari Halaman
Kembali
Layar Penuh
0 C,
c C, 0 + c = c + 0 = c
Tutup
Keluar
Daftar Isi
Judul
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
7.3.
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
Cari Halaman
c(= 0) C, c C
c.c = 1
Kembali
Layar Penuh
Tutup
Keluar
7.4.
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
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
c.c = 1
Daftar Isi
Judul
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
7.5.
Daftar Isi
U=R
Judul
C Z
Q
300 dari 388
Cari Halaman
Kembali
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
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
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
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
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
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
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
FMIPA-UNEJ
Daftar Isi
Judul
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
7.7.
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
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
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
FMIPA-UNEJ
Daftar Isi
Judul
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
FMIPA-UNEJ
BAB
Daftar Isi
Judul
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
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
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
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
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
Cari Halaman
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)
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
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
Cari Halaman
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
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
Cari Halaman
Kembali
Tutup
Keluar
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
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
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
Cari Halaman
Kembali
Keluar
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
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.
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
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
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
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
x q
z c
FMIPA-UNEJ
Daftar Isi
u s a b v p t
Judul
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
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
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
FMIPA-UNEJ
v b
Daftar Isi
w c
Judul
x d y z
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
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
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
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)
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
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
(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.
. 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
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
Y=a(xxp)^2+yp
25
FMIPA-UNEJ
20
Daftar Isi
15
Judul
10 5 Y
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.
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
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
8.9.
Soal-soal Latihan
(a) A B (b) B A
FMIPA-UNEJ
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
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
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
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
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
FMIPA-UNEJ
BAB
Daftar Isi
Judul
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
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
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
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
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
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
9.2.
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
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
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
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
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.
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
Teorema 9.1. Pada logika samar, berlaku hukum komutatif baik untuk maupun
FMIPA-UNEJ
Daftar Isi
Judul
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
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
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.
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
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
Cari Halaman
Kembali
M1 (x) =
45x
20 0
Layar Penuh
Tutup
Keluar
FMIPA-UNEJ
1.0
Daftar Isi
Muda
0.0
0.5
Judul
-0.5
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
FMIPA-UNEJ
Daftar Isi
Muda
0.5
1.0
Judul
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
(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
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)
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
FMIPA-UNEJ
1.5
Daftar Isi
Kaya
0.5
1.0
Judul
Cari Halaman
-0.5 0
3 Penghasilan
Kembali
Layar Penuh
Tutup
Keluar
FMIPA-UNEJ
1.5
Daftar Isi
Jarang
0.5
1.0
Judul
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
Cari Halaman
Kembali
Layar Penuh 3
kita dapat memilih denisi atau bentuk yang lain, misalnya 4x2
Tutup
Keluar
9.4.
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
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
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
FMIPA-UNEJ
Daftar Isi
GLOSARIUM
Judul
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
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar
FMIPA-UNEJ
Daftar Isi
DAFTAR PUSTAKA
Judul
[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
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
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
Cari Halaman
Kembali
Layar Penuh
Keluar
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
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
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
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
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
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
Daftar Isi
Judul
Cari Halaman
Kembali
Layar Penuh
Tutup
Keluar