Abstract
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 expert-like equivalence proofs, and present two techniques for improving the proofs that are generated by the strategy.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Allen, C., Menzel, C.: The Logic Machine: Equivalency Checker (2006), http://logic.tamu.edu/cgi-bin/equivalency.pl
Barwise, J., Etchemendy, J.: Language, Proof and Logic (Book & CD-ROM). Center for the Study of Language and Information, 1st edn. (April 2002)
Broda, K., Ma, J., Sinnadurai, G., Summers, A.: Pandora: A Reasoning Toolbox using Natural Deduction Style. Logic Journal of the IGPL 15(4), 293–304 (2007), http://www.doc.ic.ac.uk/pandora/runpandora.html
Burris, S.N.: Logic for Mathematics and Computer Science. Pearson Education, London (1998)
Dostálová, L., Lang, J.: Organon — the web tutor for basic logic courses. Logic Journal of the IGPL 15(4), 305–311 (2007)
Heeren, B., Jeuring, J., Gerdes, A.: Specifying rewrite strategies for interactive exercises. Mathematics in Computer Science 3(3), 349–370 (2010)
Lodder, J., Jeuring, J., Passier, H.: An interactive tool for manipulating logical formulae. In: Manzano, M., Pérez Lancho, B., Gil, A. (eds.) Proceedings of the Second International Congress on Tools for Teaching Logic (2006)
Lodder, J., Passier, H., Stuurman, S.: Using ideas in teaching logic, lessons learned. In: International Conference on Computer Science and Software Engineering, vol. 5, pp. 553–556 (2008)
Lukins, S., Levicki, A., Burg, J.: A tutorial program for propositional logic with human/computer interactive learning. SIGCSE Bull. 34(1), 381–385 (2002)
Sieg, W.: The AProS project: Strategic thinking & computational logic. Logic Journal of the IGPL 15(4), 359–368 (2007)
Thijsse, E.: Logica in de praktijk (in Dutch). Academic Service (April 2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lodder, J., Heeren, B. (2011). A Teaching Tool for Proving Equivalences between Logical Formulae. In: Blackburn, P., van Ditmarsch, H., Manzano, M., Soler-Toscano, F. (eds) Tools for Teaching Logic. TICTTL 2011. Lecture Notes in Computer Science(), vol 6680. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21350-2_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-21350-2_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21349-6
Online ISBN: 978-3-642-21350-2
eBook Packages: Computer ScienceComputer Science (R0)