NotesFAQContact Us
Search Tips
Peer reviewed Peer reviewed
Direct linkDirect link
ERIC Number: EJ1092962
Record Type: Journal
Publication Date: 2016-Mar
Pages: 9
Abstractor: As Provided
ISSN: ISSN-0268-3679
Subtleties of Hidden Quantifiers in Implication
Shipman, Barbara A.
Teaching Mathematics and Its Applications, v35 n1 p41-49 Mar 2016
Mathematical conjectures and theorems are most often of the form P(x) ? Q(x), meaning ?x,P(x) ? Q(x). The hidden quantifier ?x is crucial in understanding the implication as a statement with a truth value. Here P(x) and Q(x) alone are only predicates, without truth values, since they contain unquantified variables. But standard textbook instruction on implication, in particular in writing negations, relies mainly on truth tables, treating P and Q as statements themselves with their own truth values. The lack of careful and thorough explanations on handling implications of the form P(x) ? Q(x) creates difficulties for students, in particular in proof by contradiction, where one begins with the negation of the statement to be proved. Through analysis of interesting errors involving hidden quantifiers in implication, this article offers ways to improve standard instruction to treat these quantifiers correctly and explicitly.
Oxford University Press. Great Clarendon Street, Oxford, OX2 6DP, UK. Tel: +44-1865-353907; Fax: +44-1865-353485; e-mail:; Web site:
Publication Type: Journal Articles; Reports - Descriptive
Education Level: N/A
Audience: N/A
Language: English
Sponsor: N/A
Authoring Institution: N/A
Grant or Contract Numbers: N/A