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

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

PrefixNamespace IRI
category-eshttp://es.dbpedia.org/resource/Categoría:
n21https://web.archive.org/web/20120227142751/http:/mzone.mweb.co.za/residents/profmd/proof.
dcthttp://purl.org/dc/terms/
wikipedia-eshttp://es.wikipedia.org/wiki/
n5http://dlist.sir.arizona.edu/1581/%7Ctitle=
n10http://www.people.vcu.edu/~rhammack/BookOfProof/index.
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n25http://es.wikipedia.org/wiki/Demostración_en_matemática?oldid=126998959&ns=
n22https://web.archive.org/web/20120227142804/http:/mzone.mweb.co.za/residents/profmd/profmat.
dbpedia-eshttp://es.dbpedia.org/resource/
prop-eshttp://es.dbpedia.org/property/
n13https://web.archive.org/web/20120726135206/http:/2piix.com/articles/title/Logic/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n23https://web.archive.org/web/20120907052520/http:/www.math.uconn.edu/~hurley/math315/proofgoldberger.
n27http://www.cut-the-knot.org/proofs/index.
n20http://planetmath.
n14http://research.microsoft.com/users/lamport/pubs/lamport-how-to-write.
n17http://www.maths.unsw.edu.au/~jim/proofs.html%7Ctitle=
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n18http://www.proofwiki.
owlhttp://www.w3.org/2002/07/owl#
n28http://www.cs.ru.nl/~freek/comparison/comparison.
n16http://zimmer.csufresno.edu/~larryc/proofs/proofs.
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
n26http://www.cut-the-knot.org/WhatIs/WhatIsProof.
n15http://research.microsoft.com/users/lamport/pubs/pubs.html%23
Subject Item
dbpedia-es:Demostracion_matematica
dbo:wikiPageRedirects
dbpedia-es:Demostración_en_matemática
Subject Item
dbpedia-es:Demostracion_matemática
dbo:wikiPageRedirects
dbpedia-es:Demostración_en_matemática
Subject Item
dbpedia-es:Demostraciones_matematicas
dbo:wikiPageRedirects
dbpedia-es:Demostración_en_matemática
Subject Item
dbpedia-es:Demostraciones_matemáticas
dbo:wikiPageRedirects
dbpedia-es:Demostración_en_matemática
Subject Item
dbpedia-es:Demostración_matematica
dbo:wikiPageRedirects
dbpedia-es:Demostración_en_matemática
Subject Item
dbpedia-es:Demostración_matemática
dbo:wikiPageRedirects
dbpedia-es:Demostración_en_matemática
Subject Item
dbpedia-es:Demostrar
dbo:wikiPageRedirects
dbpedia-es:Demostración_en_matemática
Subject Item
dbpedia-es:Prueba_matematica
dbo:wikiPageRedirects
dbpedia-es:Demostración_en_matemática
Subject Item
dbpedia-es:Prueba_matemática
dbo:wikiPageRedirects
dbpedia-es:Demostración_en_matemática
Subject Item
dbpedia-es:Demostración_en_matemática
rdfs:label
Demostración en matemática
rdfs:comment
En matemáticas, una demostración o bien una prueba es un argumento deductivo para asegurar la verdad de una proposición matemática. En la argumentación se pueden usar otras afirmaciones previamente establecidas, tales como teoremas o bien las afirmaciones iniciales o axiomas.​ En principio una demostración se puede rastrear hasta afirmaciones generalmente aceptadas, conocidas como axiomas.​​ Las demostraciones son ejemplos de razonamiento deductivo y se distinguen de argumentos inductivos o empíricos; una demostración debe demostrar que una afirmación es siempre verdadera (ocasionalmente al listar todos los casos posibles y mostrar que es válida en cada uno), más que enumerar muchos casos confirmatorios. Una afirmación no probada que se cree verdadera se conoce como conjetura.
dct:subject
category-es:Teoría_de_la_demostración category-es:Terminología_matemática category-es:Lógica_matemática category-es:Demostraciones_matemáticas category-es:Fuentes_de_conocimiento
foaf:isPrimaryTopicOf
wikipedia-es:Demostración_en_matemática
prop-es:author1Link
James Franklin
prop-es:authorlink
George Pólya
prop-es:first
G. J. D. Don A.
prop-es:id
p/p075430
prop-es:isbn
0
prop-es:journal
Logique et Analyse
prop-es:last
Franklin Pólya Solow Daoud Velleman Fallis
prop-es:pages
373
prop-es:publisher
Kew Books dbpedia-es:Wiley_Publishing dbpedia-es:Princeton_University_Press dbpedia-es:Cambridge_University_Press
prop-es:title
Mathematics and Plausible Reasoning How to Prove It: A Structured Approach How to Read and Do Proofs: An Introduction to Mathematical Thought Processes Proof theory
prop-es:url
http://dlist.sir.arizona.edu/1581/|title=What Do Mathematicians Want? Probabilistic Proofs and the Epistemic Goals of Mathematicians http://www.maths.unsw.edu.au/~jim/proofs.html|title=Proof in Mathematics: An Introduction
prop-es:volume
45
prop-es:year
2002 2011 1954 2006 2004
dbo:wikiPageID
60286
dbo:wikiPageRevisionID
126998959
dbo:wikiPageExternalLink
n5:What n10:html n13: n14:pdf n15:lamport-how-to-write n16:html n17:Proof n18:org n20:org n21:pdf n22:pdf n23:pdf n26:shtml n27:shtml n28:pdf
dbo:wikiPageLength
47268
prov:wasDerivedFrom
n25:0
dbo:abstract
En matemáticas, una demostración o bien una prueba es un argumento deductivo para asegurar la verdad de una proposición matemática. En la argumentación se pueden usar otras afirmaciones previamente establecidas, tales como teoremas o bien las afirmaciones iniciales o axiomas.​ En principio una demostración se puede rastrear hasta afirmaciones generalmente aceptadas, conocidas como axiomas.​​ Las demostraciones son ejemplos de razonamiento deductivo y se distinguen de argumentos inductivos o empíricos; una demostración debe demostrar que una afirmación es siempre verdadera (ocasionalmente al listar todos los casos posibles y mostrar que es válida en cada uno), más que enumerar muchos casos confirmatorios. Una afirmación no probada que se cree verdadera se conoce como conjetura. Las demostraciones emplean lógica pero normalmente incluyen una buena parte de lenguaje natural, el cual usualmente admite alguna ambigüedad. De hecho, la gran mayoría de las demostraciones en las matemáticas escritas puede ser considerada como aplicaciones de lógica informal rigurosa. Las , escritas en lenguaje simbólico en lugar de lenguaje natural, se consideran en teoría de la demostración. La distinción entre demostraciones formales e informales ha llevado a examinar la lógica matemática histórica y actual, el cuasi-empirismo matemático y el formalismo matemático. La filosofía de las matemáticas concierne al rol del lenguaje y la lógica en las demostraciones, y en las matemáticas como lenguaje. El hecho de no conocer ninguna demostración de un teorema no implica su no veracidad; solo la demostración de la negación de este resultado implica que es falso.
Subject Item
wikipedia-es:Demostración_en_matemática
foaf:primaryTopic
dbpedia-es:Demostración_en_matemática
Subject Item
dbr:Mathematical_proof
owl:sameAs
dbpedia-es:Demostración_en_matemática