Improving the Learning and Teaching of Mathematical Logic Elements Using Maple

Abstract

The study of the elements of mathematical logic and its sections, especially in the process of teaching in high school in general and specialized courses of mathematics or higher educational institutions, is a rather tricky task. The paper demonstrates how one can design and develop a package of interactive applications to help learn, understand, and apply the essential elements of mathematical logic. The research aims to develop and describe an interactive application for studying the order of constructing truth tables and studying and demonstrating the production of principal normal disjunctive and conjunctive forms. The development is based on the methods of the Maple computer algebra system of the Maplet library. In addition, other methods are used to solve the research issues – theoretical and accurate analytical solutions to mathematical logic issues. All constructed material (Maplet) will serve as a good simulator for students, allowing one to perform an infinite number of attempts to analyze, synthesize, and build truth tables.