| Meaning | |
|---|---|
| Catalan | |
| has gloss | cat: En lògica, especialment en lògica matemàtica, una regla d'inferència és un esquema per a construir inferència s vàlides. Aquests esquemes estableixen relacions sintàctiques entre un conjunt de fórmules anomenats premisses i una asserció trucada conclusió . |
| lexicalization | cat: regla d'inferència |
| German | |
| has gloss | deu: Schlussregel (oder Inferenzregel) bezeichnet in der formalen Logik eine Transformationsregel (Umformungsregel) in einem logischen Kalkül, d. h. eine Regel, die es erlaubt, bestehende Ausdrücke einer formalen Sprache so umzuformen, dass daraus neue Ausdrücke entstehen, die aus den bestehenden Ausdrücken folgen. Die genaue Beschaffenheit der Schlussregeln hängt davon ab, für welches logische System der Kalkül aufgestellt wird. Für die klassische, zweiwertige Logik ist Folgerung definiert als der Erhalt von Wahrheit („aus Wahrem folgt nur Wahres“). Schlussregeln sind dann so beschaffen, dass sie aus bestehenden Sätzen solche Sätze erzeugen, die schon (aber nicht notwendigerweise nur) dann wahr sind, wenn die Ausgangssätze wahr sind. |
| lexicalization | deu: Schlussregel |
| Modern Greek (1453-) | |
| has gloss | ell: Στην μαθηματική λογική, συμπερασματικός κανόνας ή επαγωγικός κανόνας (inference rule) είναι μια συνάρτηση από σύνολα προτάσεων σε προτάσεις. Το όρισμα της συνάρτησης λέγεται σύνολο προϋποθέσεων ή απλούστερα προϋποθέσεις ή υποθέσεις, και η τιμή της συνάρτησης λέγεται συμπέρασμα. Οι συναρτήσεις αυτές μπορούν επίσης να θεωρηθούν ως σχέσεις μεταξύ των υποθέσεων και του συμπεράσματος, όπου λέμε ότι το συμπέρασμα είναι παραγόμενο ή συνεπαγόμενο ή επαγόμενο από τις υποθέσεις. Αν το σύνολο των υποθέσεων είναι κενό, τότε το συμπέρασμα λέγεται και αξίωμα στη λογική που το περιέχει. |
| lexicalization | ell: συμπερασματικός κανόνας |
| Esperanto | |
| lexicalization | epo: Reguloj de konkludo |
| Persian | |
| has gloss | fas: در منطق قواعد استنباط (Rule of inference) توابعی هستند از مجموعههای حاوی فرمولها به مجموعههای دیگر فرمولها. |
| lexicalization | fas: قواعد استنباط |
| French | |
| has gloss | fra: Dans un système logique, les règles dinférence sont les règles qui fondent le processus de déduction, de dérivation ou de démonstration. Lapplication des règles sur les axiomes du système permet d'en démontrer les théorèmes. |
| lexicalization | fra: Regle d'inference |
| lexicalization | fra: règle d'inférence |
| Hebrew | |
| has gloss | heb: כללי היסק הם האקסיומות הבסיסיות ביותר של המתמטיקה והלוגיקה. אקסיומות אלו עוסקות בדרך בה ניתן להסיק (כלומר להוכיח) מטענה א את טענה ב. |
| lexicalization | heb: כלל היסק |
| Italian | |
| has gloss | ita: Nella logica matematica una regola di inferenza è una regola formale che 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. Nella logica proposizionale l'unica regola di inferenza necessaria è il modus ponens che stabilisce che <div style="float:center; width:85%; padding:15px; background: #f5f8ff; border: 1px solid blue; margin-left:8px; margin-right:8px;margin-bottom:15px; text-align:left"> Dalle formule *φ *φ→ψ è possibile dedurre la formula :ψ |
| lexicalization | ita: regola di inferenza |
| Japanese | |
| has gloss | jpn: 推論規則（すいろんきそく）とは、論理式から他の論理式を導く規則である。 |
| lexicalization | jpn: 推論規則 |
| Dutch | |
| has gloss | nld: 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. |
| lexicalization | nld: afleidingsregel |
| Polish | |
| has gloss | pol: 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 o określonej strukturze na podstawie zdań już uprzednio uznanych. Stanowi strukturalną regułę wnioskowania dedukcyjnego. |
| lexicalization | pol: Reguła dedukcyjna |
| Portuguese | |
| lexicalization | por: Regras de inferência |
| Castilian | |
| has gloss | spa: En lógica, especialmente en lógica matemática, 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. |
| lexicalization | spa: regla de inferencia |
| lexicalization | spa: Reglas de inferencia |
| Swedish | |
| has gloss | swe: Härledningsregler är de grundläggande argumentationssteg som utförs i en härledning. Ett härledningssystem bestämmer exakt vilka härledningsregler som är tillåtna. |
| lexicalization | swe: Härledningsregel |
| Chinese | |
| has gloss | zho: 在逻辑中，特别是数理逻辑中，推理规则(推论规则)是构造有效推论的方案。这些方案建立在一组叫做前提的公式和叫做结论的断言之间的语法关系。这些语法关系用于推理过程中，新的真的断言从其他已知的断言得出。规则也适用于非形式逻辑和逻辑论证，但是形式化更加困难和有争议。 |
| lexicalization | zho: 推理规则 |
Lexvo © 2008-2024 Gerard de Melo. Contact Legal Information / Imprint