NotesFAQContact Us
Search Tips
Peer reviewed Peer reviewed
Direct linkDirect link
ERIC Number: EJ1088266
Record Type: Journal
Publication Date: 2015
Pages: 5
Abstractor: As Provided
ISSN: ISSN-1744-2710
Gains and Pitfalls of Quantifier Elimination as a Teaching Tool
Oldenburg, Reinhard
International Journal for Technology in Mathematics Education, v22 n4 p163-167 2015
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.
Research Information Ltd. Grenville Court, Britwell Road, Burnham, Buckinghamshire, SL1 8DF, UK. Tel: +44-1628-600499; Fax: +44-1628-600488; e-mail:; Web site:
Publication Type: Journal Articles; Reports - Descriptive
Education Level: N/A
Audience: Teachers
Language: English
Sponsor: N/A
Authoring Institution: N/A
Grant or Contract Numbers: N/A