A comparison of elaborated and restricted feedback in LogEx, a tool for teaching rewriting logical formulae

This article describes an experiment with LogEx, an e‐learning environment that supports students in learning how to prove the equivalence between two logical formulae, using standard equivalences such as DeMorgan. In the experiment, we compare two groups of students. The first group uses the complete learning environment, including hints, next steps, worked solutions, and informative timely feedback. The second group uses a version of the...