Direct proof (original) (raw)
La demostració per deducció o demostració directa és una demostració matemàtica on la conclusió està establerta a través de la combinació lògica dels axiomes, definicions o teoremes ja existents. Donada una hipòtesi, hi ha un mètode lògic que, pas a pas, prova si aquesta hipòtesi és veritable. Exemple Si , demostreu que . Demostració: Des de aleshores, per la propietat multiplicativa del sistema de nombres reals, Quod erat demonstrandum (Q.E.D.).
| Property | Value |
|---|---|
| dbo:abstract | يعدُّ البرهان نوعا مهما من مهارات حل المشكلاتِ، فهو يساعد الطلبة على التعلم و يربي فيهم القدرة على الإقناعِ والنقد، وييسر لهم التطور العقلي. و البرهان مفهوم أساسي في الفكر البشري بصفة عامة، و في دراسة الرياضيات بصفة خاصة، فهو بصفة عامة كل مناقشة أو تحليل أو تقديم لشواهد تقنع شخصا ما بقضية معينة، بينما يُعرّف البرهان الرياضي بكونه تتابعاً من العبارات المترابطة الموجهة نحو إثبات صحة نتيجة معينة بواسطة مجموعة مقبولة و معترف بها من التعاريف و المسلمات و العبارات السابق برهانها و نظريات المنطق. للبرهان على أن التقرير صائب بطريقة البرهان المباشر، نفرض أن صائب، ونثبت أن صائب(2). ولإيضاح هذه الطريقة، نقدم الأمثلة التالية: (ar) La demostració per deducció o demostració directa és una demostració matemàtica on la conclusió està establerta a través de la combinació lògica dels axiomes, definicions o teoremes ja existents. Donada una hipòtesi, hi ha un mètode lògic que, pas a pas, prova si aquesta hipòtesi és veritable. Exemple Si , demostreu que . Demostració: Des de aleshores, per la propietat multiplicativa del sistema de nombres reals, Quod erat demonstrandum (Q.E.D.). (ca) Přímý důkaz se v matematice používá k dokázání výroku, který má tvar implikace, kde je výchozí předpoklad a je výrok, který má být dokázán resp. odvozen (zápis ; věta ve tvaru „Jestliže platí předpoklad , pak platí také tvrzení “). Při dokazování pomocí přímého důkazu, je nutné si uvědomit, že pravdivost implikace lze dokázat bez znalosti pravdivosti jednotlivých výroků, které spojuje (na základě pravdivostní tabulky implikace). Důkaz vychází z předpokladu, na jehož základě jsou odvozována dílčí tvrzení tak dlouho, až se dospěje k dokazovanému tvrzení. Všechny kroky implikací jsou vyhodnoceny jako pravdivé, a tedy i odvozovaná tvrzení jsou pravdivá. Zápis schematicky: (cs) In mathematics and logic, a direct proof is a way of showing thetruth or falsehood of a given statement by a straightforward combination ofestablished facts, usually axioms, existing lemmas and theorems, without making any further assumptions. In order to directly prove a conditional statement of the form "If p, then q", it suffices to consider the situations in which the statement p is true. Logical deduction is employed to reason from assumptions to conclusion. The type of logic employed is almost invariably first-order logic, employing the quantifiers for all and there exists. Common proof rules used are modus ponens and universal instantiation. In contrast, an indirect proof may begin with certain hypothetical scenarios and then proceed to eliminate the uncertainties in each of these scenarios until an inescapable conclusion is forced. For example, instead of showing directly p ⇒ q, one proves its contrapositive ~q ⇒ ~p (one assumes ~q and shows that it leads to ~p). Since p ⇒ q and ~q ⇒ ~p are equivalent by the principle of transposition (see law of excluded middle), p ⇒ q is indirectly proved. Proof methods that are not direct include proof by contradiction, including proof by infinite descent. Direct proof methods include proof by exhaustion and proof by induction. (en) Dowód wprost (dowód zwyczajny, dowód klasyczny) – inna od dowodu nie wprost forma dowodzenia w systemie założeniowym rachunku zdań, w której prawdziwość tezy dowodzi się bezpośrednio poprzez dedukcję – z założeń twierdzenia i aksjomatów teorii (ustalonych reguł). (pl) Na matemática e lógica, uma prova direta é uma forma de mostrar que certa afirmação é falsa ou verdadeira através de uma combinação de axiomas, lemas e teoremas já estabelecidos. Em cada passo, usa-se implicação "Se p, então q" com p sendo verdadeiro. (pt) I matematik och logik är ett direkt bevis, en deduktion av ett påstående, som enbart bygger på teorins axiom, lemman och teorem. (sv) |
| dbo:thumbnail | wiki-commons:Special:FilePath/Diagram_of_Pythagoras_Theorem_simplified.png?width=300 |
| dbo:wikiPageExternalLink | http://www.maths.unsw.edu.au/~jim/proofs.html%7Cpublisher=Kew http://www.people.vcu.edu/~rhammack/BookOfProof/ http://zimmer.csufresno.edu/~larryc/proofs/proofs.direct.html http://zimmer.csufresno.edu/~larryc/proofs/proofs.html https://web.archive.org/web/20120324091528/http:/www.people.vcu.edu/~rhammack/BookOfProof/Direct.pdf http://www.whitman.edu/mathematics/higher_math_online/ http://www.whitman.edu/mathematics/higher_math_online/section02.01.html |
| dbo:wikiPageID | 238676 (xsd:integer) |
| dbo:wikiPageLength | 7541 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1078220667 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Universal_instantiation dbr:Proof_by_infinite_descent dbr:Contrapositive dbr:Material_conditional dbr:Mathematics dbr:Circle dbr:Egyptians dbr:Geometry dbr:Greeks dbr:Theorem dbr:Logic dbr:Phenomenology_(philosophy) dbr:Triangles dbr:Trigonometry dbr:Truth dbr:Law_of_excluded_middle dbr:Euclidean_Geometry dbr:First-order_logic dbc:Logical_truth dbr:Lemma_(mathematics) dbr:Comparison_(mathematics) dbr:Proof_by_contradiction dbr:Even_and_odd_numbers dbr:Proof_by_exhaustion dbc:Mathematical_proofs dbr:Transposition_(logic) dbr:Modus_ponens dbr:Axiom dbr:Rectangles dbr:Proof_by_induction dbr:Analogical dbr:Indirect_proof dbr:File:Diagram_of_Pythagoras_Theorem_simplified.png |
| dbp:wikiPageUsesTemplate | dbt:Cite_book dbt:Math dbt:Mvar dbt:Reflist |
| dct:subject | dbc:Logical_truth dbc:Mathematical_proofs |
| gold:hypernym | dbr:Way |
| rdf:type | yago:WikicatMathematicalProofs yago:Abstraction100002137 yago:Argument106648724 yago:Communication100033020 yago:Evidence106643408 yago:Indication106797169 yago:MathematicalProof106647864 yago:Proof106647614 |
| rdfs:comment | La demostració per deducció o demostració directa és una demostració matemàtica on la conclusió està establerta a través de la combinació lògica dels axiomes, definicions o teoremes ja existents. Donada una hipòtesi, hi ha un mètode lògic que, pas a pas, prova si aquesta hipòtesi és veritable. Exemple Si , demostreu que . Demostració: Des de aleshores, per la propietat multiplicativa del sistema de nombres reals, Quod erat demonstrandum (Q.E.D.). (ca) Dowód wprost (dowód zwyczajny, dowód klasyczny) – inna od dowodu nie wprost forma dowodzenia w systemie założeniowym rachunku zdań, w której prawdziwość tezy dowodzi się bezpośrednio poprzez dedukcję – z założeń twierdzenia i aksjomatów teorii (ustalonych reguł). (pl) Na matemática e lógica, uma prova direta é uma forma de mostrar que certa afirmação é falsa ou verdadeira através de uma combinação de axiomas, lemas e teoremas já estabelecidos. Em cada passo, usa-se implicação "Se p, então q" com p sendo verdadeiro. (pt) I matematik och logik är ett direkt bevis, en deduktion av ett påstående, som enbart bygger på teorins axiom, lemman och teorem. (sv) يعدُّ البرهان نوعا مهما من مهارات حل المشكلاتِ، فهو يساعد الطلبة على التعلم و يربي فيهم القدرة على الإقناعِ والنقد، وييسر لهم التطور العقلي. و البرهان مفهوم أساسي في الفكر البشري بصفة عامة، و في دراسة الرياضيات بصفة خاصة، فهو بصفة عامة كل مناقشة أو تحليل أو تقديم لشواهد تقنع شخصا ما بقضية معينة، بينما يُعرّف البرهان الرياضي بكونه تتابعاً من العبارات المترابطة الموجهة نحو إثبات صحة نتيجة معينة بواسطة مجموعة مقبولة و معترف بها من التعاريف و المسلمات و العبارات السابق برهانها و نظريات المنطق. (ar) Přímý důkaz se v matematice používá k dokázání výroku, který má tvar implikace, kde je výchozí předpoklad a je výrok, který má být dokázán resp. odvozen (zápis ; věta ve tvaru „Jestliže platí předpoklad , pak platí také tvrzení “). Při dokazování pomocí přímého důkazu, je nutné si uvědomit, že pravdivost implikace lze dokázat bez znalosti pravdivosti jednotlivých výroků, které spojuje (na základě pravdivostní tabulky implikace). Důkaz vychází z předpokladu, na jehož základě jsou odvozována dílčí tvrzení tak dlouho, až se dospěje k dokazovanému tvrzení. Všechny kroky implikací jsou vyhodnoceny jako pravdivé, a tedy i odvozovaná tvrzení jsou pravdivá. (cs) In mathematics and logic, a direct proof is a way of showing thetruth or falsehood of a given statement by a straightforward combination ofestablished facts, usually axioms, existing lemmas and theorems, without making any further assumptions. In order to directly prove a conditional statement of the form "If p, then q", it suffices to consider the situations in which the statement p is true. Logical deduction is employed to reason from assumptions to conclusion. The type of logic employed is almost invariably first-order logic, employing the quantifiers for all and there exists. Common proof rules used are modus ponens and universal instantiation. (en) |
| rdfs:label | البرهان المباشر (ar) Demostració per deducció (ca) Přímý důkaz (cs) Direct proof (en) Dowód wprost (pl) Prova direta (pt) Direkt bevis (sv) |
| owl:sameAs | freebase:Direct proof yago-res:Direct proof wikidata:Direct proof dbpedia-ar:Direct proof dbpedia-ca:Direct proof dbpedia-cs:Direct proof dbpedia-cy:Direct proof dbpedia-fa:Direct proof dbpedia-mk:Direct proof dbpedia-pl:Direct proof dbpedia-pt:Direct proof http://si.dbpedia.org/resource/සෘජු_සාධනය dbpedia-simple:Direct proof dbpedia-sk:Direct proof dbpedia-sv:Direct proof https://global.dbpedia.org/id/2zF9s |
| prov:wasDerivedFrom | wikipedia-en:Direct_proof?oldid=1078220667&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/Diagram_of_Pythagoras_Theorem_simplified.png |
| foaf:isPrimaryTopicOf | wikipedia-en:Direct_proof |
| is dbo:wikiPageWikiLink of | dbr:List_of_mathematical_logic_topics dbr:List_of_mathematical_proofs dbr:Contraposition dbr:Axiom_of_limitation_of_size dbr:Euclid's_theorem dbr:Proof_by_exhaustion dbr:Proof_by_contrapositive |
| is foaf:primaryTopic of | wikipedia-en:Direct_proof |
