Abstract: In traditional propositional logic(PL), the atomic part of formulas are proposition symbols. In first-order logic(FL) the atomic part of formulas are terms, predicates are relations among ...

Abstract: In this paper, we propose an agent-based ITS for learning propositional logic using two linked viewpoints and representations to address the problem on checking the validation of a given ...