En lógica, una regla de inferencia es un esquema para construir inferencias válidas. Estos esquemas establecen relaciones sintácticas entre un conjunto de fórmulas llamados premisas y una aserción llamada conclusión. Estas relaciones sintácticas son usadas en el proceso de inferencia, por el que se llega a nuevas aserciones verdaderas a partir de otras ya conocidas. Las reglas también se aplican a la lógica informal y a las discusiones, pero la formulación es mucho más difícil y polémica.

rdfs:comment
  • En lógica, una regla de inferencia es un esquema para construir inferencias válidas. Estos esquemas establecen relaciones sintácticas entre un conjunto de fórmulas llamados premisas y una aserción llamada conclusión. Estas relaciones sintácticas son usadas en el proceso de inferencia, por el que se llega a nuevas aserciones verdaderas a partir de otras ya conocidas. Las reglas también se aplican a la lógica informal y a las discusiones, pero la formulación es mucho más difícil y polémica. (es)
foaf:isPrimaryTopicOf
rdfs:label
  • Regla de inferencia (es)
Is foaf:primaryTopic of
dcterms:subject
Is skos:subject of
rdf:type
prov:wasDerivedFrom
Is dbpedia-owl:wikiPageDisambiguates of
dbpedia-owl:wikiPageID
  • 2486418 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 1482 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 17 (xsd:integer)
Is dbpedia-owl:wikiPageRedirects of
dbpedia-owl:wikiPageRevisionID
  • 74602288 (xsd:integer)
dbpedia-owl:wikiPageWikiLink [16 values]
Is dbpedia-owl:wikiPageWikiLink of [56 values]