---

Geschrieben von Moonie am 14.06.2009 um 12:51:

  Hilbertkalkül richtig anwenden?

Hallo zusammen,
ich hoffe ihr könnt mir helfen. Ich schreibe im Juli eine Klausur in theoretische Informatik.
Ich bin gerade beim Hilbertkalkül.

In der Aufgabenstellung muss eine Formel hergeleitet werden und uns stehen 15 Axiome und 2 Regeln
zur Verfügung. Zusätzlich können noch Voraussetzungen gegeben sein.
Mein Problem ist jetzt, dass ich nie weiss, mit welchen Axiomen ich anfangen soll bzw. welche ich verwenden soll.
Gibt es da ein systemaisches Vorgehen?

Ich wäre euch für jede Hilfe sehr dankbar.

Viele Grüsse
Moonie