Логика в школьном курсе математики



Pdf көрінісі
бет4/15
Дата06.01.2022
өлшемі207,37 Kb.
#109637
1   2   3   4   5   6   7   8   9   ...   15
Байланысты:
logic 2 глава

доказанное

 

предложение, а доказанное не может быть неверным. Поэтому лучше говорить 



«обратное предложение» вместо «обратная теорема» до тех пор, пока не установлена его 

истинность. 

  

Никакая  теорема  не  является  прямой  или  обратной 



изначально

.  Даже  теорема 

Пифагора  –  обратная  к  теореме,  являющейся  следствием  теоремы  косинуса.  Лучше 

говорить о 



взаимно обратных

 

теоремах, из которых любая может быть названа прямой. 



Потому  (ясный  по  сути)  призыв  иных  методистов  «научить  школьников  различать 

прямую и обратную теорему» стоит переформулировать. 

 

Кстати  сказать,  исторически  первой  была  найдена  как  раз  не  теорема  Пифагора, 



сформулированная  на  «языке  площадей»,  а  теорема,  позволяющая  строить  на  земле 

прямые углы (вспомним о египетском треугольнике). 

Для создания обратной теоремы мы советуем ученикам сформулировать исходную 

теорему, используя союз « Если… то». Значит,  надо пояснить, что стоит за этим союзом 

стоит.  

Наконец , необходимо рассказывать о следовании и равносильности. Как понимать 

следование, если исходное уравнение не имеет решений, что выясняется только в самом 

конце выкладки? 

Для осознания структуры теоремы необходимо выделять в её формулировке 

разъяснительную часть. А в ней всегда присутствуют кванторы. 

Приведу примеры. Сначала «житейские» (с их помощью я фиксирую внимание 



учеников на этом обстоятельстве). 

Пример

 

1. Пусть сказано: «Маша любит кашу». Спрашиваю учеников: это верно или 



нет? Они пытаются отвечать, но отвечать на такой вопрос бессмысленно, ибо перед нами 

– 

предложение с двумя переменными: «Маша» и «каша», а не высказывание. 



Сначала надо превратить его высказывание, то есть в предложение без переменных, 

«навесив» кванторы на «Машу» и на «кашу». Например, можно сформулировать такое 

предложение: «Любая Маша любит любую кашу». Видимо, это неверно. Другой вариант: 

«Есть такая Маша и такая каша, что эта Маша любит эту кашу», что, должно быть, верно. 

 

Любопытно, что учителя-гуманитарии заявили мне: ответ на данный вопрос зависит 



не от каких-то там логических штучек, а от того, кто это говорит.  

 

В математике существует договорённость: если квантора нет, то подразумевается 



квантор всеобщности. Если эту договорённость перенести на «житейские» примеры, то 

ответ на поставленный вопрос – «нет». Но надо ли переносить? 



Пример

 

2. Известное выражение «Цель оправдывает средства», как правило, имеет 



негативный оттенок. Однако если на переменные «цель» и «средства» «навесить» 

кванторы, то в зависимости от их расстановки возможны четыре варианта толкования. И 

каждый имеет смысл. А выбор верного варианта – уже вне логики. 

Сложилось так, что в формулировках математических предложений кванторы часто 

«не звучат» в явном виде. Вместо квантора существования употребляются такие слова, 

как 


найдётся

 

(в круге найдётся хорда, которая делит его площадь пополам) или 



есть

 

(в 



остроугольном треугольнике есть такая точка, из которой все его стороны видны под 

равными углами). Ещё хуже обстоят дела с квантором всеобщности, который, как уже 

отмечалось, опускают. Например, его нет в теореме о площади треугольника (площадь 

треугольника равна половине произведения его основания на высоту; а сколько таких 

оснований?) или в формуле квадрата суммы (о каких числах в ней говорится – о любых?). 

«Навешивание» кванторов порой необходимо для понимания условия задачи. Вот 

задача на построение: «Вписать квадрат в треугольник». Как это понимать? Кванторы 

опущены, значит, на каждую переменную полагается квантор всеобщности. Получается 

чепуха, а не задача! Любой квадрат не может быть вписан в любой треугольник. Тогда о 

чём идет речь? 

Иногда этих двух кванторов не хватает. Появилось обозначение 

!



 

в ситуации с 

существованием одного решения. 

Наконец, логическая культура проявляется для недвусмысленной записи выкладок и 

ответа 



Я  встречал,  к  примеру,  запись 

,

0



2

2



=



Достарыңызбен бөлісу:
1   2   3   4   5   6   7   8   9   ...   15




©engime.org 2024
әкімшілігінің қараңыз

    Басты бет