文章基本信息

标题：PEMBUKTIAN PERNYATAAN LOGIKA PROPOSISI DENGAN MENGGUNAKAN RULES OF INFERENCE
本地全文：下载
作者：Rosadi, Dadi ; Praswidhianingsih
期刊名称：Jurnal Computech & Bisnis
印刷版ISSN：1978-9629
电子版ISSN：2442-4943
出版年度：2009
期号：3088
页码：100-104
出版社：E Jurnal LPPM STMIK Mardira Indonesia, Bandung
摘要：One of the most important subjects studied in logical mathematics course is proving the truth of logical statement according given statements. There are several methods which is used to prove the logical statement, such as rules of inference. Proving with this method can be applied in both propositional and predicate logic. In this paper, proving the propositional logic statement by Rules of Inference method is discussed. In general, this proving can be performed manually. To automate the proving process and to support the teaching-learning process of logical mathematics course in the university, this proving can be done with the aid of a computer software which is built to perform proving logical statements using Rules of Inference in the step-by-step manner. Given seventeen variations of proving problems, this software can prove problems successfully with the 100 % accuracy. The result of proving is then saved into a file. It enables users to analyze the proof generated.