In logic, a rule of inference, inference rule, or transformation rule is the act of drawing a conclusion based on the form of premises interpreted as a function which takes premises, analyses their syntax, and returns a conclusion (or conclusions). For example, the rule of inference modus ponens takes two premises, one in the form of "If p then q" and another in the form of "p" and returns the conclusion "q". The rule is valid with respect to the semantics of classical logic (as well as the semantics of many other non-classical logics), in the sense that if the premises are true (under an interpretation) then so is the conclusion.

Schlussregel (oder Inferenzregel) bezeichnet in der formalen Logik eine Transformationsregel (Umformungsregel) in einem logischen Kalkül, d. h. eine Regel, die es erlaubt, bestehende Ausdrücke einer formalen Sprache so umzuformen, dass daraus neue Ausdrücke entstehen, die aus den bestehenden Ausdrücken folgen. Die genaue Beschaffenheit der Schlussregeln hängt davon ab, für welches logische System der Kalkül aufgestellt wird. Für die klassische, zweiwertige Logik ist Folgerung definiert als der Erhalt von Wahrheit („aus Wahrem folgt nur Wahres“). Schlussregeln sind dann so beschaffen, dass sie aus bestehenden Sätzen solche Sätze erzeugen, die schon (aber nicht notwendigerweise nur) dann wahr sind, wenn die Ausgangssätze wahr sind.

Dans un système logique, les règles d'inférence sont les règles qui fondent le processus de déduction, de dérivation ou de démonstration. L'application des règles sur les axiomes du système permet d'en démontrer les théorèmes.

Härledningsregler är de grundläggande argumentationssteg som utförs i en härledning. Ett härledningssystem bestämmer exakt vilka härledningsregler som är tillåtna.

Nella logica matematica una regola di inferenza è una regola formale che stabilisce quando un enunciato formalizzato (cioè una formula di un linguaggio proposizionale o del primo ordine) è conseguenza logica di un altro soltanto sulla base della struttura sintattica degli enunciati. Nella logica proposizionale l'unica regola di inferenza necessaria è il modus ponens che stabilisce che In una teoria del primo ordine bisogna aggiungere al modus ponens una regola per l'introduzione dei quantificatori, la regola di generalizzazione: