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