
06664343
j
2016f.00783
Oldenburg, Reinhard
Gains and pitfalls of quantifier elimination as a teaching tool.
Int. J. Technol. Math. Educ. 22, No. 4, 163167 (2015).
2015
Research Information Ltd, Burnham, Bucks
EN
E30
D70
I10
quantifier elimiation
mathematical formulas
calculus
mathematical logic
http://www.researchinformation.co.uk/time/contents/timecont.php
Summary: Quantifier Elimination is a procedure that allows simplification of logical formulas that contain quantifiers. Many mathematical concepts are defined in terms of quantifiers and especially in calculus their use has been identified as an obstacle in the learning process. The automatic deduction provided by quantifier elimination thus allows students to exercise the formulation of concepts using quantifiers. This may be seen as conceptual modelling.