
05912225
a
2011c.00419
Lodder, Josje
Heeren, Bastiaan
A teaching tool for proving equivalences between logical formulae.
Blackburn, Patrick (ed.) et al., Tools for teaching logic. Third international congress, TICTTL 2011, Salamanca, Spain, June 14, 2011. Proceedings. Berlin: Springer (ISBN 9783642213496/pbk). Lecture Notes in Computer Science 6680. Lecture Notes in Artificial Intelligence, 154161 (2011).
2011
Berlin: Springer
EN
E35
D45
R25
R55
U55
A65
propositional logic
equivalences
elearning
feedback
doi:10.1007/9783642213502_18
Summary: In this paper we describe a teaching tool for proving equivalences between propositional logic formulae, using rewrite rules such as De Morgan's laws and double negation. This tool is based on an earlier tool for rewriting logical formulae into disjunctive normal form (DNF). Both tools make use of a rewrite strategy, which specifies how an exercise can be solved stepwise. Different types of feedback can be calculated automatically from such a strategy specification. We describe a strategy for constructing expertlike equivalence proofs, and present two techniques for improving the proofs that are generated by the strategy.