ABSTRAK
Ellen Kurniawati : Tugas Akhir
Perancangan dan Pembuatan Program Untuk Pengecekan Validasi Argumen Berbahasa Inggris Dengan Menggunakan Logika Matematika.
Seringkali manusia mengalami kesulitan untuk memutuskan apakah sejumlah argumen yang dihadapkan kepadanya, baik secara tertulis maupun lisan masuk akal atau tidak. Hal ini disebabkan oleh kesukaran dalam menghubungkan logika-logika yang terkandung dalam argumen tersebut.
Beranjak dari permasalahan diatas, dibuat sebuah program untuk pengecekan validasi dengan input satu argumen berbahasa Inggris. Dalam program ini terdapat fasilitas untuk meng-input-kan argumen, melakukan pengecekan validasi yaitu dengan menggunkan tabel kebenaran dalam logika matematika, meng-input-kan verb (kata kerja) baru, dan menampilkan kata yang merupakan konektif dalam logika matematika pada argumen yang di-input-kan.
Program ini dibuat dengan bahasa pemrograman Borland Delphi 7.0 dan
database-nya dengan Microsoft Access 2003. Diharapkan di kemudian hari program ini dapat menjadi cikal bakal untuk program pengecekan validasi argumen yang lebih rumit, misalnya yang dapat menerima input lebih dari satu argumen.
Dari hasil pengujian dapat disimpulkan bahwa program dapat melakukan translasi argumen dari bentuk teks ke dalam bentuk sentencial calculus, menghitung sentencial calculus dengan tabel kebenaran, dan menghasilkan validasi argumen dengan baik apabila argumen yang di-input-kan tidak menyalahi batasan-batasan yang sudah ditetapkan sebelumnya pada ruang lingkup.
Kata kunci:
Argumen, Pengecekan validasi, Sentencial calculus, Logika matematika, Bahasa Inggris.
ABSTRACT
Ellen Kurniawati : Final Project
Design and Making of English Argument Validity Checking Program Using Mathematic Logic
People often find difficulties in determining whether an argument either oral or written is reasonable or unreasonable. This is caused by difficulty in combining the logic things inside the argument itself.
Based on the matter mentioned above, a program has been designed for doing a validity checking by inputting single argument in English. In this program, there is a place to input the argument, to check the validity by using truth table of mathematic logic, to input new verb and to display a connective word in mathematic logic of the argument. This program is designed with Borland Delphi 7.0 and Microsoft Access 2003 for the database. Afterward, this program is expected to be the basic for designing a more complicated validity checking program like the one that could receive multiple argument.
From the test result could be concluded that a program might do an argument translation from text to sentencial calculus, count sentencial calculus by using truth table, and deliver a well output of validity argument as it is on the scope and the limitation.
Keyword:
Argument, Validity checking, Sentencial calculus, Mathematic logic, English language.
DAFTAR ISI
HALAMAN JUDUL... i
LEMBAR PENGESAHAN ... ii
UCAPAN TERIMA KASIH... iii
LEMBAR PERSETUJUAN PUBLIKASI KARYA ILMIAH ... v
ABSTRAK ... vi
ABSTRACT... vii
DAFTAR ISI... viii
DAFTAR GAMBAR ... x
DAFTAR TABEL... xvii
DAFTAR SEGMEN PROGRAM ... xix
1. PENDAHULUAN ... 1
1.1. Latar Belakang Masalah ... 1
1.2. Perumusan Masalah dan Ruang Lingkup ... 2
1.3. Tujuan Tugas Akhir ... 4
1.4. Metodologi Penelitian... 4 1.5. Sistematika Penulisan ... 5 2. LANDASAN TEORI ... 6 2.1. Logika Matematika ... 6 2.1.1. Logika Proposisional... 6 2.1.2. Translasi ... 9 2.2. Argumen ... 17 2.2.1. Definisi Argumen... 17
2.2.2. Contoh Pengecekan Validasi Sebuah Argumen... 18
2.3. Stack... 19
2.3.1. Deklarasi Stack... 19
2.3.2. Inisialisasi Stack... 19
2.3.3. EmptyStack... 20
2.3.4. FullStack... 20
2.3.5. Procedure PushStack... 21
2.3.6. Procedure Pop Stack... 21
2.4. Nondeterministic Finite Automata... 21
2.5. Data Flow Diagram (DFD) ... 23
2.6. Entity Relationship Diagram (ERD)... 25
viii 3. DESAIN SISTEM... 27
3.1. Desain Stack Pada Program ... 27
3.2. Desain Tipe Data Pada Program ... 27
3.2.1. Contoh Penerapan Tipe Data ... 30
3.3. Data Flow Diagram... 34
3.4. Entity Relationship Diagram... 37
3.5. Desain Tabel ... 38
3.6. Flowchart Sistem ... 46
3.6.1. Penjelasan Flowchart Sistem ... 48
3.7. Desain Syntax... 50 3.7.1. Konektif Ingkaran ... 50 3.7.2. Konektif Konjungsi... 57 3.7.3. Konektif Disjungsi ... 61 3.7.4. Konektif Implikasi ... 63 3.7.5. Konketif Biimplikasi... 71 4. IMPLEMENTASI SISTEM... 74
4.1. Hardware dan Software... 74
4.2. Implementasi Simbol Konektif Logika Matematika... 74
4.3. Opening Program ... 75
4.4. Input New Argument... 77
4.5. Open Exist Argument... 77
4.6. Save Argument... 78
4.7. Input Verb... 80
4.8. View ConnectiveWord... 84
4.9. Pengecekan Validasi Argumen ... 85
4.10. Implementasi Tabel... 94
5. PENGUJIAN SISTEM ... 104
5.1. Pengujian Pada Pengecekan Validasi Argumen ... 104
5.2. Pengujian Pada Input Verb... 118
5.3. Pengujian Pada ViewConnectiveWord... 119
5.4. Pengujian Pada Argumen Yang Mengandung Trouble With If... 120
5.5. Kesimpulan Pengujian ... 122
6. KESIMPULAN DAN SARAN... 124
6.1. Kesimpulan ... 124
6.2. Saran ... 124
DAFTAR REFERENSI ... 126 LAMPIRAN
DAFTAR GAMBAR 2.1. Start State... 22 2.2. Final State... 22 2.3. Transition... 22 2.4. Transition Graph... 23 2.5. External Entity... 23 2.6. Proses ... 24 2.7. Data Store... 24 2.8. Data Flow... 24 2.9. Entity... 25 2.10. Relationship... 25 2.11. Attribute... 25
2.12. One To One Relationship... 26
2.13. One To Many Relationship... 26
2.14. Many To Many Relationship... 26
2.15. Obligatory... 27
3.1. DFD Context Diagram Sistem Validasi Argumen Berbahasa Inggris... 34
3.2. DFD Level 0 Sistem Validasi Argumen Berbahasa Inggris ... 35
3.3. DFD Level 1 Proses Cek Posisi Keyword... 36
3.4. DFD Level 1 Proses Translasi ... 37
3.5. Entity Relationship Diagram Conceptual Data Model... 38
3.6. Flowchart Sistem Pengecekan Validasi Argumen Berbahsa Inggris... 47
3.7. Syntax Kata “Not” ... 50
3.8. Syntax Kata “Never” ... 50
3.9. Syntax 1 Kata “Nobody” ... 51
3.10. Syntax 2 Kata “Nobody” ... 51
3.11. Syntax 1 Kata “No One”... 51
3.12. Syntax 2 Kata “No One”... 52
3.13. Syntax Kata “Nothing” ... 52
3.14. Syntax Kata “Nowhere”... 52
3.15. Syntax Kata “Isn’t”... 53
3.16. Syntax Kata “Aren’t”... 53
3.17. Syntax Kata “Don’t”... 53
3.18. Syntax Kata “Doesn’t” ... 54
3.19. Syntax Kata “Didn’t”... 54
3.20. Syntax Kata “Can’t”... 54
3.21. Syntax Kata “Won’t” ... 55
3.22. Syntax Kata “Mustn’t”... 55
3.23. Syntax Kata “Oughtn’t”... 55
3.24. Syntax Kata “Needn’t” ... 56
3.25. Syntax Kata “Daren’t” ... 56
3.26. Syntax Kata “And”... 57
3.27. Syntax Kata “Both..and..” ... 57
3.28. Syntax Kata “But” ... 58
3.29. Syntax Kata “Moreover” ... 58
3.30. Syntax 1 Kata “Although” ... 59
3.32. Syntax 1 Kata “Even Though”... 60
3.33. Syntax 2 Kata “Even Though”... 60
3.34. Syntax Kata “Or”... 61
3.35. Syntax Kata “Neither..nor..” ... 61
3.36. Syntax Kata “Either..or..” ... 62
3.37. Syntax 1 Kata “If”... 63
3.38. Syntax 2 Kata “If”... 63
3.39. Syntax 1 Kata “Assuming That” ... 64
3.40. Syntax 2 Kata “Assuming That” ... 64
3.41. Syntax 1 Kata “Supposing That” ... 65
3.42. Syntax 2 Kata “Supposing That” ... 65
3.43. Syntax 1 Kata “In Case”... 66
3.44. Syntax 2 Kata “In Case”... 66
3.45. Syntax 1 Kata “On Condition That”... 67
3.46. Syntax 2 Kata “On Condition That”... 67
3.47. Syntax 1 Kata “Even If”... 68
3.48. Syntax 2 Kata “Even If”... 68
3.49. Syntax 1 Kata “Provided That” ... 69
3.50. Syntax 2 Kata “Provided That” ... 69
3.51. Syntax 1 Kata “Only If”... 70
3.52. Syntax 2 Kata “Only If”... 70
3.53. Syntax 1 Kata “If And Only If”... 71
3.54. Syntax 2 Kata “If And Only If”... 71
3.55. Syntax 1 Kata “When And Only When”... 72
3.56. Syntax 2 Kata “When And Only When”... 72
3.57. Syntax 1 Kata “Just In Case” ... 73
3.58. Syntax 2 Kata “Just In Case” ... 73
4.1. Form Opening Program... 75
4.2. Form Checking Kosong ... 76
4.3. Menu File Pada Form Checking... 76
4.4. Menu Options Pada Form Checking... 76
4.5. Input New Argument... 77
4.6. Open Exist Argument Dialog... 78
4.7. Hasil Open Exist Argument... 78
4.8. Pesan Error Pada Save Argument... 79
4.9. Save Argument Dialog... 79
4.10. FormInput Verb... 80
4.11. Pesan Error Basic Verb Tidak Diisi ... 81
4.12. Pesan Error Present Form Tidak Diisi ... 81
4.13. Pesan Error Past Form Tidak Diisi ... 81
4.14. Pesan Error Present Continous Form Tidak Diisi... 81
4.15. Pesan Error Meaning InIndonesia Tidak Diisi... 81
4.16. Pesan Verb Sudah Disimpan ... 83
4.17. Pesan Verb Sudah Ada ... 84
4.18. Form View ConnectiveWord... 84
4.19. Pesan Error ViewConnectiveWord... 85
4.21. Pesan Error Hanya Satu Kalimat... 86
4.22. Pesan Error Tidak Ada Conclusion Word... 87
4.23. Pesan Error Salah Posisi Conclusion Word... 87
4.24. Tabel TIngkaran ... 94 4.25. Tabel TKonjungsi ... 95 4.26. Tabel TDisjungsi... 95 4.27. Tabel TImplikasi ... 95 4.28. Tabel TBiimplikasi ... 96 4.29. Tabel TKesimpulan... 96 4.30. Tabel TPosisi... 96 4.31. Tabel TMMPosisiIngkaran ... 97 4.32. Tabel TMMPosisiKonjungsi... 97 4.33. Tabel TMMPosisiImplikasi ... 98 4.34. Tabel TMMPosisiBiimplikasi... 98 4.35. Tabel TSebelum ... 99 4.36. Tabel TSesudah... 99 4.37. Tabel TSebelumKonjungsi... 99 4.38. Tabel TSebelumDisjungsi... 100 4.39. Tabel TSesudahIngkaran... 100 4.40. Tabel TSesudahKonjungsi ... 101 4.41. Tabel TSesudahDisjungsi ... 101 4.42. Tabel TModal... 102 4.43. Tabel TFrequency... 102 xiv 4.44. Tabel TVerb... 103
4.45. Tabel TPreposition... 103
5.1. Input Argumen Pengujian 1 ... 104
5.2. Hasil Validasi Argumen Pengujian 1... 105
5.3. Detail Proposisi Sentencial Calculus Untuk Pengujian 1 ... 106
5.4. Contoh Isi Tipe Data Sebelum Diproses Untuk Pengujian 1... 107
5.5. Contoh Isi Tipe Data Sesudah Diproses Untuk Pengujian 1 ... 107
5.6. Input Argumen Pengujian 2 ... 108
5.7. Hasil Validasi Argumen Pengujian 2... 108
5.8. Detail Proposisi Sentencial Calculus Untuk Pengujian 2 ... 109
5.9. Contoh Isi Tipe Data Sebelum Diproses Untuk Pengujian 2... 109
5.10. Contoh Isi Tipe Data Sesudah Diproses Untuk Pengujian 2... 110
5.11. Input Argumen Pengujian 3 ... 110
5.12. Hasil Validasi Argumen Pengujian 3... 111
5.13. Detail Proposisi Sentencial Calculus Untuk Pengujian 3 ... 111
5.14. Contoh Isi Tipe Data Sebelum Diproses Untuk Pengujian 3... 112
5.15. Contoh Isi Tipe Data Sesudah Diproses Untuk Pengujian 3... 112
5.16. Input Argumen Pengujian 4 ... 113
5.17. Hasil Validasi Argumen Pengujian 4... 113
5.18. Detail Proposisi Sentencial Calculus Untuk Pengujian 4 ... 114
5.19. Contoh Isi Tipe Data Sebelum Diproses Untuk Pengujian 4... 114
5.20. Contoh Isi Tipe Data Sesudah Diproses Untuk Pengujian 4... 115
5.21. Input Argumen Pengujian 5 ... 115
5.22. Hasil Validasi Argumen Pengujian 5... 116
5.24. Contoh Isi Tipe Data Sebelum Diproses Untuk Pengujian 5... 117
5.25. Contoh Isi Tipe Data Sesudah Diproses Untuk Pengujian 5... 117
5.26. InputVerb Baru... 118
5.27. Verb Baru Pada Tabel TVerb... 119
5.28. Hasil View Konketif Word... 119
5.29. Semantics Argumen Tidak Valid ... 122
DAFTAR TABEL
2.1. Tabel Kebenaran Konektif Ingkaran... 7
2.2. Tabel Kebenaran Konektif Konjungsi ... 8
2.3. Tabel Kebenaran Konektif Disjungsi... 8
2.4. Tabel Kebenaran Konketif Implikasi ... 9
2.5. Tabel Kebenaran Konektif Biimplikasi ... 9
2.6. Tabel Kebenaran Validasi Argumen ... 18
3.1. Tabel Huruf Status Teks dan Representasinya ... 28
3.2. Tabel Penerapan Kalimat Pada Tipe Data TKalimat ... 31
3.3. Tabel Penerapan Kalimat Sudah Diproses Pada Tipe Data TKalimat ... 32
3.4. Tabel Penerapan Kalimat Pada Tipe Data TTranslasi (Satu)... 32
3.5. Tabel Penerapan Kalimat Pada Tipe Data TTransalsi (Dua) ... 33
3.6. Tabel Penerapan Kalimat Pada Tipe Data TTranslasi (Tiga) ... 33
3.7. Tabel Penerapan Kalimat Pada Tipe Data TEkspresi (Satu) ... 33
3.8. Tabel Penerapan Kalimat Pada Tipe Data TEkspresi (Dua) ... 34
3.9. Tabel Penerapan Kalimat Pada Tipe Data TEkspresi (Tiga) ... 34
3.10. Tabel TIngkaran ... 39 3.11. Tabel TKonjungsi ... 39 3.12. Tabel TDisjungsi... 39 3.13. Tabel TImplikasi ... 40 3.14. Tabel TBiimplikasi ... 40 3.15. Tabel TKesimpulan... 41 3.16. Tabel TPosisi... 41
3.17. Tabel TMMPosisiIngkaran ... 41 3.18. Tabel TMMPosisiKonjungsi... 42 3.19. Tabel TMMPosisiImplikasi ... 42 3.20. Tabel TMMPosisiBiimplikasi... 42 3.21. Tabel TSebelum ... 43 3.22. Tabel TSesudah... 43 3.23. Tabel TSebelumKonjungsi... 43 3.24. Tabel TSebelumDisjungsi... 44 3.25. Tabel TSesudahIngkaran... 44 3.26. Tabel TSesudahKonjungsi ... 44 3.27. Tabel TSesudahDisjungsi ... 45 3.28. Tabel TModal... 45 3.29. Tabel TFrequency... 45 3.30. Tabel TVerb... 46 3.31. Tabel TPreposition... 46
4.1. Tabel Perbandingan Simbol Konektif... 74
5.1. Tabel Kebenaran Validasi Argumen Yang Mengandung Trouble With If.. 121
DAFTAR SEGMEN PROGRAM
4.1. Penekanan button OK pada form input verb... 82
4.2. Procedure mengubah warna Connectiveword... 85
4.3. Penekanan button check-Inisialisasi... 88
4.4. Penekanan button check-Pemisah Argumen ... 88
4.5. Penekanan button check-Cek Posisi Keyword... 89
4.6. Penekanan button check-Pengecekan Argumen... 90
4.7. Penekanan button check-Proses Translasi... 91
4.8. Penekanan button check-Pengolahan Hasil Translasi ... 92
4.9. Penekanan button check-Proses Detail Proposisi... 93
