RANCANG BANGUN APLIKASI PEMBELAJARAN KALKULUS PROPOSISI MENGGUNAKAN VISUAL BASIC 6.0

Transkripsi

1 RANCANG BANGUN APLIKASI PEMBELAJARAN KALKULUS PROPOSISI MENGGUNAKAN VISUAL BASIC 6.0 Agung Haryanto PROGRAM STUDI TEKNIK INFORMATIKA FAKULTAS ILMU KOMPUTER UNIVERSITAS MERCU BUANA JAKARTA 2011

2 RANCANG BANGUN APLIKASI PEMBELAJARAN KALKULUS PROPOSISI MENGGUNAKAN VISUAL BASIC 6.0 Laporan Tugas Akhir Diajukan Untuk Melengkapi Salah Satu Syarat Memperoleh Gelar Sarjana Komputer Oleh: Agung Haryanto PROGRAM STUDI TEKNIK INFORMATIKA FAKULTAS ILMU KOMPUTER UNIVERSITAS MERCU BUANA JAKARTA 2011

3 LEMBAR PERNYATAAN Yang bertanda tangan dibawah ini: NIM : Nama : AGUNG HARYANTO Judul Skripsi : RANCANG BANGUN APLIKASI PEMBELAJARAN KALKULUS PROPOSISI MENGGUNAKAN VISUAL BASIC 6.0 Menyatakan bahwa skripsi tersebut diatas adalah hasil karya saya sendiri dan bukan plagiat. Apabila ternyata ditemukan didalam laporan skripsi saya terdapat unsur plagiat, maka saya siap untuk mendapatkan sanksi akademik yang terkait dengan hal tersebut. Jakarta, 15 Desember 2011 Agung Haryanto i

4 LEMBAR PERSETUJUAN NIM : NAMA : AGUNG HARYANTO JUDUL SKRIPSI : RANCANG BANGUN APLIKASI PEMBELAJARAN KALKULUS PROPOSISI MENGGUNAKAN VISUAL BASIC 6.0 SKRIPSI INI TELAH DIPERIKSA DAN DISETUJUI JAKARTA, 17 FEBRUARI 2012 Ahmad Kodar, Drs., MT Pembimbing Tri Daryanto, S.Kom., MT Koord. Tugas Akhir Teknik Informatika Anis Cherid, MTI KaProdi Teknik Informatika ii

5 KATA PENGANTAR Puji Syukur Alhamdulillah yang tak terhingga penulis panjatkan kehadirat Alloh SWT. atas segala rahmat, pertolongan, hidayah serta karunia-nya, sehingga penulis dapat menyelesaikan laporan tugas akhir ini dengan judul Aplikasi Pembelajaran Kalkulus Proposisi dengan baik. Tugas Akhir ini merupakan salah satu persyaratan untuk menyelesaikan program studi strata satu (S1) pada Jurusan Teknik Informatika Universitas Mercu Buana Jakarta. Dalam prosess penyelesaian tugas akhir ini, banyak sekali hambatan dan rintangan baik dari segi bahasa, isi maupun teknik penulisann yang dihadapi penulis. Namun, berkat ridho Alloh SWT., ketekunan, kesabaran serta bimbingan dan petunjuk dari orang-orang terbaik disekitar penulis yang turut membantu dan memotivasi, Alhamdulillah tugas akhir ini dapat terselesaikan dengan baik. Untuk itu dalam kesempatan ini, penulis tidak lupa mengucapkan terima kasih kepada: 1. Ahmad Kodar, Drs., MT, selaku pembimbing tugas akhir. 2. Anis Cherid, MTI, selaku kaprodi Teknik Informatika Universitas Mercu Buana. 3. Tri Daryanto, S.Kom., MT, selaku koordinator tugas akhir Jurusan Teknik Informatika Universitas Mercu Buana. 4. Seluruh dosen pengajar yang telah memberikan bekal ilmu, selama penulis kuliah di Universitas Mercu Buana Jakarta. 5. Kepada orang tua dan kakak tercinta yang telah memberikan doa, saran dan dukungannya kepada penulis. 6. Kepada putriku tercinta Chalfarra Graciela Haryanto yang selalu menjadi penyemangat dan motivasi, sehingga tugas akhir ini bisa terselesaikan dengan baik. iii

6 7. Kepada istriku tercinta Yuli Sri Budiarti, wanita luar biasa yang selalu membantu penulis baik secara moril maupun materiil dalam menyelesaikan tugas akhir ini serta mengingatkan jika penulis mulai malas ataupun lalai. 8. Sahabat-sahabat seperjuangan Mahasiswa strata satu (S1) Jurusan Teknik Informatika Universitas Mercu Buana Jakarta. 9. Serta kepada semua pihak yang tidak dapat penulis sebutkan satu persatu yang telah membantu dalam penyusunan tugas akhir ini sehingga tugas akhir ini dapat diselesaikan dengan baik. Penulis menyadari bahwa dalam penulisan tugas akhir ini masih jauh dari sempurna. Oleh karena itu, kritik dan saran yang sifatnya membangun akan senantiasa penulis terima dengan senang hati. Penulis berharap semoga tugas akhir ini bermanfaat bagi pihak yang membaca dan mau mempelajari serta dapat menjadi bahan acuan bagi penelitian selanjutnya. Akhirnya dengan segala kerendahan hati, sekali lagi penulis mengucapkan terima kasih bagi semua pihak yang telah membantu dalam penyusunan tugas akhir ini, semoga Alloh SWT. senantiasa memberikan berkat dan rahmat selalu bagi kita semua Amin Amin Yaa Robbal alamin. Jakarta, 15 Desember 2011 Agung Haryanto iv

7 ABSTRACT Proposition is a statement which can be determined the true or false value. Whereas, Propositional Calculus is a method used to calculate the truth value of propositions which are reviewed based on the value of declarative sentences (true or false). A proposition consists of operands and operators who have the truth value of each. The truth value of a proposition is determined by the operators that are used and each operands in the proposition. The more number of operands and operators that are used in a proposition, then the process of finding the truth of these propositions will also be more complicated. In the process of finding for the truth value of a proposition are needed on the stages of the correct process in accordance with a combination of operands and operators builder used. Currently, the increasingly rapid development of information technology. In the process of finding the truth of a proposition is made possible by computerization designed and built using Visual Basic 6.0. Keywords: Proposition, Propositional Calculus, Mathematical Logic, Propositional Compound, Visual Basic 6.0 v

8 ABSTRAK Proposisi adalah pernyataan yang dapat ditentukan nilai kebenarannya, bernilai benar atau salah tetapi tidak keduanya. Sedangkan, Kalkulus Proposisi merupakan metode yang digunakan untuk menghitung nilai kebenaran dari proposisi yang ditinjau berdasarkan nilai kalimat deklaratif (benar atau salah). Suatu proposisi terdiri dari operand-operand dan operator-operator yang memiliki nilai kebenarannya masing-masing. Nilai kebenaran dari suatu proposisi ditentukan oleh operator-operator yang digunakan dan masing-masing operand dalam proposisi. Semakin banyak jumlah operand dan operator yang digunakan dalam suatu proposisi, maka proses pencarian nilai kebenaran dari proposisi tersebut juga akan semakin rumit. Dalam mencari nilai kebenaran pada suatu proposisi diperlukan tahapan-tahapan proses yang benar sesuai dengan kombinasi operand-operand dan operator-operator pembangun yang digunakan. Saat ini, perkembangan teknologi informasi semakin pesat. Dalam proses pencarian nilai kebenaran suatu proposisi dimungkinkan secara komputerisasi yang dirancang dan dibangun dengan menggunakan Visual Basic 6.0. Kata Kunci: Proposisi, Kalkulus Proposisi, Logika Matematika, Proposisi Majemuk, Visual Basic 6.0 vi

9 DAFTAR ISI LEMBAR PERNYATAAN... i LEMBAR PERSETUJUAN... ii KATA PENGANTAR... iii ABSTRACT...v ABSTRAK... vi DAFTAR ISI... vii DAFTAR TABEL...x DAFTAR GAMBAR... xi BAB I PENDAHULUAN Latar Belakang Perumusan Masalah Batasan Masalah Tujuan Penelitian Manfaat Penelitian Metodologi Penulisan Studi Literatur Perancangan Aplikasi Pembuatan Aplikasi Pengujian Hasil Kesimpulan Sistematika Penulisan...6 BAB I Pendahuluan...6 BAB II Landasan Teori...6 BAB III Analisis dan Perancangan...7 BAB IV Implementasi dan Pengujian...7 BAB V Penutup...7 BAB II LANDASAN TEORI Pengertian Logika dan Pernyataan Logika Pernyataan Proposisi Operasi Proposisi Negasi (Not) Konjungsi (And)...16 vii

10 2.3.3 Disjungsi (Or) Implikasi (If Then) Bi-implikasi (If And Only If) Prinsip Utama Logika Tautologi Ekivalensi Logis Hubungan Antar Proposisi Penurunan Deduktif Prinsip Modus Ponens Prinsip Modus Tollens Prinsip Disjunctive Syllogism Prinsip Hypothetical Syllogism Perancangan Perangkat Lunak Unified Modeling Language (UML) Konsep Dasar Unified Modeling Language (UML) Usecase Diagram Class Diagram Behaviour Diagram Statechart Diagram Activity Diagram Interaction Diagram Sequence Diagram Collaboration Diagram Component Diagram Deployment Diagram Langkah-langkah Penggunaan UML Development Tools IDE Visual Basic Microsoft Office Access Macromedia Freehand Adobe Photoshop...47 BAB III ANALISIS DAN PERANCANGAN Analisis Konsep Kalkulus Proposisi Tahapan Proses Kalkulus Proposisi Proses Pengecekan Proses Pembagian/Penurunan (Parsing) Proses Pembuatan Tabel Kebenaran (Truth Table) Perancangan Aplikasi Perancangan Algoritma Perancangan Usecase Diagram Perancangan Activity Diagram dan Sequence Diagram Rancangan Antar-muka Aplikasi (Interface Design)...75 viii

11 BAB IV IMPLEMENTASI DAN PENGUJIAN Implementasi Database Instalasi Aplikasi Startup Aplikasi Login User Slide View Materi Singlepage View Materi Simulasi Proposisi Pengecekan Struktur Proposisi Pembagian Proposisi ke dalam Sub Proposisi Pembuatan Tabel Kebenaran Proposisi Tahap demi Tahap Manajemen Materi Manajemen User BAB V PENUTUP Kesimpulan Saran DAFTAR PUSTAKA LAMPIRAN ix

12 DAFTAR TABEL Tabel 2. 1 Nilai kebenaran operasi Negasi (Not)...16 Tabel 2. 2 Contoh operasi Negasi (Not)...16 Tabel 2. 3 Nilai kebenaran operasi Konjungsi (And)...17 Tabel 2. 4 Nilai kebenaran operasi Disjungsi (Or)...19 Tabel 2. 5 Nilai kebenaran operasi Implikasi (If Then)...21 Tabel 2. 6 Nilai kebenaran operasi Bi-implikasi (If And Only If)...22 Tabel 2. 7 Nilai kebenaran hukum penyisihan tengah...23 Tabel 2. 8 Nilai kebenaran hukum kontradiksi...23 Tabel 2. 9 Nilai kebenaran tautologi...24 Tabel Nilai kebenaran proposisi ((p q) (r q)) ((p r) q)...25 Tabel Contoh perbandingan antar proposisi...27 Tabel Nilai kebenaran prinsip modus ponens...28 Tabel kebenaran prinsip modus tollens...29 Tabel Nilai kebenaran kontraposisi modus ponens...30 Tabel Nilai kebenaran prinsip disjunctive syllogism...31 Tabel Nilai kebenaran prinsip hypothetical syllogism...32 Tabel Konsepsi dasar UML...37 Tabel 3. 1 Tabel kebenaran awal...57 Tabel 3. 2 Tabel kebenaran sub-proposisi q r...58 Tabel 3. 3 Tabel kebenaran sub-proposisi ~ r...59 Tabel 3. 4 Tabel kebenaran sub-proposisi p ~ r atau p P Tabel 3. 5 Tabel kebenaran sub-proposisi ~ p...61 Tabel 3. 6 Tabel kebenaran sub-proposisi ~ p ( q r )...62 Tabel 3. 7 Tabel kebenaran sub-proposisi ~ p ( q r ) s...63 Tabel 3. 8 Tabel kebenaran ~ p ( q r ) s ( p ~ r )...64 Tabel 4. 1 Spesifikasi hardware dan software...84 x

13 DAFTAR GAMBAR Gambar 2. 1 Hubungan antar proposisi p q...26 Gambar 2. 2 The triangle of sucess...34 Gambar 2. 3 Dialogbox New Project Visual Basic Gambar 2. 4 Area kerja dasar Visual Basic Gambar 3. 1 Pembagian proposisi dengan metode left most derivation...54 Gambar 3. 2 Flowchart Diagram Aplikasi Pembelajaran Kalkulus Proposisi...66 Gambar 3. 3 Usecase Diagram Aplikasi Pembelajaran Kalkulus Proposisi...67 Gambar 3. 4 Activity Diagram Startup Aplikasi...68 Gambar 3. 5 Sequence Diagram Startup Aplikasi...68 Gambar 3. 6 Activity Diagram Login Aplikasi...69 Gambar 3. 7 Sequence Diagram Login Aplikasi...70 Gambar 3. 8 Activity Diagram Materi Proposisi...71 Gambar 3. 9 Sequence Diagram Materi Proposisi...72 Gambar Activity Diagram Input Proposisi...73 Gambar Sequence Diagram Input Proposisi...74 Gambar Design interface Splash Screen...75 Gambar Design interface Form Login...76 Gambar Design interface Main Menu...76 Gambar Design interface halaman Materi Proposisi...77 Gambar Design interface Form Input Proposisi...78 Gambar Design interface langkah-langkah penyelesaian...79 Gambar Design interface halaman presentasi penyelesaian proposisi...79 Gambar Design interface halaman Admin...80 Gambar Design interface halaman Input Materi...81 Gambar 4. 1 File Setup Aplikasi...85 Gambar 4. 2 Welcome Setup...85 Gambar 4. 3 Input Password Installer...86 Gambar 4. 4 Lokasi Instal Aplikasi...86 xi

14 Gambar 4. 5 Lokasi Shortcut Aplikasi...87 Gambar 4. 6 Create Shortcut pada Desktop...88 Gambar 4. 7 Ready to Install Aplikasi...88 Gambar 4. 8 Informasi Proses Instalasi Selesai...89 Gambar 4. 9 Tampilan Splash Screen Aplikasi...89 Gambar Tampilan Form Login...91 Gambar Tampilan Konfirmasi Membatalkan Login...91 Gambar Tampilan Pesan Kesalahan Login Username Kosong...93 Gambar Tampilan Pesan Kesalahan Login Username Kosong...93 Gambar Tampilan Pesan Kesalahan Invalid Login...94 Gambar Tampilan Halaman Main Menu Level User Gambar Tampilan Halaman Main Menu Level User Gambar Tampilan Halaman Slide Materi...96 Gambar Menu Singlepage Materi pada Main Menu...97 Gambar Halaman Singlepage Materi Operasi Negasi...98 Gambar Form Input Simulasi Proposisi...99 Gambar Error Proposisi Kosong Gambar Error Delimiter Tidak Lengkap Gambar Error Kesalahan Struktur Proposisi Gambar Konfirmasi Penyederhanaan Double Negation Gambar Input Proposisi Gambar Pembagian Struktur Proposisi Gambar Tampilan Awal Penyelesaian Proposisi Gambar Langkah ke-1 Penyelesaian Proposisi Gambar Langkah ke-2 Penyelesaian Proposisi Gambar Langkah ke-3 Penyelesaian Proposisi Gambar Langkah ke-4 Penyelesaian Proposisi Gambar Langkah ke-5 Penyelesaian Proposisi Gambar Langkah ke-6 Penyelesaian Proposisi Gambar Kembali 1 Langkah Penyelesaian Proposisi Gambar Halaman Manajemen Materi Gambar Halaman Manajemen User xii