Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Conditional_proof> ?p ?o }
Showing triples 1 to 46 of
46
with 100 triples per page.
- Conditional_proof abstract "A conditional proof is a proof that takes the form of asserting a conditional, and proving that the antecedent of the conditional necessarily leads to the consequent. The assumed antecedent of a conditional proof is called the conditional proof assumption (CPA). Thus, the goal of a conditional proof is to demonstrate that if the CPA were true, then the desired conclusion necessarily follows. The validity of a conditional proof does not require that the CPA is actually true, only that if it were true it would lead to the consequent.Conditional proofs are of great importance in mathematics. Conditional proofs exist linking several otherwise unproven conjectures, so that a proof of one conjecture may immediately imply the validity of several others. It can be much easier to show a proposition's truth to follow from another proposition than to prove it independently.A famous network of conditional proofs is the NP-complete class of complexity theory. There are a large number of interesting tasks, and while it is not known if a polynomial-time solution exists for any of them, it is known that if such a solution exists for any of them, one exists for all of them. Similarly, the Riemann hypothesis has a large number of consequences already proven.".
- Conditional_proof wikiPageID "6562".
- Conditional_proof wikiPageLength "2568".
- Conditional_proof wikiPageOutDegree "20".
- Conditional_proof wikiPageRevisionID "563094496".
- Conditional_proof wikiPageWikiLink Antecedent_(logic).
- Conditional_proof wikiPageWikiLink Category:Conditionals.
- Conditional_proof wikiPageWikiLink Category:Logic.
- Conditional_proof wikiPageWikiLink Category:Mathematical_proofs.
- Conditional_proof wikiPageWikiLink Category:Methods_of_proof.
- Conditional_proof wikiPageWikiLink Conjecture.
- Conditional_proof wikiPageWikiLink Consequent.
- Conditional_proof wikiPageWikiLink Deduction_theorem.
- Conditional_proof wikiPageWikiLink Formal_proof.
- Conditional_proof wikiPageWikiLink List_of_NP-complete_problems.
- Conditional_proof wikiPageWikiLink Logical_consequence.
- Conditional_proof wikiPageWikiLink Material_conditional.
- Conditional_proof wikiPageWikiLink Mathematical_logic.
- Conditional_proof wikiPageWikiLink Mathematics.
- Conditional_proof wikiPageWikiLink Modus_ponens.
- Conditional_proof wikiPageWikiLink NP-complete.
- Conditional_proof wikiPageWikiLink NP-completeness.
- Conditional_proof wikiPageWikiLink Propositional_calculus.
- Conditional_proof wikiPageWikiLink Riemann_hypothesis.
- Conditional_proof wikiPageWikiLinkText "Conditional Introduction".
- Conditional_proof wikiPageWikiLinkText "Conditional proof".
- Conditional_proof wikiPageWikiLinkText "conditional proof".
- Conditional_proof wikiPageWikiLinkText "conditionals".
- Conditional_proof hasPhotoCollection Conditional_proof.
- Conditional_proof subject Category:Conditionals.
- Conditional_proof subject Category:Logic.
- Conditional_proof subject Category:Mathematical_proofs.
- Conditional_proof subject Category:Methods_of_proof.
- Conditional_proof hypernym Proof.
- Conditional_proof type TelevisionShow.
- Conditional_proof type Method.
- Conditional_proof type Proof.
- Conditional_proof type Theorem.
- Conditional_proof comment "A conditional proof is a proof that takes the form of asserting a conditional, and proving that the antecedent of the conditional necessarily leads to the consequent. The assumed antecedent of a conditional proof is called the conditional proof assumption (CPA). Thus, the goal of a conditional proof is to demonstrate that if the CPA were true, then the desired conclusion necessarily follows.".
- Conditional_proof label "Conditional proof".
- Conditional_proof sameAs Prueba_condicional.
- Conditional_proof sameAs m.01xs6.
- Conditional_proof sameAs Q5159270.
- Conditional_proof sameAs Q5159270.
- Conditional_proof wasDerivedFrom Conditional_proof?oldid=563094496.
- Conditional_proof isPrimaryTopicOf Conditional_proof.