Mathematical logic is one of the basic subjects taught at the level of higher education in Indonesia. In mathematical logic will be discussed how the truth of an assertion, negation or ingkaran until the withdrawal of the legitimate conclusions of some of the statements or circumstances. These things will be more easy to understand when equipped with a learning tool. By applying the application with the help of computer technology is expected to help the learning activities of particular methods of inference.
Designing applications using methodology waterfall, starts from the identify problems, gathering data from literary sources, analyze the system needs to be made. Application design and coding using Java programming. The application of learning theory was accompanied by supporters for giving users understand the methods of inference.
On the application of learning this inference premise or phrase that users input a maximum of two sentences, except for a maximum of three input methods of the dilemma of the sentence. The output from the application of this method of learning, inference is a conclusion from premises that are input along with the formula method inferensinya. The application of learning is expected to help the learning activities in the classroom especially material inference.

Logika Matematika merupakan suatu mata pelajaran dasar yang diajarkan pada jenjangpendidikan tinggi di Indonesia. Dalam logika matematika akan dibahas bagaimana nilai kebenaran dari suatu pernyataan, ingkaran atau negasi hingga penarikan kesimpulan yang sah dari beberapa pernyataan atau keadaan. Hal-hal ini akan lebih mudah dimengerti apabila dilengkapi dengan alat bantu belajar. Dengan menerapkan aplikasi dengan bantuan teknologi komputer diharapkan dapat membantu kegiatan pembelajaran khususnya metode inferensi.
Perancangan aplikasi menggunakan metodologi waterfall, dimulai dari mengidentifkasi masalah, pengumpulan data dari sumber literatur, menganalisa kebutuhan sistem yang akan dibuat. Perancangan aplikasi dan pengkodean menggunakan pemrograman Java.Aplikasi pembelajaran ini disertai dengan teori pendukung untuk memberikan kemudahan pengguna memahami metode inferensi.
Pada aplikasi pembelajaran inferensi ini premis atau kalimat yang diinput user maksimal dua kalimat, kecuali untuk metode dilema input maksimal tiga kalimat. Output dari aplikasi pembelajaran metode inferensi ini adalah kesimpulan dari premis yang diinput beserta rumus metode inferensinya. Aplikasi pembelajaran ini diharapkan dapat membantu kegiatan pembelajaran di kelas khususnya materi inferensi.