| dbo: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. (en)
- Una prueba condicional es una prueba de que toma la forma de afirmar un condicional, y demostrando que el antecedente del condicional lleva necesariamente al consecuente. El antecedente asumido de una prueba condicional se llama supuesto de prueba condicional (SPC). Por lo tanto, el objetivo de una prueba condicional es demostrar que si el SPC fuera cierto, entonces la conclusión deseada sigue necesariamente. La validez de una prueba condicional no requiere que el SPC sea realmente cierta, solo que si fuera cierta ello condujese al consecuente. Las pruebas condicionales son de gran importancia para las matemáticas. Existen pruebas condicionales que une varios conjeturas no probadas de otra forma, de modo que una prueba de una conjetura puede implicar inmediatamente la validez de varias otras. Puede ser mucho más fácil demostrar la verdad de una proposición que se desprende de otra proposición que demostrar de forma independiente. Una red de pruebas condicionales es la clase NP completa de la teoría de la complejidad. Hay un de tareas interesantes, y aunque no se sabe si existe una solución en tiempo polinomial para cualquiera de ellas, se sabe que si existe tal solución para cualquiera de ellas, existe para todos ellas. Del mismo modo, la hipótesis de Riemann tiene un gran número de consecuencias ya probadas. (es)
- 논리학에서, 함의 도입(含意導入, 영어: implication introduction)은 가언 명제를 유도하는 추론 규칙이다. (ko)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 2694 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs: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. (en)
- 논리학에서, 함의 도입(含意導入, 영어: implication introduction)은 가언 명제를 유도하는 추론 규칙이다. (ko)
- Una prueba condicional es una prueba de que toma la forma de afirmar un condicional, y demostrando que el antecedente del condicional lleva necesariamente al consecuente. El antecedente asumido de una prueba condicional se llama supuesto de prueba condicional (SPC). Por lo tanto, el objetivo de una prueba condicional es demostrar que si el SPC fuera cierto, entonces la conclusión deseada sigue necesariamente. La validez de una prueba condicional no requiere que el SPC sea realmente cierta, solo que si fuera cierta ello condujese al consecuente. (es)
|
| rdfs:label
|
- Prueba condicional (es)
- Conditional proof (en)
- Dimostrazione condizionale (it)
- 함의 도입 (ko)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
