A dolgozat témája a hallgatók tanulásának támogatása egy számítógépes programmal. A dolgozat ismerteti a logikai kalkulusok használatához szükséges logikai alapfogalmakat, a predikátumkalkulust és a természetes levezetést. Ezen kívül tartalmazza a megírt program felhasználói dokumentációját és az alkalmazott algoritmusok Java nyelvű implementációját.