{"id":68,"date":"2018-10-07T03:32:26","date_gmt":"2018-10-07T03:32:26","guid":{"rendered":"https:\/\/borovik.net\/selecta\/?p=68"},"modified":"2025-12-14T03:40:45","modified_gmt":"2025-12-14T03:40:45","slug":"what-are-some-common-gaps-in-logic-that-students-make-in-mathematical-proofs-that-lead-to-inaccurate-results","status":"publish","type":"post","link":"https:\/\/borovik.net\/selecta\/2018\/10\/07\/what-are-some-common-gaps-in-logic-that-students-make-in-mathematical-proofs-that-lead-to-inaccurate-results\/","title":{"rendered":"What are some common gaps in logic that students make in mathematical proofs that lead to inaccurate results?"},"content":{"rendered":"

I wish to comment on two specific flaws exhibited by students who encounter proofs first time in their lives.<\/p>\n

The first one is<\/p>\n

\n

inability to accept the Identity Principle: \u201cA<\/span><\/span><\/span><\/span><\/span><\/span>\u00a0is\u00a0A<\/span><\/span><\/span><\/span><\/span><\/span>\u201d, and arguments related to it, as a valid ingredient of proofs.<\/p>\n<\/blockquote>\n

For many students, a basic observation<\/p>\n

\n

For all sets\u00a0A<\/span><\/span><\/span><\/span><\/span><\/span>,\u00a0A<\/span><\/span>\u2286<\/span><\/span>A<\/span><\/span><\/span><\/span><\/span><\/span>\u00a0(A<\/span><\/span><\/span><\/span><\/span><\/span>\u00a0is a subset of\u00a0A<\/span><\/span><\/span><\/span><\/span><\/span>) because every element of\u00a0A<\/span><\/span><\/span><\/span><\/span><\/span>\u00a0is an element of\u00a0A<\/span><\/span><\/span><\/span><\/span><\/span><\/p>\n<\/blockquote>\n

is very hard to grasp because of the appearance of the same words about the same set\u00a0A<\/span><\/span><\/span><\/span><\/span><\/span>\u00a0twice in the sentence: \u201celement of\u00a0A<\/span><\/span><\/span><\/span><\/span><\/span>\u00a0is an element of\u00a0A<\/span><\/span><\/span><\/span><\/span><\/span>\u201d. I have observed that many times and I think that students cannot overcome a mental block created by their<\/p>\n

\n

expectation that a proof should yield some new information about objects involved<\/p>\n<\/blockquote>\n

\u2014 and this is the second fundamental flaw.<\/p>\n

And, of course, reduction, removal of unnecessary information, is seen by many students as something deeply unnatural.<\/p>\n

Every year, I hear from my Year 1 students the same objection:<\/p>\n

\n

How can we claim that\u00a02<\/span><\/span><\/span><\/span><\/span><\/span>\u00a0is less or equal than\u00a03<\/span><\/span><\/span><\/span><\/span><\/span>, that is,\u00a02<\/span><\/span>\u2a7d<\/span><\/span>3<\/span><\/span><\/span><\/span><\/span><\/span>, if we already know that\u00a02<\/span><\/span><\/span><\/span><\/span><\/span>\u00a0is\u00a0less\u00a0than\u00a03<\/span><\/span><\/span><\/span><\/span><\/span>,\u00a02<\/span><\/span><<\/span><\/span>3<\/span><\/span><\/span><\/span><\/span><\/span>?<\/p>\n<\/blockquote>\n

I think we encounter here a serious methodological (and perhaps philosophical) issue which I have never seen explicitly formulated in the literature on mathematics education:<\/p>\n

    \n
  • a proof of a mathematical statement can illuminate and explain this statement, it may contain new knowledge about mathematics which goes far beyond the statement proved; but<\/li>\n
  • elementary steps in proofs frequently do not produce any new information, moreover, sometimes they remove unnecessary information from consideration.<\/li>\n<\/ul>\n

    A proof can be compared with a living organism built from molecules which can hardly be seen as living entities \u2014 and even worse, from atoms which are definitely not living objects.<\/p>\n

    This is closely related to another issue which many students find difficult to grasp: statements of propositional logic have no meaning, they have only logical values (or truth values, as they are frequently called) TRUE or FALSE. Any two true statements are logically equivalent to each other because they are both true; moreover, the statement<\/p>\n

    \n

    if London is a capital of England then tea is ready<\/p>\n<\/blockquote>\n

    makes perfect sense, and can be true or false, even if constitution of the country has no relation to the physical state of my teapot. [Moreover, the statement is TRUE, because London is NOT a capital of England, it is\u00a0 a capital of United Kingdom. ]<\/p>\n

    When my students express their unhappiness about logic which ignores meaning (and I provoke them to express their emotions), I provide an eye-opening analogy: numbers also have no meaning. The statement<\/p>\n

    \n

    The Jupiter has more moons than I have children<\/p>\n<\/blockquote>\n

    compares two numbers, and this arithmetic statement makes perfect sense (and is true) even if Jupiter has no, and cannot have any, connections whatsoever with my family life. Numbers have no meaning; they have only\u00a0numerical values. Arithmetic, the most ordinary, junior school, sort of arithmetic is already a huge and deep abstraction. We did not notice that because we are conditioned that way.<\/p>\n

    Learning proofs also involves some degree of cultural conditioning. As a side remark, I suspect (but have no firm evidence) that the role of family \u2014 presence of clear rational argumentation in everyday conversations within family \u2014 could be important.<\/p>\n","protected":false},"excerpt":{"rendered":"

    I wish to comment on two specific flaws exhibited by students who encounter proofs first time in their lives. The first one is inability to accept the Identity Principle: \u201cA\u00a0is\u00a0A\u201d, and arguments related to it, as a valid ingredient of proofs. For many students, a basic observation For all sets\u00a0A,\u00a0A\u2286A\u00a0(A\u00a0is a subset of\u00a0A) because every […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-68","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"jetpack_featured_media_url":"","_links":{"self":[{"href":"https:\/\/borovik.net\/selecta\/wp-json\/wp\/v2\/posts\/68","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/borovik.net\/selecta\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/borovik.net\/selecta\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/borovik.net\/selecta\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/borovik.net\/selecta\/wp-json\/wp\/v2\/comments?post=68"}],"version-history":[{"count":2,"href":"https:\/\/borovik.net\/selecta\/wp-json\/wp\/v2\/posts\/68\/revisions"}],"predecessor-version":[{"id":70,"href":"https:\/\/borovik.net\/selecta\/wp-json\/wp\/v2\/posts\/68\/revisions\/70"}],"wp:attachment":[{"href":"https:\/\/borovik.net\/selecta\/wp-json\/wp\/v2\/media?parent=68"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/borovik.net\/selecta\/wp-json\/wp\/v2\/categories?post=68"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/borovik.net\/selecta\/wp-json\/wp\/v2\/tags?post=68"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}