ABSTRACT
In AbLi96, researchers conducted an experiment to examine characteristics related to cognitive gains in problem solving and the criterion to decide if a logical reasoning used in the solution of a specific problem could be used by similarity for other classes of problems. A more theoretical contribution concerning logic theory and its learning is in Lima96. In this chapter, the authors develop a new experiment involving the teaching of computational logic by a playful approach. This experiment aims to verify cognitive gains in two learners groups: experts and novices. By examining the logical sequenced steps done to solve a logical entertainment we intent to detect criteria of utilization of reasoning by absurd or probabilistic reasoning by these groups. Some initial results of our investigation could be applied to the learning of computational logic.
