This HTML5 document contains 13 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Subject Item

dbpedia-es:Prueba_condicional

rdfs:label

Prueba condicional

rdfs:comment

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.

owl:sameAs

n8:01xs6

dct:subject

category-es:Lógica_proposicional category-es:Condicionales category-es:Métodos_de_demostración

foaf:isPrimaryTopicOf

wikipedia-es:Prueba_condicional

dbo:wikiPageID

6520591

dbo:wikiPageRevisionID

118896481

dbo:wikiPageLength

2855

prov:wasDerivedFrom

n4:0

dbo:abstract

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.

Subject Item

wikipedia-es:Prueba_condicional

foaf:primaryTopic

dbpedia-es:Prueba_condicional