• Keine Ergebnisse gefunden

1 Nat¨ urliches Schließen 3 Punkte

N/A
N/A
Protected

Academic year: 2022

Aktie "1 Nat¨ urliches Schließen 3 Punkte"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Formale Methoden der Softwaretechnik 1 WS 09/10

1. ¨ Ubungsblatt (Teil 1)

Ausgabe: 28.10.09 Abgabe: 11.11.09

Christoph L¨uth Lutz Schr¨oder

1 Nat¨ urliches Schließen 3 Punkte

Nur mit Papier und Bleistift1 bewaffnet beweisen Sie bitte folgende Theoreme mit dem aus der Vorlesung bekannten und beliebten Kalk¨ul des nat¨urlichen Schließens:

(1) `(A−→B∧C)−→(A−→B)∧(A −→C) (2) `A−→ ¬(¬A)

(3) `A∨ ¬A

2 Nat¨ urliches Schließen in Isabelle 3 Punkte

Formalisieren Sie die Beweise aus der vorherigen ¨Ubung in Isabelle.

Dies ist Revision 426 vom 2008-10-31 17:43:44 +0100 (Fri, 31 Oct 2008).

1Das ist jetzt ¨ubertragen gemeint, es kann auch Kugelschreiber sein, aber von LATEX w¨urde ich abra- ten. . .

Referenzen

ÄHNLICHE DOKUMENTE

[r]

Bestimmen Sie die Konditionszahl

Fakult¨ at Mathematik und Physik, Universit¨ at Stuttgart Prof. Die Kugel rotiere mit konstanter Winkelgeschwindigkeit ω um

Hinweise: Nehmen Sie an, dass die Proportionalit¨ at in allen gegeneinander mit konstanter Geschwindigkeit bewegten Bezugssystemen

Menge auch offen, so w¨are sie also gleichzeitig offen und abgeschlossen, was nur f¨ ur die leere Menge oder den ganzen R n gilt. Die leere Menge ist nach Vorausssetzung

[r]

Definiere ein Interface IntPriorityQueue, das Priorit¨ ats-Warteschlangen mit Eintr¨ a- gen vom Typ String und Priorit¨ aten vom Typ int unterst¨ utzt. Schreibe eine Klasse, die

Jede Menge nat¨ urlicher Zahlen, die die Null enth¨ alt und mit jedem Element auch dessen Nachfolger, ist die Menge der nat¨ urlichen Zahlen.. Man nutzt dieses Prinzip aus, wenn man