|
[[File:Oxyrhynchus papyrus with Euclid's Elements.jpg|right|thumb|250px|[[Papyrus Oxyrhynchus 29|P. Oxy. 29]], oneen ofod thenajstarejših oldestfragmentov survivingEvklidovih fragments of Euclid's ''ElementsElementov'', aučbenika, textbookki usedje fortisočletja millenniadolgo tobil teachvir proof-writingtehnik techniquesin metod dokazovanja. TheDiagram se diagramtiče accompaniesKnjige Book II, PropositionPredlog 5.<ref>{{cite web
|url=http://www.math.ubc.ca/~cass/Euclid/papyrus/papyrus.html
|title=One of the Oldest Extant Diagrams from Euclid
|accessdate=2008-09-26
}}</ref>]]
InV [[mathematics]],matematiki aje '''proofdokaz''' isza an inferentialinferenčni argument forza amatematično [[Proposition|mathematical statement]]trditev. InV theargumentu [[Argument-deduction-proofse distinctions|argument]],lahko otheruporabijo previouslydruge establishedpredhodno statements,uveljavljene such as [[theorems]]izjave, cankot beso usedteoremi. InNačeloma principle,lahko adokaz proofzasledujemo cannazaj bena tracedsamoumevne backali todomnevne self-evident or assumed statementsizjave, knownznane askot [[axiom]]saksiomi,<ref>{{cite book |author1=Clapham, C. |author2=Nicholson, JN. |lastauthoramp=yes | title = The Concise Oxford Dictionary of Mathematics, Fourth edition |quote = A statement whose truth is either to be taken as self-evident or to be assumed. Certain areas of mathematics involve choosing a set of axioms and discovering what results can be derived from them, providing proofs for the theorems that are obtained.}}</ref><ref name="nutsandbolts">Cupillari, Antonella. ''The Nuts and Bolts of Proofs''. Academic Press, 2001. Page 3.</ref><ref>Gossett, Eric. ''Discrete Mathematics with Proof''. John Wiley and Sons, 2009. Definition 3.1 page 86. {{isbn|0-470-45793-7}}</ref> alongskupaj withs acceptedsprejetimi rulespravili ofsklepanja [[inference]]. Aksiomi Axiomsse maylahko beobravnavajo treatedkot aspogoj, conditionski thatga mustje betreba metizpolniti, beforeda thetrditev statementobvelja. appliesizjave. Proofs. areDokazi examplesso ofprimeri exhaustiveizčrpnega [[deductivededuktivnega reasoning]]sklepanja orali [[inductiveinduktivnega reasoning]]razmišljanja andin arese distinguishedrazlikujejo fromod [[empiricalempiričnih evidence|empirical]]argumentov argumentsali orneizčrpnega non-exhaustiveinduktivnega [[inductive reasoning]]sklepanja (or"razumnega pričakovanja" ali "reasonablezdrave expectationpameti"). Dokaz Amora proofpokazati, mustda demonstrateje that a statement istrditev alwaysvedno trueresnična (occasionallyvčasih byz listingnavedbo ''allvseh'' possiblemožnih casesprimerov andin showingveljavnosti thatza itvsak holdskonkretni inprimer each), ratherne thanpa enumeratenavajati many(ne)številne confirmatory cases.primere, Anza unprovedkatere propositiontrditev thatvelja. is believedNepotrjeno totrditev, beza truekatero ismislimo, knownda asje aresnična, imenujemo [[conjecture]]domneva.
'''Dokàz''' v [[matematika|matematiki]] pomeni prikaz, da je, pri določenih [[aksiom]]ih, matematični izraz, ki je predmet zanimanja, nujno [[resnica|resničen]]. Po načinu sklepanja gre pri dokazih za izrazito deduktivno sklepanje, dokazovanje pa mora biti za popoln dokaz neizpodbitno. Nekateri dokazi, ki imajo vrzeli, so izpodbojni in je zato njihova uporaba predmet skepse.
|
