You are here:

Gains and Pitfalls of Quantifier Elimination as a Teaching Tool
ARTICLE

IJFTME Volume 22, Number 4, ISSN 1744-2710

Abstract

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.

Citation

Oldenburg, R. (2015). Gains and Pitfalls of Quantifier Elimination as a Teaching Tool. International Journal for Technology in Mathematics Education, 22(4), 163-167. Retrieved September 23, 2019 from .

This record was imported from ERIC on January 10, 2019. [Original Record]

ERIC is sponsored by the Institute of Education Sciences (IES) of the U.S. Department of Education.

Copyright for this record is held by the content creator. For more details see ERIC's copyright policy.

Keywords