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.

Property Value
dbo:abstract
  • 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)
  • 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)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 73562 (xsd:integer)
dbo:wikiPageLength
  • 9007 (xsd:integer)
dbo:wikiPageRevisionID
  • 128632687 (xsd:integer)
dct:subject
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)
  • 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)
rdfs:label
  • Sistema axiomático (es)
  • Sistema axiomático (es)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is owl:sameAs of
is foaf:primaryTopic of