Мектеп математикасындағы логика. Математикалық тұжырымдар. Анықтамалар. Дәлелдеулер. Мектеп математикасындағы логика
жүктеу/скачать 19,02 Kb.
|
| Дәлелдеу. «Дәлелдеу» сөзі «талқылау» сөзі сияқты күнделікті сөйлеуде өте кең мағынада қолданылады. Біз «дәлелдеу» терминін «математикалық тұжырымдарды дәлелдеу» немесе дәлірек айтқанда, «кейбір математикалық теория шеңберіндегі ұсыныстарды дәлелдеу» мағынасында қолданамыз. Осы терминді түсінуге сүйене отырып, сәйкесінше мағыналы (бейресми) немесе жартылай формальды және формальды математикалық теорияларда қолданылатын мәнді (бейресми) және формальды дәлелдемелерді ажыратамыз. Мектеп математикасы кейбір математикалық теориялардың бастапқы фрагменттерін (алгебра, геометрия, талдау) бейресми (мағыналы) презентацияға қосады. Сондықтан мектеп математикасындағы дәлелдемелер мағыналы дәлелдер ретінде құрастырылады, онда кәдімгі пайымдаулар қолданылады, ал логикалық қорытынды ережелері бекітілмейді. Теореманың мағыналы дәлелдемесін ескере отырып, белгілі бір қорытынды ережелер жинағын пайдалана отырып, сәйкес ресми дәлелдеуді құруға болады. Кәдімгі, мағыналы дәлелдемені формалдыға аудару дәлелдемелердің логикасын ашады, яғни дәлелдеуде әдетте жасырын түрде қолданылатын қорытынды жасау құралдары. жүктеу/скачать 19,02 Kb. Достарыңызбен бөлісу:
|