Ein adäquater Kalkül der Prädikatenlogik
|
|
- Kilian Neumann
- vor 6 Jahren
- Abrufe
Transkript
1 Ein adäquater Kalkül der Prädikatenlogik Teil 1 Der Shoenfield-Kalkül für PL: Axiome und Regeln, Korrektheit, Zulässige Regeln Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 1 / 45
2 Der Shoenfield-Kalkül für PL: Axiome und Regeln Im Folgenden ist L = L((R i i I ), (f j j J), (c k k K)) eine beliebige (aber feste) Sprache der Prädikatenlogik mit Signatur σ = ((n i i I ), (m j j J), K). Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 2 / 45
3 Der Shoenfield-Kalkül für PL: Axiome und Regeln Bei den Axiomen und Regeln unterscheiden wir zwischen den aussagenlogischen und prädikatenlogischen Axiomen und Regeln: Die aussagenlogischen Axiome und Regeln umfassen die wesentlichen Gesetze zur Beschreibung der Bedeutung (Semantik) der(aussagenlogischen) Junktoren und. (Diese werden vom Shoenfieldkalkül der Aussagenlogik direkt übernommen.) Die prädikatenlogischen Axiome und Regeln umfassen die wesentlichen Gesetze zur Beschreibung der Bedeutung (Semantik) des Existenzquantors und des Gleichheitszeichens. Hier benutzen wir folgende Notation: ϕ[t/x] sei die Formel, die aus ϕ entstehe, wenn alle freien Vorkommen der Variablen x durch den Term t ersetzt werden. Wir nennen hierbei t für x in ϕ substituierbar, falls keine in t vorkommende Variable y x in ϕ gebunden vorkommt. Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 3 / 45
4 Der Shoenfield-Kalkül für PL: aussagenlogische Axiome und Regeln AXIOME ϕ ϕ ( ϕ ϕ) tertium non datur (Ax) REGELN ψ ϕ ψ Expansion (E) ϕ (ψ δ) (ϕ ψ) δ Assoziativität (A) ϕ ϕ ϕ Kürzung (Kü) ϕ ψ, ϕ δ ψ δ Schnitt (S) Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 4 / 45
5 Der Shoenfield-Kalkül für PL: prädikatenlogische Axiome und Regeln SUBSTITUTIONSAXIOME (S1) ϕ[t/x] xϕ falls t in ϕ substituierbar ist (SB = Substituierbarkeitsbedingung ). GLEICHHEITSAXIOME (G1) x = x (G2) x 1 = y 1... x mj = y mj f j (x 1,..., x mj ) = f j (y 1,..., y mj ) (G3) x 1 = y 1... x ni = y ni R i (x 1,..., x ni ) R i (y 1,..., y ni ) (G4) x 1 = y 1 x 2 = y 2 x 1 = x 2 y 1 = y 2 -EINFÜHRUNGSREGELN ( 1) ϕ ψ xϕ ψ falls x in ψ nicht frei vorkommt (VB = Variablenbedingung). Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 5 / 45
6 Der Shoenfield-Kalkül für PL: Beweise und Beweisbarkeit + Im Folgenden schreiben wir S PL oder kurz S für den Shoenfieldkalkül der Prädikatenlogik und S AL für den früher eingeführten Shoenfieldkalkül der Aussagenlogik. Beweise und Beweisbarkeit sind wie in jedem Kalkül definiert (siehe: die Diskussion des allgemeinen Kalkülbegriffs im Abschnitt über die Aussagenlogik). Im Folgenden steht für die Beweisbarkeit in S PL, d.h. T ϕ ϕ ist aus T im Kalkül S PL beweisbar, und wir schreiben wiederum ϕ 1,..., ϕ n ϕ ϕ statt {ϕ 1,..., ϕ n } ϕ statt ϕ Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 6 / 45
7 Der Shoenfield-Kalkül für PL: Beweise und Beweisbarkeit Wie bereits für beliebige Kalküle gezeigt, gilt für den Beweisbarkeitsbegiff in S PL : MONOTONIELEMMA. Falls T T und T ϕ, so gilt auch T ϕ. TRANSITIVITÄTSLEMMA. Gelte T ϕ und gelte weiter T ψ für alle ψ T. Dann gilt T ϕ. ENDLICHKEITSSATZ. Falls T ϕ gilt, so gibt es eine endliche Teilmenge T 0 von T mit T 0 ϕ. Unser Ziel ist zu zeigen, dass der Kalkül S PL adäquat ist, d.h. dass Beweisbarkeitsbegriff und Folgerungsbegriff zusammenfallen: T ϕ T ϕ In diesem Abschnitt zeigen wir zunächst die Korrektheit ( ) und beweisen zur Vorbereitung des Beweises der Vollständigkeit ( ) die Zulässigkeit einer Reihe von Axiomen und Regeln in S PL. Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 7 / 45
8 Korrektheit des Shoenfieldkalküls der Prädikatenlogik Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 8 / 45
9 Korrektheitssatz KORREKTHEITSSATZ. T ϕ T ϕ Wie wir im Teil über die Aussagenlogik gezeigt haben, genügt es die Korrektheit der Axiome und Regeln von S PL zu zeigen, d.h. nachzuweisen, dass gilt: Jedes Axiom ϕ ist allgemeingültig, d.h. ϕ. Jede Regel ϕ 1,..., ϕ n ϕ ist korrekt bzgl. Folgerungen, d.h. ϕ 1,..., ϕ n ϕ. Für die aussagenlogischen Axiome und Regeln argumentiert man ähnlich wie in der Aussagenlogik, und der Nachweis der Korrektheit der Gleichheitsaxiome ist eine einfache Übung. Wir betrachten hier daher nur die Korrektheit der Substitutionsaxiome (S1) und der -Einführungsregeln ( 1). Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 9 / 45
10 Korrektheit von (S1): Substitutionslemma SUBSTITUTIONSLEMMA. Sei der Term t für die Variable x in der Formel ϕ substituierbar (d.h. keine in t vorkommende Variable y x kommt in ϕ gebunden vor). Dann ist ϕ[t/x] xϕ allgemeingültig. BEMERKUNG. Die Substituierbarkeitsbedingung ist notwendig: Für ist die Formel t y und ϕ y(x = y) ϕ[t/x] xϕ y(y = y) x y(x = y) nicht allgemeingültig (sie gilt nämlich in keiner Struktur mit mehr als einem Individuum). Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 10 / 45
11 Substitutionslemma - Beweisidee Annahmen: Keine in t vorkommende Variable y x kommt in ϕ gebunden vor (=SB). FV (ϕ) V (t) {x, x 1,..., x n } A sei eine L-Struktur und B : {x, x 1,..., x n } A Zu zeigen: (*) WB A (ϕ[t/x] xϕ) = 1 Vorüberlegungen: Gilt WB A (ϕ[t/x]) = 0, so gilt (*) trivialerweise. Gilt x FV (ϕ), so gilt ϕ[t/x] ϕ und es gilt WB A(ϕ) = W B A ( xϕ), also auch WB A(ϕ[t/x]) = W B A ( xϕ) und daher (*). Wir können also o.b.d.a. zusätzlich annehmen, dass WB A (ϕ[t/x]) = 1 und x FV (ϕ) gilt, und müssen WB A ( xϕ) = 1 zeigen. Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 11 / 45
12 Substitutionslemma - Beweisidee (Fortsetzung) Annahmen (erweitert): Keine in t vorkommende Variable y x kommt in ϕ gebunden vor (=SB). x FV (ϕ) & FV (ϕ) V (t) {x, x 1,..., x n } A sei eine L-Struktur und B : {x, x 1,..., x n } A mit W A B (ϕ[t/x]) = 1 Zu zeigen (aktualisiert): (**) W A B ( xϕ) = 1 Betrachte die Belegung B : {x, x 1,..., x n } A mit { B B(y) falls y {x 1,..., x n } (y) = tb A falls y = x Man zeigt dann durch Ind(ϕ) (mit Hilfe von (SB)), dass WB A (ϕ) = W B A (ϕ[t/x]) = 1. Hieraus folgt aus der Definition des Wahrheitsprädikates WB A ( xϕ) = 1 und hieraus wiederum mit dem Koinzidenzlemma (da x FV ( xϕ)), dass WB A ( xϕ) = 1. Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 12 / 45
13 Korrektheit von ( 1): Notwendigkeit von VB ( 1) ϕ ψ xϕ ψ wobei x FV (ψ) (VB) BEMERKUNG. Die Variablenbedingung x FV (ψ) ist notwendig: Für ϕ : ψ : x = y ist die Variablenbedingung verletzt. Es gilt: Die Formel ϕ ψ x = y x = y ist offensichtlich allgemeingültig. Die Formel xϕ ψ x(x = y) x = y gilt dagegen nur in 1-elementigen Strukturen. Also: ϕ ψ xϕ ψ Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 13 / 45
14 Korrektheit von ( 1): Beweis ANNAHME: A ϕ ψ ZU ZEIGEN: A xϕ ψ Sei FV ( xϕ ψ) = {x 1,..., x n } und B : {x 1,..., x n } A. Dann genügt es WB A ( xϕ ψ) = 1 zu zeigen. Ist WB A (ψ) = 1, so ist die Behauptung trivial. Wir können also o.b.d.a. WB A(ψ) = 0 annehmen. Zu zeigen genügt dann: W B A ( xϕ) = 0. Hierzu wiederum genügt es (nach Definition von WB A ), für jede gegebene Fortsetzung B : {x, x 1,..., x n } A von B (d.h. B stimmt mit B auf {x 1,..., x n } überein) zu zeigen: WB A (ϕ) = 0. Dies zeigt man wie folgt: Aus der Annahme A ϕ ψ folgt: WB A (ϕ ψ) = 1. Aus WB A (ψ) = 0 folgt mit dem Koinzidenzlemma (da x FV (ψ)) WB A (ψ) = W B A (ψ) = 0. Aus diesen beiden Fakten folgt aber WB A (ϕ) = 0. q.e.d. Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 14 / 45
15 Zulässige Regeln 1 Aussagenlogische Schlüsse 2 Generalisierung und Distribution 3 Ersetzung und Umbenennung 4 Substitution 5 Gleichheit Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 15 / 45
16 Aussagenlogische Vollständigkeit von S PL : Tautologien Wir führen zunächst den Begriff der Tautologie bzw. tautologischen Folgerung (= aussagenlogischer wahrer Satz bzw. aussagenlogische Folgerung) und zeigen dann, dass Tautologien und tautologische Folgerungen (aus endlichen Formelmengen) zulässige Axiome bzw. Regeln von S PL sind. Eine Formel ϕ ist elementar, falls ϕ atomar oder eine Existenzformel ϕ xψ ist. Elementare Formeln lassen sich aussagenlogisch nicht weiter zerlegen, spielen daher in PL die Rolle der Aussagenvariablen in AL. Eine aussagenlogische Belegung B von L ist eine Abbildung B : {ϕ : ϕ elementar} {0, 1}. Eine al. Belegung B lässt sich induktive wie folgt auf alle Formeln fortsetzen: B( ϕ) := 1 B(ϕ) B(ϕ 1 ϕ 2 ) := max(b(ϕ 1 ), B(ϕ 2 )) Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 16 / 45
17 Al. Vollständigkeit von S PL : Tautologien (Forts.) Eine Formel ϕ ist eine Tautologie (oder aussagenlogisch gültig, AL ϕ), falls B(ϕ) = 1 für alle al. Belegungen B gilt. Eine Formel ϕ ist eine tautologische (oder aussagenlogische) Folgerung aus einer Formelmenge T (T AL ϕ), falls für alle al. Belegungen B gilt: Falls B(ψ) = 1 für alle ψ T, dann B(ϕ) = 1. NB: Es gilt T AL ϕ T ϕ. Die Umkehrung ist aber i.a. falsch. Z.B.: x(x = x) aber AL x(x = x). TAUTOLOGIESATZ. (i) AL ϕ ϕ (ii) ϕ 1,..., ϕ n AL ϕ ϕ 1,..., ϕ n ϕ Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 17 / 45
18 Beweisidee des Tautologiesatzes: Teil (i) Annahme: AL ϕ. Zu zeigen: ϕ Ersetze die PL-Formel ϕ durch eine al. gleichwertige AL-Formel ϕ AL durch Ersetzen der (verschiedenen) elementaren Teilformeln von ϕ durch (verschiedene) Aussagenvariablen. Aus AL ϕ folgt dann, dass die AL-Formel ϕ AL allgemeingültig (im Sinne von AL) ist. Mit dem Vollständigkeitssatz der Aussagenlogik folgt SAL ϕ AL. D.h. es gibt einen Beweis ψ 1,..., ψ n von ϕ AL im Kalkül S AL der Aussagenlogik. Ersetzt man die in diesen Formeln die vorkommenden Aussagenvariablen durch elementare Formeln, wobei die im ersten Schritt vorgenommenen Ersetzungen (elementare Formel Aussagenvariable) rückgängig gemacht werden, so erhält man so einen Beweis ψ1 PL,..., ψpl n von ϕ (ϕ AL ) PL im Kalkül S PL, da - modulo dieser Ersetzungen - alle Axiome und Regeln von S AL auch Regeln von S PL sind. Also: SPL ϕ d.h. ϕ. Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 18 / 45
19 Beweisidee des Tautologiesatzes: Teil (ii) Unter Verwendung des ersten Teiles des Satzes (i) AL ϕ ϕ zeigen wir (ii) ϕ 1,..., ϕ n AL ϕ ϕ 1,..., ϕ n ϕ Man zeigt zunächst wie in der AL, dass der Modus Ponens (MP) eine zulässige Regel ist. Dann kann man wie folgt argumentieren: ϕ 1,..., ϕ n AL ϕ AL ϕ 1 ϕ 2 ϕ n ϕ ϕ 1 ϕ 2 ϕ n ϕ (mit (i)) ϕ 1 ϕ 2 ϕ n ϕ (mit (MP))... ϕ 1,..., ϕ n ϕ (mit (MP)) Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 19 / 45
20 Zulässigkeit aussagenlogischer Schlüsse: Zusammenfassung Aus dem Tautologiesatz ergibt sich die Zulässigkeit von in S PL. Aussagenlogische Schlüsse (AL) ψ 1,..., ψ n AL ϕ (n 0) ψ 1,..., ψ n ϕ Für n = 0 ist hierbei (AL) das Axiom (AL) ϕ falls AL ϕ Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 20 / 45
21 Zulässige Regeln 1 Aussagenlogische Schlüsse 2 Generalisierung und Distribution 3 Ersetzung und Umbenennung 4 Substitution 5 Gleichheit Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 21 / 45
22 -Einführungsregel (Hintere Generalisierung) -Einführungsregel (Hintere Generalisierung): ( 1) ϕ ψ ϕ x ψ falls x FV (ϕ) (VB) NACHWEIS DER ZULÄSSIGKEIT: 1. ϕ ψ Voraussetzung 2. ψ ϕ AL: 1 3. x ψ ϕ 1: 2 (VB erfüllt: x FV ( ϕ)) 4. ϕ x ψ AL: 3 ϕ xψ Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 22 / 45
23 Generalisierungsregel Generalisierung: ( 2) ϕ x ϕ NACHWEIS DER ZULÄSSIGKEIT: 1. ϕ Voraussetzung 2. xϕ ϕ AL: 1 3. xϕ xϕ 1: 2 (VB erfüllt: x FV ( xϕ)) 4. xϕ AL: 3 Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 23 / 45
24 Distributionsregeln (D ) ϕ ψ x ϕ x ψ (D ) ϕ ψ x ϕ x ψ NACHWEIS DER ZULÄSSIGKEIT VON D (D analog): 1. ϕ ψ Voraussetzung 2. ψ xψ S1 (NB: ψ ψ[x/x] und x ist für x substituierbar) 3. ϕ xψ AL: 1,2 4. xϕ xψ 1: 4 (NB: VB erfüllt, da x nicht frei in xψ) Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 24 / 45
25 Zulässige Regeln 1 Aussagenlogische Schlüsse 2 Generalisierung und Distribution 3 Ersetzung und Umbenennung 4 Substitution 5 Gleichheit Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 25 / 45
26 Ersetzungsregel Ersetzungsregel (E) ψ 1 ψ 1... ψ n ψ n ϕ ϕ falls ϕ aus ϕ durch Ersetzen einzelner (von keinen bis allen) Vorkommen der Teilformeln ψ i durch ψ i entsteht (wobei die ersetzten Teilformeln nicht ineinander liegen). NACHWEIS DER ZULÄSSIGKEIT: Man zeigt dies durch Induktion nach dem Aufbau von ϕ. Wir geben im Folgenden 2 Fälle (ϕ Disjunktions- bzw. Existenzformel) und lassen die anderen beiden Fälle (ϕ atomar oder Negationsformel) als Übung. Sei hierbei Ψ := {ψ 1 ψ 1,..., ψ n ψ n}. Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 26 / 45
27 Ersetzungsregel: Nachweis der Zulässigkeit (1) Fall: ϕ ϕ 1 ϕ 2 Dann muss ϕ eine der folgenden Gestalten haben: 1 ϕ ϕ Dann ist ϕ ϕ ϕ ϕ eine Tautologie, also nach (AL) beweisbar. 2 ϕ ψ i wobei ϕ ψ i Dann ist ϕ ϕ ψ i ψ i Ψ, also trivialerweise aus Ψ beweisbar. 3 ϕ ϕ 1 ϕ 2, wobei nach I.V. ϕ 1 ϕ 1 und ϕ 2 ϕ 2 aus Ψ beweisbar sind Dann gilt ϕ 1 ϕ 1, ϕ 2 ϕ 2 AL ϕ ϕ. Es folgt daher Ψ ϕ ϕ mit (AL) aus der I.V. Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 27 / 45
28 Ersetzungsregel: Nachweis der Zulässigkeit (2) Fall: ϕ x ˆϕ Dann muss ϕ eine der folgenden Gestalten haben: 1 ϕ ϕ Siehe den entsprechenden Fall für ϕ ϕ 1 ϕ 2. 2 ϕ ψ i wobei ϕ ψ i Siehe den entsprechenden Fall für ϕ ϕ 1 ϕ 2. 3 ϕ x ˆϕ, wobei nach I.V. ˆϕ ˆϕ aus Ψ beweisbar ist Dann gilt ϕ ϕ x ˆϕ x ˆϕ. Die Behauptung folgt also aus der I.V. mit der Distributionsregel (D ). Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 28 / 45
29 Substitutionsregel: Spezialfall Spezialfall der Substitutionsregel: (S2 spez ) ϕ ϕ[t/x] falls t substituierbar (SB) NACHWEIS DER ZULÄSSIGKEIT: 1. ϕ Voraussetzung 2. xϕ ( x ϕ) 1: 1 3. ϕ[t/x] x ϕ S1 (SB nach Annahme erfüllt) 4. x ϕ ϕ[t/x] AL: 3 (NB: ( ϕ)[t/x] (ϕ[t/x])) 5. ϕ[t/x] AL: 2,4 Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 29 / 45
30 Umbenennung gebundener Variablen: 1. Spezialfall 1. Spezialfall der Umbenennungsregel für gebundene Variablen: (U spez) xϕ yϕ[y/x] falls y V (ϕ) und x GV (ϕ) NACHWEIS DER ZULÄSSIGKEIT: Wir benutzen, dass wegen y V (ϕ) gilt: ( ) (ϕ[y/x])[x/y] ϕ Hiermit erhält man: 1. ϕ[y/x] xϕ S1 (SB erfüllt, da y V (ϕ)) 2. yϕ[y/x] xϕ 1: 1 (VB erfüllt, da y V (ϕ) also y FV ( xϕ)) 3. (ϕ[y/x])[x/y] yϕ[y/x] S1 (SB erfüllt, da ϕ yϕ[y/x] (s. ( )) x GV (ϕ) = GV (ϕ[y/x])) 4. xϕ yϕ[y/x] 1: 3 (VB erfüllt: x FV ( yϕ[y/x])) 5. xϕ yϕ[y/x] AL: 2,4 Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 30 / 45
31 Umbenennung gebundener Variablen: 2. Spezialfall In (U spez) xϕ yϕ[y/x] falls y V (ϕ) und x GV (ϕ) ist die Forderung y V (ϕ) notwendig: BEISPIEL: Für ϕ y(y x) ist die Formel xϕ yϕ[y/x] x y(y x) y y(y y) nicht allgemeingültig, da die Seite links von in Strukturen mit mindestens zwei Individuen gilt, die Seite rechts von dagegen unerfüllbar ist. Auf die Forderung x GV (ϕ) in (U spez) kann dagegen verzichtet werden: 2. Spezialfall der Umbenennungsregel für gebundene Variablen: (U spez ) xϕ yϕ[y/x] falls y V (ϕ) Die Zulässigkeit von (U spez ) zeigt man durch Induktion nach der Länge von ϕ. Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 31 / 45
32 Umben. geb. Variablen: Zulässigkeit von (U spez ) Nachweis der Zulässigkeit von (U spez ) xϕ yϕ[y/x] falls y V (ϕ) durch Induktion nach der Länge von ϕ. Es genügt die beiden folgenden Fälle zu betrachten: 1 x GV (ϕ). Dann gilt U spez wegen U spez. 2 x GV (ϕ). Dann enthält ϕ (eventuell ineinander geschachtelte) Teilformeln xψ i. Für neue Variablen z i y ist dann nach I.V. xψ i z i ψ i [z i /x] beweisbar. Durch (eventuell iteriertes) Anwenden der Ersetzungsregel folgt, dass es eine Formel ϕ gibt mit ( ) ϕ ϕ und y V (ϕ) V (ϕ ) & x GV (ϕ ) Hiermit zeigt man U spez durch Rückgriff auf U spez wie folgt. Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 32 / 45
33 Umben. geb. Variablen: Zulässigkeit von (U spez ) (Forts.) ANNAHME ( ): ϕ ϕ und y V (ϕ) V (ϕ ) & x GV (ϕ ) ZU ZEIGEN: xϕ yϕ[y/x] 1. ϕ ϕ Annahme 2. xϕ xϕ AL, D : 1 3. (ϕ ϕ )[y/x] S2 spez : 1 SB: y V (ϕ) V (ϕ ) ϕ[y/x] ϕ [y/x] = V (ϕ ϕ ) 4. yϕ[y/x] yϕ [y/x] AL, D : 3 5. xϕ yϕ [y/x] U spez y V (ϕ ) & x GV (ϕ )! 6. xϕ yϕ[y/x] AL: 2, 5, 4 Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 33 / 45
34 Umbenennung geb. Variablen: allgemeiner Fall Umbenennung gebundener Variablen: (U) ϕ ϕ falls ϕ aus ϕ durch Umbenennung gebundener Variablen ensteht. Hierbei darf bei Ersetzung einer Teilformel xψ durch yψ[y/x] die Variable y nicht in ψ vorkommen. NACHWEIS DER ZULÄSSIGKEIT: Man zeigt dies durch Induktion nach dem Formelaufbau von ϕ mit Hilfe von U spez unter Verwendung aussagenlogischer Schlüsse und der Distributionsregeln: Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 34 / 45
35 Umben. geb. Variablen - allgemeiner Fall: Zulässigkeit 1 ϕ atomar. Dann gilt ϕ ϕ, weshalb ϕ ϕ eine Tautologie ist. 2 ϕ ψ. Dann gilt ϕ ψ, wobei ψ ψ nach I.V. beweisbar ist. Es folgt dann aber ϕ ϕ ( ψ ψ ) mit AL. 3 ϕ ϕ 1 ϕ 2. Dann gilt ϕ ϕ 1 ϕ 2, wobei ϕ 1 ϕ 1 und ϕ 2 ϕ 2 nach I.V. beweisbar sind. Die Behauptung folgt hieraus wiederum mit AL. 4 ϕ xψ. Dann muss einer der beiden folgenden Unterfälle vorliegen: 1 ϕ xψ. Dann ist ψ ψ nach I.V. beweisbar. Mit AL und D folgt die Behauptung. 2 ϕ yψ [y/x], wobei y V (ψ ). Dann gilt: 1. ψ ψ I.V. 2. xψ xψ AL, D : 1 3. xψ yψ [y/x] U spez ; NB: y V (ψ ) 4. xψ yψ [y/x] ( ϕ ϕ ) AL: 2,3 Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 35 / 45
36 Zulässige Regeln 1 Aussagenlogische Schlüsse 2 Generalisierung und Distribution 3 Ersetzung und Umbenennung 4 Substitution 5 Gleichheit Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 36 / 45
37 Substitutionsregel: Spezialfall Erinnerung: Spezialfall der Substitutionsregel: (S2 spez ) ϕ ϕ[t/x] falls t substituierbar (SB) Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 37 / 45
38 Substitutionsregel: allgemeiner Fall Substitutionsregel: (S2) ϕ ϕ[t 1 /x 1,..., t n /x n ] falls t i für x i substituierbar in ϕ (SB) Hierbei bezeichnet ϕ[t 1 /x 1,..., t n /x n ] die simultane Substitution von t i für x i in ϕ (i = 1,..., n). NACHWEIS DER ZULÄSSIGKEIT: Die Idee ist die simultane Substitution durch eine sequentielle Substitution - d.h. durch eine Folge einfacher Substitutionen - zu beschreiben und so (S2) auf (S2 spez ) zurückzuführen. Hierzu wählen wir n neue Variablen, d.h. Variablen y 1,..., y n {x 1,..., x n } V (ϕ) V (t 1 ) V (t n ). Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 38 / 45
39 Substitutionsregel: Forts. d. Nachweis der Zulässigkeit Für gilt dann ˆϕ : ϕ[y 1 /x 1,..., y n /x n ] (... ((ϕ[y 1 /x 1 ])[y 2 /x 2 ])... )[y n /x n ] ϕ[t 1 /x 1,..., t n /x n ] ˆϕ[t 1 /y 1,..., t n /y n ] (... (( ˆϕ[t 1 /y 1 ])[t 2 /y 2 ])... )[t n /y n ]. Hiermit ergibt sich: 1. ϕ Voraussetzung 2. ϕ[y 1 /x 1 ] S2 spez : 1 3. (ϕ[y 1 /x 1 ])[y 2 /x 2 ] S2 spez : 2... n + 1. ˆϕ S2 spez : n n + 2. ˆϕ[t 1 /y 1 ] S2 spez : n n + 2. (... ( ˆϕ[t 1 /y 1 ])... )[t n /y n ] S2 spez : 2n + 1 ϕ[t 1 /x 1,..., t n /x n ] (s.o.) Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 39 / 45
40 Substitutionssatz: zulässige Substitutionsaxiome (S2 ) ϕ[t 1 /x 1,..., t n /x n ] x 1... x n ϕ (falls SB erfüllt) (S2 ) x 1... x n ϕ ϕ[t 1 /x 1,..., t n /x n ] (falls SB erfüllt) NACHWEIS DER ZULÄSSIGKEIT VON S2 : Seien y 1,..., y n neue Variablen, die in ϕ, t 1,..., t n und {x 1,..., x n } nicht vorkommen. 1. ϕ x nϕ S1... n. x 2... x nϕ x 1 x 2... x nϕ S1 n + 1. ϕ x 1 x 2... x nϕ AL: 1,..., n n + 2. x 1 x 2... x nϕ y 1 y 2... y nϕ[y 1 /x 1,..., y n/x n] U, da y 1,..., y n V (ϕ) n + 3. ϕ y 1 y 2... y nϕ[y 1 /x 1,..., y n/x n] AL: n + 1, n + 2 n + 4. (ϕ y 1 y 2... y nϕ[y 1 /x 1,..., y n/x n])[t 1 /x 1,..., t n/x n] S2: n + 3 ϕ[t 1 /x 1,..., t n/x n] y 1... y n ϕ[y 1 /x 1,..., y n/x n] n + 5. ϕ[t 1 /x 1,..., t n/x n] x 1... x n ϕ AL: n + 2, n + 4 Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 40 / 45
41 NACHWEIS DER ZULÄSSIGKEIT VON S2 : 1. ϕ[t 1 /x 1,..., t n /x n ] x 1... x n ϕ S2 2. x 1... x n ϕ ϕ[t 1 /x 1,..., t n /x n ] AL: 1 Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 41 / 45
42 Allabschluss ( 3 1 ) ϕ ϕ ( 3 2 ) ϕ ϕ NACHWEIS DER ZULÄSSIGKEIT VON ( 3 1 ) und ( 3 2 ): Sei FV (ϕ) = {x 1,..., x n } und ϕ x 1... x n ϕ. ( 3 1 ) : 1. ϕ Voraussetzung 2. x n ϕ 2: 1... n. x 1... x n ϕ ( ϕ) 2: n ( 3 2 ) : 1. ( ϕ ) x 1... x n ϕ Voraussetzung 2. x 1... x n ϕ ϕ[x 1 /x 1,..., x n /x n ] S2 3. ϕ[x 1 /x 1,..., x n /x n ] ( ϕ) AL: 1,2 Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 42 / 45
43 Zulässige Regeln 1 Aussagenlogische Schlüsse 2 Generalisierung und Distribution 3 Ersetzung und Umbenennung 4 Substitution 5 Gleichheit Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 43 / 45
44 Weitere Gleichheitsaxiome: Symmetrie (G5) s = t t = s NACHWEIS DER ZULÄSSIGKEIT: 1. x = x G1 2. x = y x = x x = x y = x G4 3. x = y y = x AL: 1,2 4. s = t t = s S2: 3 (SB trivialerweise erfüllt) ( (x = y y = x)[s/x, t/y]) Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 44 / 45
45 Weitere Gleichheitsaxiome: Ununterscheidbarkeit (G6) t 1 = t 1... t n = t n s = s falls s aus s durch Ersetzen einiger (oder auch aller) Vorkommen der Terme t i durch die entsprechenden Terme t i entsteht. (G7) t 1 = t 1... t n = t n (ϕ[t 1 /x 1,..., t n /x n ] ϕ[t 1/x 1,..., t n/x n ]) falls die Terme t i und t i für x i in ϕ substituierbar sind. NACHWEIS DER ZULÄSSIGKEIT: Man zeigt dies durch Induktion nach dem Aufbau des Terms s (G6) bzw. der Formel ϕ (G7). Wir verzichten auf die einfachen Beweise (Übung!). Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 45 / 45
Kapitel 1.5. Ein adäquater Kalkül der Aussagenlogik. Teil 1: Kalküle und Beweisbarkeit und die Korrektheit des Shoenfield-Kalküls
Kapitel 1.5 Ein adäquater Kalkül der Aussagenlogik Teil 1: Kalküle und Beweisbarkeit und die Korrektheit des Shoenfield-Kalküls Mathematische Logik (WS 2012/13) Kapitel 1.5: Kalküle 1/30 Syntaktischer
MehrKapitel 1.3. Normalformen aussagenlogischer Formeln und die Darstellbarkeit Boolescher Funktionen durch aussagenlogische Formeln
Kapitel 1.3 Normalformen aussagenlogischer Formeln und die Darstellbarkeit Boolescher Funktionen durch aussagenlogische Formeln Mathematische Logik (WS 2011/12) Kapitel 1.3: Normalformen 1/ 29 Übersicht
MehrKlausur zur Vorlesung Mathematische Logik
Universität Heidelberg 13. Februar 2014 Institut für Informatik Prof. Dr. Klaus Ambos-Spies Dipl.-Math. Thorsten Kräling Klausur zur Vorlesung Mathematische Logik Musterlösung Aufgabe 1 (Aussagenlogik
MehrKapitel 2. Die Prädikatenlogik (erster Stufe) Mathematische Strukturen und formale Sprachen
Kapitel 2 Die Prädikatenlogik (erster Stufe) Mathematische Strukturen und formale Sprachen Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 1/81 Übersicht 2.0 Vorbemerkungen 2.1 Mathematische
MehrAussagenlogik zu wenig ausdrucksstark für die meisten Anwendungen. notwendig: Existenz- und Allaussagen
Prädikatenlogik 1. Stufe (kurz: PL1) Aussagenlogik zu wenig ausdrucksstark für die meisten Anwendungen notwendig: Existenz- und Allaussagen Beispiel: 54 Syntax der Prädikatenlogik erster Stufe (in der
MehrKapitel 1.3. Normalformen aussagenlogischer Formeln. Mathematische Logik (WS 2010/11) Kapitel 1.3: Normalformen 1 / 1
Kapitel 1.3 Normalformen aussagenlogischer Formeln Mathematische Logik (WS 2010/11) Kapitel 1.3: Normalformen 1 / 1 Boolesche Formeln, Literale und Klauseln Eine Boolesche Formel ist eine aussagenlogische
MehrHilbert-Kalkül (Einführung)
Hilbert-Kalkül (Einführung) Es gibt viele verschiedene Kalküle, mit denen sich durch syntaktische Umformungen zeigen läßt, ob eine Formel gültig bzw. unerfüllbar ist. Zwei Gruppen von Kalkülen: Kalküle
MehrKapitel 1.0. Aussagenlogik: Einführung. Mathematische Logik (WS 2011/12) Kapitel 1.0: Aussagenlogik: Einführung 1/ 1
Kapitel 1.0 Aussagenlogik: Einführung Mathematische Logik (WS 2011/12) Kapitel 1.0: Aussagenlogik: Einführung 1/ 1 Ziele der Aussagenlogik In der Aussagenlogik analysiert man die Wahrheitswerte zusammengesetzter
MehrBeispiel Aussagenlogik nach Schöning: Logik...
Beispiel Aussagenlogik nach Schöning: Logik... Worin besteht das Geheimnis Ihres langen Lebens? wurde ein 100-jähriger gefragt. Ich halte mich streng an die Diätregeln: Wenn ich kein Bier zu einer Mahlzeit
Mehr3.1.1 Die Variante T1 und ein Entscheidungsverfahren für die Aussagenlogik
Deduktionssysteme der Aussagenlogik, Kap. 3: Tableaukalküle 38 3 Tableaukalküle 3.1 Klassische Aussagenlogik 3.1.1 Die Variante T1 und ein Entscheidungsverfahren für die Aussagenlogik Ein zweites Entscheidungsverfahren
MehrFormale Methoden 2. Gaetano Geck Lehrstuhl I Logik in der Informatik WS 2014/2015
Formale Methoden 2 Gaetano Geck Lehrstuhl I Logik in der Informatik WS 2014/2015 Teil 3: Logik 1 Aussagenlogik Einleitung Eigenschaften Äquivalenz Folgerung Normalformen 2 Prädikatenlogik Wenn eine Karte
MehrKapitel L:II. II. Aussagenlogik
Kapitel L:II II. Aussagenlogik Syntax der Aussagenlogik Semantik der Aussagenlogik Eigenschaften des Folgerungsbegriffs Äquivalenz Formeltransformation Normalformen Bedeutung der Folgerung Erfüllbarkeitsalgorithmen
MehrVorsemesterkurs Informatik
Vorsemesterkurs Informatik Vorsemesterkurs Informatik Mario Holldack WS2015/16 30. September 2015 Vorsemesterkurs Informatik 1 Einleitung 2 Aussagenlogik 3 Mengen Vorsemesterkurs Informatik > Einleitung
MehrLogik für Informatiker
Logik für Informatiker 2. Aussagenlogik Teil 3 30.04.2012 Viorica Sofronie-Stokkermans Universität Koblenz-Landau e-mail: sofronie@uni-koblenz.de 1 Letztes Mal Aussagenlogik Syntax: welche Formeln? Semantik:
MehrMathem.Grundlagen der Computerlinguistik I, WS 2004/05, H. Leiß 1
Mathem.Grundlagen der Computerlinguistik I, WS 2004/05, H. Leiß 1 1 Vorbemerkungen Mathematische Begriffe und Argumentationsweisen sind in vielen Fällen nötig, wo man über abstrakte Objekte sprechen und
MehrWeitere Beweistechniken und aussagenlogische Modellierung
Weitere Beweistechniken und aussagenlogische Modellierung Vorlesung Logik in der Informatik, HU Berlin 2. Übungsstunde Aussagenlogische Modellierung Die Mensa versucht ständig, ihr Angebot an die Wünsche
MehrDer Sequenzenkalkül. Charakterisierung der logischen Schlussfolgerung: Sequenzenkalkül für die Prädikatenlogik
Theoretische Informatik: Logik, M. Lange, FB16, Uni Kassel: 4.6 Prädikatenlogik ohne Gleichheit Der Sequenzenkalkül 138 Der Sequenzenkalkül Charakterisierung der logischen Schlussfolgerung: Sequenzenkalkül
MehrSchlussregeln aus anderen Kalkülen
Was bisher geschah Klassische Aussagenlogik: Syntax Semantik semantische Äquivalenz und Folgern syntaktisches Ableiten (Resolution) Modellierung in Aussagenlogik: Wissensrepräsentation, Schaltungslogik,
MehrKapitel 2. Die Prädikentenlogik (erster Stufe)
Kapitel 2 Die Prädikentenlogik (erster Stufe) Mathematische Strukturen und formale Sprachen Mathematische Logik (WS 2010/11) Prädikatenlogik 1. Stufe 1 / 43 Übersicht Vorbemerkungen Mathematische Strukturen
MehrErsetzbarkeitstheorem
Ersetzbarkeitstheorem Die Abgeschlossenheit läßt sich auch folgendermaßen formulieren: Ersetzbarkeitstheorem Seien F und G Formeln mit F G. SeienH und H Formeln, so daß H aus H hervorgeht, indem ein Vorkommen
MehrSS April Übungen zur Vorlesung Logik Blatt 1. Prof. Dr. Klaus Madlener Abgabe bis 27. April :00h
SS 2011 20. April 2011 Übungen zur Vorlesung Logik Blatt 1 Prof. Dr. Klaus Madlener Abgabe bis 27. April 2011 10:00h 1. Aufgabe: [strukturelle Induktion, Übung] Zeigen Sie mit struktureller Induktion über
MehrLogik für Informatiker
Logik für Informatiker 2. Aussagenlogik Teil 6 14.05.2012 Viorica Sofronie-Stokkermans Universität Koblenz-Landau e-mail: sofronie@uni-koblenz.de 1 Bis jetzt Syntax der Aussagenlogik: Definition der Menge
MehrZusammenfassung Kapitel 3: Theorien und Modellklassen: Ausdrucksstärke und -schwäche von PL1
Zusammenfassung Kapitel 3: Theorien und Modellklassen: Ausdrucksstärke und -schwäche von PL1 1 Theorien und Modellklassen 1.1 Theorien Definition 1.1 (Theorien) Eine (L-)Theorie T ist ein Paar T = (L,
MehrAufgabe - Fortsetzung
Aufgabe - Fortsetzung NF: Nicht-Formel F: Formel A: Aussage x :( y : Q(x, y) R(x, y)) z :(Q(z, x) R(y, z)) y :(R(x, y) Q(x, z)) x :( P(x) P(f (a))) P(x) x : P(x) x y :((P(y) Q(x, y)) P(x)) x x : Q(x, x)
MehrResolutionsalgorithmus
112 Resolutionskalkül Mit dem Begriff Kalkül bezeichnet man eine Menge von syntaktischen Umformungsregeln, mit denen man semantische Eigenschaften der Eingabeformel herleiten kann. Für den Resolutionskalkül:
MehrEntscheidungsverfahren für Bernays/Schönfinkelbzw. Datenlogik-Formeln
Vorlesung Letz WS 2002/2003 TU München: Logikbasierte Entscheidungsverfahren Entscheidungsverfahren für Bernays/Schönfinkelbzw. Datenlogik-Formeln INHALTE Die Bernays-Schönfinkel-Klasse bzw. Datenlogik-Formeln
MehrGrundlagen der Theoretischen Informatik
FH Wedel Prof. Dr. Sebastian Iwanowski GTI22 Folie 1 Grundlagen der Theoretischen Informatik Sebastian Iwanowski FH Wedel Kap. 2: Logik, Teil 2.2: Prädikatenlogik FH Wedel Prof. Dr. Sebastian Iwanowski
MehrMathematische Logik. Grundlagen, Aussagenlogik, Semantische Äquivalenz. Felix Hensel. February 21, 2012
Mathematische Logik Grundlagen, Aussagenlogik, Semantische Äquivalenz Felix Hensel February 21, 2012 Dies ist im Wesentlichen eine Zusammenfassung der Abschnitte 1.1-1.3 aus Wolfgang Rautenberg s Buch
Mehr3. Grundlegende Begriffe von Logiken - Aussagenlogik
3. Grundlegende Begriffe von Logiken - Aussagenlogik Wichtige Konzepte und Begriffe in Logiken: Syntax (Signatur, Term, Formel,... ): Festlegung, welche syntaktischen Gebilde als Formeln (Aussagen, Sätze,
MehrSE PHILOSOPHISCHE LOGIK WS 2014 GÜNTHER EDER
SE PHILOSOPHISCHE LOGIK WS 2014 GÜNTHER EDER FORMALE SPRACHEN Wie jede natürliche Sprache, hat auch auch jede formale Sprache Syntax/Grammatik Semantik GRAMMATIK / SYNTAX Die Grammatik / Syntax einer formalen
MehrMotivation. Formale Grundlagen der Informatik 1 Kapitel 19. Syntax & Semantik. Motivation - Beispiel. Motivation - Beispiel
Motivation Formale Grundlagen der Informatik 1 Kapitel 19 & Die ist eine Erweiterung der Aussagenlogik. Sie hat eine größere Ausdrucksstärke und erlaub eine feinere Differenzierung. Ferner sind Beziehungen/Relationen
MehrFormeln. Signatur. aussagenlogische Formeln: Aussagenlogische Signatur
Signatur Formeln Am Beispiel der Aussagenlogik erklären wir schrittweise wichtige Elemente eines logischen Systems. Zunächst benötigt ein logisches System ein Vokabular, d.h. eine Menge von Namen, die
MehrI. Aussagenlogik. Aussagenlogik untersucht Verknüpfungen wie "und", "oder", "nicht", "wenn... dann" zwischen atomaren und komplexen Sätzen.
I. Aussagenlogik 2.1 Syntax Aussagenlogik untersucht Verknüpfungen wie "und", "oder", "nicht", "wenn... dann" zwischen atomaren und komplexen Sätzen. Sätze selbst sind entweder wahr oder falsch. Ansonsten
MehrPrädikatenlogik. Kapitel Die prädikatenlogische Sprache
Kapitel 3 Prädikatenlogik Die Prädikaten (oder auch Quantorenlogik) stellt ebenfalls eine Erweiterung der Aussagenlogik dar Zum einen gibt es hierin die Möglichkeit, die innere Struktur von Aussagen näher
MehrLogik für Informatiker
Vorlesung Logik für Informatiker 1. Einführung Bernhard Beckert Universität Koblenz-Landau Sommersemester 2006 Logik für Informatiker, SS 06 p.1 Formale Logik Ziel Formalisierung und Automatisierung rationalen
MehrSemantik von Formeln und Sequenzen
Semantik von Formeln und Sequenzen 33 Grundidee der Verwendung von Logik im Software Entwurf Syntax: Menge von Formeln = Axiome Ax K ist beweisbar Formel ϕ beschreiben Korrektkeit Vollständigkeit beschreibt
MehrSyntax der Aussagenlogik. Vorlesung Logik Sommersemester 2012 Universität Duisburg-Essen. Formel als Syntaxbaum. Teilformel A 3 A 1 A 4
Syntax der Vorlesung Logik Sommersemester 2012 Universität Duisburg-Essen Barbara König Übungsleitung: Christoph Blume Eine atomare Formel hat die Form A i (wobei i = 1, 2, 3,...). Definition (Formel)
MehrDie Folgerungsbeziehung
Kapitel 2: Aussagenlogik Abschnitt 2.1: Syntax und Semantik Die Folgerungsbeziehung Definition 2.15 Eine Formel ψ AL folgt aus einer Formelmenge Φ AL (wir schreiben: Φ = ψ), wenn für jede Interpretation
MehrAussagen- und Prädikatenlogik
Universität Bielefeld Formale Methoden der Linguistik Prof. Dr. Walther Kindt, Mirco Hilbert Fakultät für Linguistik und Literaturwissenschaft Kurz-Zusammenstellung Aussagen- und Prädikatenlogik Mirco
Mehr3 Vom Zählen zur Induktion
7 3 Vom Zählen zur Induktion 3.1 Natürliche Zahlen und Induktions-Prinzip Seit unserer Kindheit kennen wir die Zahlen 1,, 3, 4, usw. Diese Zahlen gebrauchen wir zum Zählen, und sie sind uns so vertraut,
MehrFrage 8.3. Wozu dienen Beweise im Rahmen einer mathematischen (Lehramts-)Ausbildung?
8 Grundsätzliches zu Beweisen Frage 8.3. Wozu dienen Beweise im Rahmen einer mathematischen (Lehramts-)Ausbildung? ˆ Mathematik besteht nicht (nur) aus dem Anwenden auswendig gelernter Schemata. Stattdessen
MehrTheorie der Informatik. Theorie der Informatik. 6.1 Einführung. 6.2 Alphabete und formale Sprachen. 6.3 Grammatiken. 6.4 Chomsky-Hierarchie
Theorie der Informatik 17. März 2014 6. Formale Sprachen und Grammatiken Theorie der Informatik 6. Formale Sprachen und Grammatiken Malte Helmert Gabriele Röger Universität Basel 17. März 2014 6.1 Einführung
MehrZusammenfassung der Vorlesung. Mathematische Logik. Bodo von der Heiden Letzte Aktualisierung: 2. Februar 2005
Zusammenfassung der Vorlesung Mathematische Logik Bodo von der Heiden Letzte Aktualisierung: 2. Februar 2005 Zeitraum der Vorlesung: WS 2004/2005 Professor: Prof. Grädel Diese Zusammenfassung erhebt keinen
MehrBoolesche Algebra. Hans Joachim Oberle. Vorlesung an der TUHH im Wintersemester 2006/07 Montags, 9:45-11:15 Uhr, 14täglich TUHH, DE 22, Audimax 2
Universität Hamburg Department Mathematik Boolesche Algebra Hans Joachim Oberle Vorlesung an der TUHH im Wintersemester 2006/07 Montags, 9:45-11:15 Uhr, 14täglich TUHH, DE 22, Audimax 2 http://www.math.uni-hamburg.de/home/oberle/vorlesungen.html
MehrZusammenfassung des Stoffes zur Vorlesung Formale Systeme
Zusammenfassung des Stoffes zur Vorlesung Formale Systeme Max Kramer 13. Februar 2009 Diese Zusammenfassung entstand als persönliche Vorbereitung auf die Klausur zur Vorlesung Formale Systeme von Prof.
MehrNormalformen boolescher Funktionen
Normalformen boolescher Funktionen Jeder boolesche Ausdruck kann durch (äquivalente) Umformungen in gewisse Normalformen gebracht werden! Disjunktive Normalform (DNF) und Vollkonjunktion: Eine Vollkonjunktion
Mehr3 Prädikatenlogik der 1. Stufe (PL1) Teil I
3 Prädikatenlogik der 1. Stufe (PL1) Teil I 3.3 Quantoren [ Gamut 70-74 McCawley 23-44 Chierchia 113-117 ]? Sind folgende Sätze jeweils synonym? (1) (a) Hans ist verheiratet oder nicht verheiratet. (b)
MehrLogic in a Nutshell. Christian Liguda
Logic in a Nutshell Christian Liguda Quelle: Kastens, Uwe und Büning, Hans K., Modellierung: Grundlagen und formale Methoden, 2009, Carl Hanser Verlag Übersicht Logik - Allgemein Aussagenlogik Modellierung
Mehr3.2 Prädikatenlogik. WS 06/07 mod 321
3.2 Prädikatenlogik WS 06/07 mod 321 Prädikatenlogik umfasst Aussagenlogik mit atomaren Aussagen, Variablen, Junktoren. Zusätzliche Konzepte: A = (τ, Σ) sei die so genannte Termalgebra (mit Variablen,
MehrFormale Systeme. Aussagenlogik: Sequenzenkalkül. Prof. Dr. Bernhard Beckert WS 2010/2011 KIT INSTITUT FÜR THEORETISCHE INFORMATIK
Formale Systeme Prof. Dr. Bernhard Beckert WS 2010/2011 KIT INSTITUT FÜR THEORETISCHE INFORMATIK KIT University of the State of Baden-Württemberg and National Large-scale Research Center of the Helmholtz
MehrFormalisierung von Sudoku Formalisieren Sie das Sudoku-Problem:
Formalisierung von Sudoku Formalisieren Sie das Sudoku-Problem: 4 4 4 4 4 1 1 1 1 2 2 3 3 5 5 5 5 5 5 6 6 6 7 7 8 8 9 9 9 9 9 8 6 Verwenden Sie dazu eine atomare Formel A[n, x, y] für jedes Tripel (n,
MehrAussagenlogik 51. Aussagenlogik. Syntax Semantik Formeln, Modelle, Tautologien und Anwendungen Bernd Baumgarten
Aussagenlogik 51 Aussagenlogik Syntax Semantik Formeln, Modelle, Tautologien und Anwendungen Aussagenlogik 52 Modelle und Gegenbeispiele Eine für eine Formel ϕ ausreichende Belegung bel ist Modell von
Mehr24 KAPITEL 2. REELLE UND KOMPLEXE ZAHLEN
24 KAPITEL 2. REELLE UND KOMPLEXE ZAHLEN x 2 = 0+x 2 = ( a+a)+x 2 = a+(a+x 2 ) = a+(a+x 1 ) = ( a+a)+x 1 = x 1. Daraus folgt dann, wegen x 1 = x 2 die Eindeutigkeit. Im zweiten Fall kann man für a 0 schreiben
MehrMathematische Logik (Stand: Okt 08)
I 1 Sprachaufbau und Induktion In diesem Abschnitt wird die formale Sprache der (AL) eingeführt. Zudem werden einige zentrale Konzepte der Logik, wie etwa induktive Definitionen, behandelt. Vorbemerkung
Mehr1 Prädikatenlogik: Korrektheit, Vollständigkeit, Entscheidbarkeit
1 Prädikatenlogik: Korrektheit, Vollständigkeit, Entscheidbarkeit 1.1 Korrektheit Mit dem Kalkül der Prädikatenlogik, z.b. dem Resolutionskalkül, können wir allgemeingültige Sätze beweisen. Diese Sätze
Mehr3. Prädikatenlogik. Im Sinne der Aussagenlogik sind das verschiedene Sätze, repräsentiert etwa durch A, B, C. Natürlich gilt nicht: A B = C
3. Prädikatenlogik 3.1 Motivation In der Aussagenlogik interessiert Struktur der Sätze nur, insofern sie durch "und", "oder", "wenn... dann", "nicht", "genau dann... wenn" entsteht. Für viele logische
MehrMathematik für Informatiker I
Mathematik für Informatiker I Mitschrift zur Vorlesung vom 19.10.2004 In diesem Kurs geht es um Mathematik und um Informatik. Es gibt sehr verschiedene Definitionen, aber für mich ist Mathematik die Wissenschaft
MehrLogik-Grundlagen. Syntax der Prädikatenlogik
Logik-Grundlagen X 1 :...: X k : ( A 1 A 2... A m B 1 B 2... B n ) Logische und funktionale Programmierung - Universität Potsdam - M. Thomas - Prädikatenlogik III.1 Syntax der Prädikatenlogik Prädikat:
MehrAussagenlogische Kalküle
Aussagenlogische Kalküle Ziel: mit Hilfe von schematischen Regeln sollen alle aus einer Formel logisch folgerbaren Formeln durch (prinzipiell syntaktische) Umformungen abgeleitet werden können. Derartige
MehrInduktive Beweise und rekursive Definitionen
Induktive Beweise und rekursive Definitionen Vorlesung Logik in der Informatik, HU Berlin 1. Übungsstunde Beweis durch vollständige Induktion über N Aufgabe 1 Zeige, dass für alle n N gilt: n 2 i = 2 n+1
MehrBrückenkurs Mathematik
Brückenkurs Mathematik 6.10. - 17.10. Vorlesung 1 Logik,, Doris Bohnet Universität Hamburg - Department Mathematik Mo 6.10.2008 Zeitplan Tagesablauf: 9:15-11:45 Vorlesung Audimax I 13:00-14:30 Übung Übungsräume
MehrDonnerstag, 11. Dezember 03 Satz 2.2 Der Name Unterraum ist gerechtfertigt, denn jeder Unterraum U von V ist bzgl.
Unterräume und Lineare Hülle 59 3. Unterräume und Lineare Hülle Definition.1 Eine Teilmenge U eines R-Vektorraums V heißt von V, wenn gilt: Unterraum (U 1) 0 U. (U ) U + U U, d.h. x, y U x + y U. (U )
MehrHandout zu Beweistechniken
Handout zu Beweistechniken erstellt vom Lernzentrum Informatik auf Basis von [Kre13],[Bün] Inhaltsverzeichnis 1 Was ist ein Beweis? 2 2 Was ist Vorraussetzung, was ist Behauptung? 2 3 Beweisarten 3 3.1
MehrMaße auf Produkträumen
Maße auf Produkträumen Es seien (, Ω 1 ) und (X 2, Ω 2 ) zwei Meßräume. Wir wollen uns zuerst überlegen, wie wir ausgehend davon eine geeignete σ-algebra auf X 2 definieren können. Wir betrachten die Menge
MehrInduktive Beweise und rekursive Definitionen
Induktive Beweise und rekursive Definitionen Vorlesung Logik in der Informatik, HU Berlin 1. Übungsstunde Beweis durch vollständige Induktion über N Aufgabe 1 Zeige, dass für alle n N gilt: n 2 i = 2 n+1
MehrMathematik-Vorkurs für Informatiker Aussagenlogik 1
Christian Eisentraut & Julia Krämer www.vorkurs-mathematik-informatik.de Mathematik-Vorkurs für Informatiker Aussagenlogik 1 Aufgabe 1. (Wiederholung wichtiger Begriffe) Kategorie 1 Notieren Sie die Definitionen
MehrLogische Folgerung. Definition 2.11
Logische Folgerung Definition 2.11 Sei 2A eine aussagenlogische Formel und F eine endliche Menge aussagenlogischer Formeln aus A. heißt logische Folgerung von F genau dann, wenn I ( ) =1für jedes Modell
MehrBrückenkurs Mathematik. Dienstag Freitag
Brückenkurs Mathematik Dienstag 29.09. - Freitag 9.10.2015 Vorlesung 2 Mengen, Zahlen, Logik Kai Rothe Technische Universität Hamburg-Harburg Mittwoch 30.09.2015 Mengen.................................
MehrTeil 7. Grundlagen Logik
Teil 7 Grundlagen Logik Was ist Logik? etymologische Herkunft: griechisch bedeutet Wort, Rede, Lehre (s.a. Faust I ) Logik als Argumentation: Alle Menschen sind sterblich. Sokrates ist ein Mensch. Also
MehrDeduktion in der Aussagenlogik
Deduktion in der Aussagenlogik (Erläuterungen zu Kapitel 6, Teil 2 des FGI-1 Skriptes) Frank Heitmann 1 Motivation Wenn man sich erstmal darauf eingelassen hat, dass man mit Formeln etwas sinnvolles machen
MehrAussagenlogische Widerlegungsverfahren zum Nachweis logischer Eigenschaften und Beziehungen
Einführung in die Logik - 4 Aussagenlogische Widerlegungsverfahren zum Nachweis logischer Eigenschaften und Beziehungen Widerlegungsverfahren zum Aufwärmen: Bestimmung von Tautologien mittels Quick Falsification
MehrDer Drei-Quadrate-Satz von Gauß
Der Drei-Quadrate-Satz von Gauß Bekanntlich ist eine ungerade Primzahl p genau dann Summe zweier Quadratzahlen, wenn p 1 mod 4. Daraus folgt, dass eine positive ganze Zahl n genau dann Summe zweier Quadratzahlen
MehrPrüfungsprotokoll Kurs 1825 Logik für Informatiker. Studiengang: MSc. Informatik Prüfer: Prof. Dr. Heinemann Termin: Januar 2015
Prüfungsprotokoll Kurs 1825 Logik für Informatiker Studiengang: MSc. Informatik Prüfer: Prof. Dr. Heinemann Termin: Januar 2015 1. Aussagenlogik Alphabet und AS gegeben, wie sind die Aussagenlogischen
MehrLogik Teil 1: Aussagenlogik. Vorlesung im Wintersemester 2010
Logik Teil 1: Aussagenlogik Vorlesung im Wintersemester 21 Aussagenlogik Aussagenlogik behandelt die logische Verknüpfung von Aussagen mittels Junktoren wie und, oder, nicht, gdw. Jeder Aussage ist ein
MehrDiskrete Strukturen Kapitel 2: Grundlagen (Beweise)
WS 2014/15 Diskrete Strukturen Kapitel 2: Grundlagen (Beweise) Hans-Joachim Bungartz Lehrstuhl für wissenschaftliches Rechnen Fakultät für Informatik Technische Universität München http://www5.in.tum.de/wiki/index.php/diskrete_strukturen_-_winter_14
Mehr5.4 Die Prädikatenlogik 1.Stufe als Semantikformalismus
5.4 Die Prädikatenlogik 1.Stufe als Semantikformalismus 5.4.1 Einführung Einführung Verwendet wird die Sprache der Prädikatenlogik erster Stufe mit Identität (ohne Funktionskonstanten) mit dem folgenden
MehrTU8 Beweismethoden. Daniela Andrade
TU8 Beweismethoden Daniela Andrade daniela.andrade@tum.de 12.12.2016 1 / 21 Kleine Anmerkung Meine Folien basieren auf den DS Trainer von Carlos Camino, den ihr auf www.carlos-camino.de/ds findet ;) 2
MehrAussagen (und damit indirekt auch Aussagesätze) können wahr oder falsch sein. Wahr und falsch sind Wahrheitswerte von Aussagen.
2 Aussagenlogik (AL) 2 Aussagenlogik (AL) 2. Wahrheitsfunktionale Konnektoren [ Gamut 28-35, Partee -6 ] Nur Aussagesätze, d.h. Deklarativ-, nicht aber Frage- oder Aufforderungssätze bringen das Zutreffen
MehrMusterlösung der Klausur zur Vorlesung Logik für Informatiker
Musterlösung der Klausur zur Vorlesung Logik für Informatiker Bernhard Beckert Christoph Gladisch Claudia Obermaier Arbeitsgruppe Künstliche Intelligenz Fachbereich Informatik, Universität Koblenz-Landau
MehrMusterlösung 11.Übung Mathematische Logik
Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik RWTH Aachen Prof. Dr. E. Grädel, F. Reinhardt SS 2015 Aufgabe 2 Musterlösung 11.Übung Mathematische Logik Geben Sie für die folgenden
MehrVorkurs Mathematik und Informatik Mengen, natürliche Zahlen, Induktion
Vorkurs Mathematik und Informatik Mengen, natürliche Zahlen, Induktion Saskia Klaus 07.10.016 1 Motivation In den ersten beiden Vorträgen des Vorkurses haben wir gesehen, wie man aus schon bekannten Wahrheiten
MehrLogik und Diskrete Strukturen
Skript zum Logikteil der Vorlesung Logik und Diskrete Strukturen SS 2016 Martin Hofmann Lehr- und Forschungseinheit Theoretische Informatik Institut für Informatik Ludwig-Maximilians-Universität München
MehrRekursive und primitiv rekursive Funktionen. Ein maschinenunabhängiges formales Berechnungsmodell auf den natürlichen Zahlen
Rekursive und primitiv rekursive Funktionen Ein maschinenunabhängiges formales Berechnungsmodell auf den natürlichen Zahlen IDEE: Definiere eine Klasse von (partiell) berechenbaren Funktionen über N induktiv
MehrRhetorik und Argumentationstheorie.
Rhetorik und Argumentationstheorie 2 [frederik.gierlinger@univie.ac.at] Teil 2 Was ist ein Beweis? 2 Wichtige Grundlagen Tautologie nennt man eine zusammengesetzte Aussage, die wahr ist, unabhängig vom
Mehrmathe plus Aussagenlogik Seite 1
mathe plus Aussagenlogik Seite 1 1 Aussagenlogik 1.1 Grundbegriffe Def 1 Aussage Eine Aussage ist ein beschriebener Sachverhalt, dem eindeutig einer der Wahrheitswerte entweder wahr oder falsch zugeordnet
MehrGrundlagen der Kognitiven Informatik
Grundlagen der Kognitiven Informatik Wissensrepräsentation und Logik Ute Schmid Kognitive Systeme, Angewandte Informatik, Universität Bamberg letzte Änderung: 14. Dezember 2010 U. Schmid (CogSys) KogInf-Logik
MehrFormale Logik. 4. Sitzung. Die Logik der Sprache AL. Die Logik der Sprache AL. Die Logik der Sprache AL
ormale Logik 4. Sitzung Prof. Dr. Ansgar Beckermann Sommersemester 2005 Erinnerung Ein Satz ist genau dann logisch wahr, wenn er unabhängig davon, was die in ihm vorkommenden deskriptiven Zeichen bedeuten
MehrSS2010 BAI2-LBP Gruppe 1 Team 07 Entwurf zu Aufgabe 4. R. C. Ladiges, D. Fast 10. Juni 2010
SS2010 BAI2-LBP Gruppe 1 Team 07 Entwurf zu Aufgabe 4 R. C. Ladiges, D. Fast 10. Juni 2010 Inhaltsverzeichnis 4 Aufgabe 4 3 4.1 Sich mit dem Programmpaket vertraut machen.................... 3 4.1.1 Aufgabenstellung.................................
MehrMathematik-Vorkurs für Informatiker Aussagenlogik 1
Christian Eisentraut & Julia Krämer www.vorkurs-mathematik-informatik.de Mathematik-Vorkurs für Informatiker Aussagenlogik 1 Aufgabe 1. (Wiederholung wichtiger Begriffe) Notieren Sie die Definitionen der
MehrErfüllbarkeit und Allgemeingültigkeit
Theoretische Informatik: Logik, M. Lange, FB16, Uni Kassel: 3.3 Aussagenlogik Erfüllbarkeit 44 Erfüllbarkeit und Allgemeingültigkeit Def.: eine Formel ϕ heißt erfüllbar, wennesein I gibt, so dass I = ϕ
MehrEinführung in die Logik
Martin Rippel Einführung in die Logik Zusammenfassung der Vorlesung von Prof. Dr. Karl Georg Niebergall (SS 2010) Vorbemerkung : Dies ist eine Zusammenfassung der wesentlichen Inhalte der Vorlesungen Einführung
MehrKonjunktive und disjunktive Normalformen
Konjunktive und disjunktive Normalformen Nachdem gesprochen wurde, wie man Boolesche Terme unter einer Belegung der Variablen interpretiert und dass somit jeder Boolesche Term eine Boolesche Funktion repräsentiert,
Mehr2.1 Beschreibung von Mengen 2.2 Formale Logik 2.3 Beziehungen zwischen Mengen 2.4 Mengenoperationen
2. Mengen 2.1 Beschreibung von Mengen 2.2 Formale Logik 2.3 Beziehungen zischen Mengen 2.4 Mengenoperationen 2. Mengen GM 2-1 Wozu Mengen? In der Mathematik Au dem Mengenbegri kann man die gesamte Mathematik
MehrKlassische Aussagenlogik
Eine Einführung in die Logik Schon seit Jahrhunderten beschäftigen sich Menschen mit Logik. Die alten Griechen und nach ihnen mittelalterliche Gelehrte versuchten, Listen mit Regeln zu entwickeln, welche
MehrVorkurs: Mathematik für Informatiker
Vorkurs: Mathematik für Informatiker Teil 3 Wintersemester 2016/17 Steven Köhler mathe@stevenkoehler.de mathe.stevenkoehler.de 2 c 2016 Steven Köhler Wintersemester 2016/17 Inhaltsverzeichnis Teil 1 Teil
MehrKlausur Formale Systeme Fakultät für Informatik 2. Klausur zum WS 2010/2011
Fakultät für Informatik 2. Klausur zum WS 2010/2011 Prof. Dr. Bernhard Beckert 08. April 2011 Vorname: Matrikel-Nr.: Platz: Klausur-ID: **Platz** **Id** Die Bearbeitungszeit beträgt 60 Minuten. A1 (17)
MehrNatürliche, ganze und rationale Zahlen
Natürliche, ganze und rationale Zahlen Zunächst haben die zum Zählen verwendeten natürlichen Zahlen 0, 1, 2, 3,... nichts mit dem reellen Zahlen zu tun. Durch die ausgezeichnete reelle Zahl 1 (Maßeinheit!)
MehrPrüfungsaufgaben. Aufgabe 2 (TP1 Frühjahr 2006) ( ) logisch
Aufgabe 1 (TP1 Februar 2007) Prüfungsaufgaben Bestimmen Sie zu den nachstehenden aussagenlogischen Aussageformen je eine möglichst einfache logisch äquivalente Aussageform. Weisen Sie die Äquivalenzen
Mehr6. Induktives Beweisen - Themenübersicht
6. Induktives Beweisen - Themenübersicht Ordnungsrelationen Partielle Ordnungen Quasiordnungen Totale Ordnungen Striktordnungen Ordnungen und Teilstrukturen Noethersche Induktion Anwendung: Terminierungsbeweise
MehrLineare Algebra 6. Übungsblatt
Lineare Algebra 6. Übungsblatt Fachbereich Mathematik M. Schneider 16.05.01 Konstantin Pertschik, Daniel Körnlein Gruppenübung Aufgabe G19 Berechnen Sie das inverse Element bzgl. Multiplikation in der
Mehr