Beweisregel
Beweisregeln sind Regeln des natürlichen Schließens, mit denen aus gegebenen Annahmen oder Beweiszielen neue Beweisschritte erzeugt werden können. Für die jeweiligen logischen Operatoren gibt es insbesondere Einführungsregeln und Eliminationsregeln.