Background: The ability to translate concrete manipulatives into abstract mathematical formulas can aid in the solving of mathematical word problems among students, and metacognitive prompts play a significant role in enhancing this process. Aims: Based on the concept of semantic congruence, we explored the effects of metacognitive prompts and…

Automated theorem proving (ATP) for Propositional Classical Logic is an algorithm to check the validity of a formula. It is a very well-known problem which is decidable but co-NP-complete. There are many algorithms for this problem. In this paper, an educationally oriented implementation of Semantic Tableaux method is described. The program has…

This article discusses a variety of examples in errors in mathematical reasoning, the source of which is due to the tension between the syntax (form of mathematical expression) and semantics (underlying ideas or meaning). This article suggests that the heightened awareness of syntactic and semantic reasoning, and the consequent resolution of the…