Сонымен, математикалық дәлелдеудің құрылымы туралы айтатын болсақ, ол, ең алдымен, дәлелденетін мәлімдемені және оның көмегімен дәлелдеу жүргізілетін ақиқат тұжырымдар жүйесін қамтитынын түсінуіміз ке
Сонымен, математикалық дәлелдеудің құрылымы туралы айтатын болсақ, ол, ең алдымен, дәлелденетін мәлімдемені және оның көмегімен дәлелдеу жүргізілетін ақиқат тұжырымдар жүйесін қамтитынын түсінуіміз керек.
Сонымен, математикалық дәлелдеудің құрылымы туралы айтатын болсақ, ол, ең алдымен, дәлелденетін мәлімдемені және оның көмегімен дәлелдеу жүргізілетін ақиқат тұжырымдар жүйесін қамтитынын түсінуіміз керек.
Математикалық дәлелдеу – бұл жай ғана тұжырымдар жиынтығы емес, ол белгілі бір ретпен реттелген тұжырымдар екенін де айта кеткен жөн.
Өткізілу әдісі бойынша (формада) ажыратады тікелей және жанама дәлел. Бұрын қарастырылған дәлелдеу тікелей болды - онда қандай да бір ақиқат ұсынысқа негізделген және теореманың шартын ескере отырып, шынайы қорытындыға әкелетін дедуктивті қорытындылар тізбегі салынды.
Жанама дәлелдемелердің мысалы дәлелдеме болып табылады қарама-қайшылық бойынша . Оның мәні келесідей. Теореманы дәлелдеу қажет делік