Nächste Seite: Aufgabe 4 Vorige Seite: Aufgabe 2

Aufgabe 3

Gegeben sei die folgende Menge von Axiomen:

Gebe für jedes Axiom seine natürlichsprachliche Interpretation an.

Zeige unter Verwendung eines Kalküls der Logik erster Stufe daß die Aussage:

aus der obigen Axiomenmenge ableitbar ist.