Aplikasi Penerjemah Kalimat Proposisi Menjadi Bentuk Ekspresi Logika Dan Menentukan Validitas

Abstract

The research which is conductedhas an objective to produces an application or software which has the ability to works out the translation, conclusion inferencing and validity determination of the proposition sentence which currently never implemented in an application. This problem have being a concern of the writer that the task processing can be accurately and exactly performed by using the application system which have designed. Proposition sentence to logical expression translator and validity determination application is designed by provide three kinds of different input alternatives but with an equal process result, those are translation process, conclusion inferencing and validity determination with each process steps are ‘served’ descriptively, so it can aids the users to solving the problems on proposition sentence. After doing some analysis on the application which has been designed, the writer conclude that the modus and semantics table process implementation on the application program and data input has met the writer’s satisfaction, the data processing result can be reused in the next stage, and the process comes out more efficiently and quickly. For further development of this application, the writer suggest some completion of input validating, the utilization of semanticsrule functions, addition of separator such as xor, xnot, and implication, addition on compatibility of application program and simplification function on input function.