Zulässige Regel
aus Wikipedia, der freien Enzyklopädie
Eine Schlussregel ist zulässig im Bezug auf ein logisches System
- wenn die Regel zum System gehört und jeder beweisbare Satz, der mit der Regel bewiesen werden kann auch ohne sie bewiesen werden kann.
- wenn die Regel nicht zum System gehört und durch Hinzufügen der Regel kein Satz bewiesen werden kann, der nicht auch ohne sie bewiesen werden kann.