Back قاعدة الاستدلال Arabic Regla d'inferència Catalan Συμπερασματικός κανόνας Greek Rule of inference English Regla de inferencia Spanish Tuletusreegel Estonian قاعده استنتاج Persian Règle d'inférence French כלל היסק HE Aturan penarikan kesimpulan ID
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.