de
Schlussregel
zh
推理规则
sr
Pravilo zaključivanja
ru
Правило вывода
pt
Regra de inferência
pl
Reguła dedukcyjna
it
Regola di inferenza
fr
Règle d'inférence
es
Regla de inferencia
en
Rule of inference
uk
Правило висновування
sv
Slutledningsregel
nl
Afleidingsregel
ko
추론 규칙
ja
推論規則
io
Regulo di infero
id
Aturan penarikan kesimpulan
he
כלל היסק
fa
قاعده استنتاج
et
Tuletusreegel
el
Συμπερασματικός κανόνας
ca
Regla d'inferència
ar
قاعدة الاستدلال
Eine Schlussregel 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. Mehr lesen