Wenn man einen Kalkül für ein logisches System aufstellt, dann wählt man die Transformationsregeln so, dass sie aus bestehenden Formeln solche Formeln erzeugen, die aus den Ausgangsformeln semantisch folgen – deshalb die Bezeichnung „Schlussregel“ (eine Schlussfolgerung ziehen).
vˌɛn man ˌaɪnən kˈalkyːl fyːɾ aɪn lˈoːɡɪʃəs zystˈeːm ˈaʊfʃtˌɛlt, dan vˈɛːlt man diː tɾˈansfɔɾmatsjˌoːnsreːɡəln zˈoː, das ziː ˌaʊs bəʃtˈeːəndən fˈɔɾməln zˈɔlçə fˈɔɾməln ɛɾtsˈɔøɡən, diː ˌaʊs deːn ˈaʊsɡˌaŋsfɔɾməln zeːmˈantɪʃ fˈɔlɡən dɛshˈalp diː bətsˈaɪçnʊŋ ʃlˈʊsreːɡəl“ ˌaɪnə ʃlʊsfˈɔlɡərˌʊŋ tsˈiːən.