# 5. Übungsblatt

## Gruppe

Name:
Name:
Name:

## Übung 5: Natürliches Schließen / Minimale Systeme

Minimale Systeme: 

1. Operatoren

2. Definition aller weiteren Operatoren

3. Regeln

4. Beweis zweier abgeleiteter Regeln