About: Rule of inference

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Systematic logical process capable of deriving a conclusion from hypotheses

thumbnail
Property Value
dbo:description
  • proceso lógico sistemático capaz de derivar una conclusión a partir de hipótesis (es)
  • Kalkül der formalen Logik (de)
  • méthode formelle d'obtention d'une conclusion à partir d'hypothèses (fr)
  • regels in logica (nl)
  • Hipotesi gisa hartutako zenbait proposizio abiapuntu direla, teoria deduktibo batean proposizio baten egiazkotasuna frogatzea ahalbidetzen duen erregela-multzoa. (eu)
  • правило перехода от посылок к заключению (ru)
  • método lógico para deduzir conclusões válidas a partir de premissas aceitas em sistemas formais (pt)
  • systematic logical process capable of deriving a conclusion from hypotheses (en)
  • 把相关领域的专家知识形式化地描述出来，形成系统规则的过程 (zh)
  • proses logis untuk menarik kesimpulan dari hipotesis (in)
dbo:thumbnail
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dct:subject
gold:hypernym
rdfs:label
  • Rule of inference (en)
  • Schlussregel (de)
  • Regla d'inferència (ca)
  • Συμπερασματικός κανόνας (el)
  • Regla de inferencia (es)
  • Règle d'inférence (fr)
  • Regola di inferenza (it)
  • 推論規則 (ja)
  • 추론 규칙 (ko)
  • Reguła dedukcyjna (pl)
  • Afleidingsregel (nl)
  • Regra de inferência (pt)
  • Slutledningsregel (sv)
  • Правило вывода (ru)
  • Правило висновування (uk)
  • 推理规则 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:type of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International