En lógica y matemáticas, un sistema axiomático consiste en un conjunto de axiomas que se utilizan, mediante deducciones, para demostrar teoremas. Ejemplos de sistemas axiomáticos deductivos son la geometría euclidiana compilada por Euclides en los Elementos y el sistema axiomático de la lógica proposicional.

rdfs:comment
  • En lógica y matemáticas, un sistema axiomático consiste en un conjunto de axiomas que se utilizan, mediante deducciones, para demostrar teoremas. Ejemplos de sistemas axiomáticos deductivos son la geometría euclidiana compilada por Euclides en los Elementos y el sistema axiomático de la lógica proposicional. (es)
foaf:isPrimaryTopicOf
rdfs:label
  • Sistema axiomático (es)
Is foaf:primaryTopic of
dcterms:subject
prov:wasDerivedFrom
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 73562 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 8622 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 52 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 76701892 (xsd:integer)
prop-latam:wikiPageUsesTemplate
dbpedia-owl:wikiPageWikiLink [48 values]
Is dbpedia-owl:wikiPageWikiLink of [24 values]