Schlussregeln sind allgemein Transformationsregeln (Umformungsregeln), die auf bestehende Formeln angewandt werden und aus ihnen neue Formeln erzeugen.
ʃlˈʊsreːɡəln zɪnt ˈalɡəmˌaɪn tɾˈansfɔɾmatsjˌoːnsreːɡəln ˈʊmfˌɔɾmʊŋsrˌeːɡəln, diː aʊf bəʃtˈeːəndə fˈɔɾməln ˈanɡəvˌant vˌɛɾdən ʊnt ˌaʊs ˌiːnən nˈɔøə fˈɔɾməln ɛɾtsˈɔøɡən.