# 4. Übungsblatt

## Gruppe

Name:
Name:
Name:

## Übung 4: Natürliches Schließen

Formalisieren Sie den Beweis für die folgende Behauptung:

  p ist gerade  gdw.  p^2 ist ungerade.

Die Struktur des Beweises und die Axiome \Gamma sind auf dem Übungsblatt.

Gesucht ist also ein Inferenzbaum für das Theorem

  \Gamma |- A <--> B

Hinweis:

Zum Aufschreiben der Beweisen im Kalkül des natürlichen Schließens verwenden sie die eingeführte lineare Notationen (Siehe Übungsaufgabenblatt)