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.