About: Rule of inference     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:Idea105833840, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FRule_of_inference

In logic, a rule of inference, inference rule or transformation rule is a logical form consisting of a function which takes premises, analyzes their syntax, and returns a conclusion (or conclusions). For example, the rule of inference called modus ponens takes two premises, one in the form "If p then q" and another in the form "p", and returns the conclusion "q". The rule is valid with respect to the semantics of classical logic (as well as the semantics of many other non-classical logics), in the sense that if the premises are true (under an interpretation), then so is the conclusion.

AttributesValues
rdf:type
rdfs:label
  • Regla d'inferència
  • Schlussregel
  • Συμπερασματικός κανόνας
  • Reglas de inferencia
  • Rule of inference
  • Règle d'inférence
  • 推論規則
  • Regola di inferenza
  • 추론 규칙
  • Afleidingsregel
  • Reguła dedukcyjna
  • Regra de inferência
  • Правило вывода
  • Правило висновування
  • Slutledningsregel
  • 推理规则
rdfs:comment
  • Eine Schlussregel (oder Inferenzregel) bezeichnet eine Transformationsregel (Umformungsregel) in einem Kalkül der formalen Logik, d. h. eine syntaktische Regel, nach der es erlaubt ist, von bestehenden Ausdrücken einer formalen Sprache zu neuen Ausdrücken überzugehen. Dieser regelgeleitete Übergang stellt eine Schlussfolgerung dar.
  • Dans un système logique, les règles d'inférence sont les règles qui fondent le processus de déduction, de dérivation ou de démonstration. L'application des règles sur les axiomes du système permet d'en démontrer les théorèmes.
  • 推論規則(すいろんきそく、英: rule of inference, inference rule, transformation rule)とは、論理式から他の論理式を導く推論の規則である。 記号、公理、代入規則、推論規則によって理論を形式化したものを公理系という。公理は記号だけで記述されるが、推論規則や代入規則はこれらの記号について述べているメタ言語で記述される。恒真式 (トートロジー)から推論規則を導くと妥当性のある推論になる。
  • 추론 규칙(推論規則, Rule of inference) 또는 '추론 형식'은 논리학에서 논리식으로부터 다른 논리식을 이끄는 규칙을 말한다. 공리, , 추론 규칙에 의해서 이론을 형식화한 것이 공리계다. 공리는 대상 언어의 기호만으로 기술되지만, 추론 규칙이나 대입 규칙은 이러한 기호에 대해 말하는 메타 언어로 기술된다. 추론 규칙은 항진식(동어 반복)으로부터 이끄는 것이 타당하다. 아래는 대표적인 추론 규칙이다.(‘¬'는 부정, ‘→'은 내포(함의)등 나머지는 논리기호참고) * 전건 긍정의 형식 P, P→Q ⊢ Q * 후건 부정의 형식 ¬Q, P→Q ⊢ ¬P * 부정도입 P → ⊥ ⊢ ¬P * 보편 사례화의 규칙(전체 한정사 사례화) ∀xψ(x) ⊢ ψ(a) * 존재 일반화의 규칙(존재 한정사 일반화) ψ(a) ⊢ ∃xψ(x) * 이중부정의 제거 ¬¬P ⊢ P * 이중부정의 도입 P ⊢ ¬¬P * 선언명제 삼단논법 P∨Q, ¬P ⊢ Q * 가언명제 삼단논법 P→Q, Q→R ⊢ P→R * 도출 l∨P, ¬l∨Q ⊢ P∨Q
  • In de logica is een afleidingsregel een regel die uit een aantal proposities een propositie afleidt. De proposities waar de propositie uit afgeleid wordt, worden de premissen genoemd en de afgeleide propositie de conclusie: de conclusie wordt geconcludeerd (of afgeleid) uit de premissen. Een afleidingsregel kan als volgt genoteerd worden: premisse 1 premisse 2 ... premisse n: conclusie of: premisse 1, premisse 2, ..., premisse n conclusie
  • Reguła (dyrektywa) dedukcyjna, także reguła (dyrektywa) inferencyjna, reguła (dyrektywa) dowodzenia – właściwa dla danego systemu dedukcyjnego reguła pozwalająca uznawać zdania na podstawie ciągu zdań o określonej strukturze już uprzednio uznanych. Stanowi strukturalną regułę wnioskowania dedukcyjnego. Każdy sformalizowany system dedukcyjny posiada określony, właściwy sobie zespół reguł dedukcyjnych. Najczęściej występujące reguły dedukcyjne to reguła odrywania, reguła podstawiania i . Rachunek kwantyfikatorów zawiera także reguły dołączania i opuszczania kwantyfikatorów.
  • Slutledningsregler, ibland även kallade härledningsregler, är de grundläggande argumentationssteg som utförs i en härledning. Ett härledningssystem bestämmer exakt vilka slutledningsregler som är tillåtna.
  • En lògica, especialment en lògica matemàtica, una regla d'inferència és un esquema per a construir inferències vàlides. Aquests esquemes estableixen relacions sintàctiques entre un conjunt de fórmules anomenats premisses i una asserció trucada conclusió . Aquestes relacions sintàctiques són usades en el procés d'inferència, pel qual s'arriba a noves assercions veritables a partir d'altres ja conegudes. Les regles també s'apliquen a la lògica informal ia les discussions, però la formulació és molt més difícil i polèmica. En símbols: p, p → q llavors, q En símbols: p → q,-q llavors, -p
  • Στην μαθηματική λογική, συμπερασματικός κανόνας ή επαγωγικός κανόνας (inference rule) είναι μια συνάρτηση από σύνολα προτάσεων σε προτάσεις. Το όρισμα της συνάρτησης λέγεται σύνολο προϋποθέσεων ή απλούστερα προϋποθέσεις ή υποθέσεις, και η τιμή της συνάρτησης λέγεται συμπέρασμα. Οι συναρτήσεις αυτές μπορούν επίσης να θεωρηθούν ως σχέσεις μεταξύ των υποθέσεων και του συμπεράσματος, όπου λέμε ότι το συμπέρασμα είναι παραγόμενο ή συνεπαγόμενο ή επαγόμενο από τις υποθέσεις. Αν το σύνολο των υποθέσεων είναι κενό, τότε το συμπέρασμα λέγεται και αξίωμα στη που το περιέχει.
  • In logic, a rule of inference, inference rule or transformation rule is a logical form consisting of a function which takes premises, analyzes their syntax, and returns a conclusion (or conclusions). For example, the rule of inference called modus ponens takes two premises, one in the form "If p then q" and another in the form "p", and returns the conclusion "q". The rule is valid with respect to the semantics of classical logic (as well as the semantics of many other non-classical logics), in the sense that if the premises are true (under an interpretation), then so is the conclusion.
  • En lógica, una regla de inferencia, o regla de transformación es una forma lógica que consiste en una función que toma premisas, analiza su sintaxis, y devuelve una conclusión (o ). Por ejemplo, la regla de inferencia llamada Modus ponendo ponens toma dos premisas, uno en la forma "Si p entonces q" y otra en la forma "p", y vuelve la conclusión "q". La regla es válida con respecto a la semántica de la lógica clásica (así como la semántica de muchas otras lógicas no clásicas), en el sentido de que si las premisas son verdaderas (bajo una interpretación), entonces también lo será la conclusión.
  • Nella logica matematica una regola di inferenza è uno schema formale che si applica nell'eseguire un'inferenza. In altre parole, è una regola che permette di passare da un numero finito di proposizioni assunte come premesse a una proposizione che funge da conclusione. Nel caso una regola di inferenza sia corretta allora stabilisce quando un enunciato formalizzato (cioè una formula di un linguaggio proposizionale o del primo ordine) è conseguenza logica di un altro soltanto sulla base della struttura sintattica degli enunciati. Dalle formule * * è possibile dedurre la formula Dalla formula
  • Inferência é o processo pelo qual se chega a uma proposição, firmada na base de uma ou outras mais proposições aceitas como ponto de partida do processo. O Argumento é chamado de premissa e o valor de conclusão. As conclusões são deduzidas a partir das premissas. Caso o estado das premissas esteja vazio, então a conclusão é dita ser o axioma da lógica. Uma propriedade desejável de uma regra de inferência é que esta seja efetiva, isto é, existe um procedimento efetivo para determinar se uma dada fórmula é inferível de um dado conjunto de fórmulas. A→B A ∴B
  • Правило вывода — эффективная процедура для проверки того, что одна заданная формула в рассматриваемой теории непосредственно за один шаг выводится из других заданных формул. В непротиворечивой теории теоремы получаются путём цепочки применения правил вывода этой теории. При этом если формула выводится за некоторое количество шагов из формул , то для выражения этого факта применяется обозначение . Если в таком случае рассматриваемая теория , а каждое из утверждений является либо аксиомой, либо теоремой, то также является теоремой.
  • У логіці пра́вило висно́вування, або пра́вило перетво́рення (англ. rule of inference, inference rule, transformation rule) — це , що складається з функції, яка отримує передумови, аналізує їхній і повертає висновок (або ). Наприклад, правило висновування, що називається modus ponens, отримує дві передумови, одну у формі «Якщо p тоді q», а другу у формі «p», і повертає висновок «q». Це правило є чинним відносно семантики класичної логіки (як і відносно семантик багатьох інших некласичних логік), у тому сенсі, що якщо передумови є істинними (в межах інтерпретації), то істинним є і висновок.
  • 在逻辑中,特别是数理逻辑中,推理规则(推论规则)是构造有效推论的方案。这些方案建立在一组叫做前提的公式和叫做结论的断言之间的语法关系。这些语法关系用于推理过程中,新的真的断言从其他已知的断言得出。规则也适用于非形式逻辑和逻辑论证,但是形式化更加困难和有争议。 按照规定,推理规则的应用纯粹是语法过程。尽管如此它必须是有效的,或者更精确地说保持有效性。为了使保持有效性的要求有意义,某种形式的语义与推理规则有关和推理规则自身的断言是必需的。对于在推理规则和和语义之间相互关系的讨论请参见命题逻辑。 命题逻辑中推理规则的显著例子是肯定前件和否定后件规则。对于一阶谓词逻辑,推理规则需要处理逻辑量词。对这种论证的更详细的描述请参见有效性。在一阶谓词逻辑中把所有推理规则作为一个单一规则来统一处理请参见一阶归结。 注意有很多不同的形式逻辑系统,每个都带有合式公式、推理规则和语义的自己的集合。参见时间逻辑、模态逻辑或直觉逻辑的实例。也是一种不同寻常形式的逻辑。参见证明论。在谓词演算中,需要一个补充的推理规则。它叫做普遍化。 在形式逻辑的设置(和很多有关领域)中,推理规则通常用如下形式给出: 前提#1 前提#2 ... 前提#n 结论 A→B A B
foaf:isPrimaryTopicOf
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Faceted Search & Find service v1.17_git51 as of Sep 16 2020


Alternative Linked Data Documents: PivotViewer | iSPARQL | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3319 as of Dec 29 2020, on Linux (x86_64-centos_6-linux-glibc2.12), Single-Server Edition (61 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2021 OpenLink Software