Матэматычны доказ: розьніца паміж вэрсіямі

Зьвесткі зь Вікіпэдыі — вольнай энцыкляпэдыі
Змесціва выдалена Змесціва дададзена
д r2.6.5) (робат выдаліў: gl:Proba (matemáticas)
д r2.7.1) (робат дадаў: be:Матэматычны доказ
Радок 14: Радок 14:
[[an:Demostración matematica]]
[[an:Demostración matematica]]
[[zh-min-nan:Chèng-bêng]]
[[zh-min-nan:Chèng-bêng]]
[[be:Матэматычны доказ]]
[[bs:Matematički dokaz]]
[[bs:Matematički dokaz]]
[[bg:Математическо доказателство]]
[[bg:Математическо доказателство]]

Вэрсія ад 13:32, 13 студзеня 2011

У матэматыцы до́казам называецца ланцуг лягічных вывадаў, які паказвае, што пры якімсьці наборы аксіёмаў і правілаў высновы зьяўляецца слушным пэўнае сьцьверджаньне. У залежнасьці ад кантэксту, можа мецца на ўвазе доказ у рамках пэўнай фармальнай сыстэмы (пабудаваная па адмысловых правілах пасьлядознасьць сьцьверджаньняў, запісаная на фармальнай мове) ці тэкст на натуральнай мове, паводле якога пры жаданьні магчыма аднавіць фармальны доказ. Даказаныя сьцьверджаньні ў матэматыцы называюць тэарэмамі (у матэматычных тэкстах звычайна маецца пад сабой, што доказ кімсьці знойдзены); калі ні сьцьверджаньне, ні яго адмаўленьне яшчэ не даказаныя, то такое сьцьверджаньне называюць гіпотэзай. Часам у працэсе доказа тэарэмы выдзяляюцца доказы меней складаных сьцьверджаньняў, называемых лемамі.

Шаблён:Link FA Шаблён:Link FA