Kapitel 1.5. Ein adäquater Kalkül der Aussagenlogik. Teil 1: Kalküle und Beweisbarkeit und die Korrektheit des Shoenfield-Kalküls
|
|
- Mareke Adler
- vor 7 Jahren
- Abrufe
Transkript
1 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
2 Syntaktischer Folgerungsbegriff: Beweisbarkeit Wir stellen nun dem semantischen Folgerungsbegriff einen syntaktischen Folgerungsbegriff, die Beweisbarkeit, gegenüber. Hierzu führen wir zunächst den Begriff eines Kalküls oder Axiomensystems sowie die zugehörigen Beweis- und Beweisbarkeitsbegriffe ein. Wir geben dann einen Kalkül der Aussagenlogik an (den Shoenfield-Kalkül S) und zeigen, dass Beweisbarkeit in diesem Kalkül mit dem semantischen Folgerungsbegriff zusammenfällt. Der Beweis besteht aus zwei Teilen: Korrektheitssatz: nur semantische Folgerungen lassen sich beweisen Vollständigkeitssatz: alle semantischen Folgerungen lassen sich beweisen (Hier beweisen wir zunächst nur den Korrektheitssatz und behandeln den aufwändigeren Beweis des Vollständigkeitssatzes im nächsten Kapitel.) Da der Beweisbegriff rein syntaktisch beschrieben ist, liefert dies die gewünschte syntaktische Charakterisierung des Folgerungsbegriffs. Da Folgerungen aus der leeren Menge mit der Allgemeingültigkeit (al. Wahrheit) zusammenfallen, erhalten wir mit der Beweisbarkeit insbesondere eine rein syntaktische Charakterisierung der aussagenlogischen Wahrheit. Mathematische Logik (WS 2012/13) Kapitel 1.5: Kalküle 2/30
3 Übersicht Kalküle: Beweise und Beweisbarkeit Kalküle der Aussagenlogik: Korrektheit und Vollständigkeit Der Shoenfield-Kalkül der Aussagenlogik und dessen Korrektheit Mathematische Logik (WS 2012/13) Kapitel 1.5: Kalküle 3/30
4 1.5.1 Kalküle: Beweise und Beweisbarkeit Mathematische Logik (WS 2012/13) Kapitel 1.5: Kalküle 4/30
5 Kalküle (Axiomensysteme) Ein (formaler) Kalkül K wird durch folgende Komponenten bestimmt: 1 die Sprache von K, diedurchdas(i.a.abzählbare) Alphabet von K festgelegt ist 2 die Menge der Formeln von K, wobei diese eine Teilmenge der endlichen Folgen (d.h. der Wörter) über dem Alphabet von K ist 3 die Menge der Axiome von K, wobei diese eine Teilmenge der Menge der Formeln von K ist 4 die Menge der Regeln von K, wobei jede Regel R die Gestalt (R) ϕ 1,...,ϕ n ϕ hat, wobei n 1undϕ 1,...,ϕ n,ϕ Formeln von K sind. ϕ 1,...,ϕ n sind die Prämissen, ϕ die Konklusion von R. Mathematische Logik (WS 2012/13) Kapitel 1.5: Kalküle 5/30
6 Anforderungen an einen Kalkül: Sprache (Alphabet) I.a. wird man bei einem unendlichen Alphabet verlangen, dass man die Zeichen des Alphabets effektiv generieren kann. Im Falle der Aussagenlogik würde man z.b. das Alphabet {A 0, A 1,...,,,,,, (, )} wählen. Wie wir bereits gesehen haben, kann man die Aussagenvariablen A n effektiv generieren, indem man diese als Wörter über dem endlichen Alphabet {A, 1} (nämlich durch A1 n )darstellt. Man könnte statt der Junktoren,,,, auch irgendeinen anderen Satz von Junktoren wählen, so lange die zugehörigen Booleschen Funktionen eine Basis bilden. Konkret werden wir hier einen Kalkül mit Alphabet {A 0, A 1,...,,, (, )} (also mit dem Junktorensatz {, }) betrachten. Mathematische Logik (WS 2012/13) Kapitel 1.5: Kalküle 6/30
7 Anforderungen an einen Kalkül: Formeln Hier erwartet man, dass Formeln durch deren Form bestimmt sind, also syntaktisch charakterisiert sind. Dabei verlangt man i.a., dass insbesondere entscheidbar ist, ob ein Wort über dem Alphabet des Kalküls eine Formel ist oder nicht. Interpretiert werden Formeln als Aussagen (Sätze) oder Aussageformen (Satzformen). Im Falle der Aussagenlogik würde man bei Zugrundelegung des Alphabets {A 0, A 1,...,,,,,, (, )} die al. Formeln als Formelmenge wählen. Legt man einen anderen Junktorensatz zugrunde, sind die Formeln entsprechend definiert. Bei Alphabet {A 0, A 1,...,,, (, )} werden z.b. die Formeln induktiv definiert durch: Jede Aussagenvariable ist eine Formel. Ist ϕ eine Formel, so auch ϕ. Sind ϕ und ψ Formeln, so auch (ϕ ψ). Mathematische Logik (WS 2012/13) Kapitel 1.5: Kalküle 7/30
8 Anforderungen an einen Kalkül: Axiome Auch hier erwartet man, dass die Axiome durch deren Form bestimmt sind, also syntaktisch charakterisiert sind, und dass es entscheidbar ist, ob eine Formel ein Axiom ist. Ist die Axiomenmenge unendlich, so liegen in der Regel endlich viele Axiomenschemata vor, wobei jedes Axiomenschema eine (unendliche) Menge von Formeln mit einer gemeinsamen syntaktischen Eigenschaft ist. Interpretiert werden Axiome als wahre Aussagen (Sätze) oder wahre Aussageformen (Satzformen). Beispiele für mögliche Axiomenschemata im Falle der Aussagenlogik sind (ϕ ϕ) oder (ϕ ϕ) wobei ϕ eine beliebige Formel (bzgl. der zugehörigen Sprache) ist. Mathematische Logik (WS 2012/13) Kapitel 1.5: Kalküle 8/30
9 Anforderungen an einen Kalkül: Regeln Auch hier erwartet man wie bei Formeln und Axiomen, dass die Regeln durch deren Form bestimmt sind, also syntaktisch charakterisiert sind, und dass es entscheidbar ist, ob eine Formelfolge eine Regel ist. Ist die Regelmenge unendlich, so geht man entsprechend wie bei den Axiomen davon aus, dass endlich viele Regelschemata vorliegen, wobei jedes Regelschema eine (unendliche) Menge von Formelfolgen (fester endlicher Länge) mit einer gemeinsamen syntaktischen Eigenschaft ist. Interpretiert werden Regeln als zulässige Folgerungen. Beispiele für mögliche Regelschemata im Falle der Aussagenlogik sind ϕ ϕ oder ϕ, ϕ ψ ψ (modus ponens) Mathematische Logik (WS 2012/13) Kapitel 1.5: Kalküle 9/30
10 Kalküle: Beweise und Beweisbarkeit DEFINITION. Sei K ein Kalkül. Ein (K-) Beweis der (K-) Formel ϕ (oder eine (K-) Herleitung von ϕ) ist eine endliche Folge ψ 1,...,ψ n von (K-) Formeln, sodass folgendes gilt: ϕ ψ n Jede Formel ψ m (1 m n) ist ein (K-) Axiom oder die Konklusion einer (K-) Regel R, derenprämisse(n) in {ψ 1,...,ψ m 1 } liegen. n ist die Länge des Beweises ψ 1,...,ψ n. DEFINITION. Eine (K-) Formel ϕ is (K-) beweisbar, wenneseinen(k-) Beweis von ϕ gibt. NB: Jedes (K-) Axiom ϕ ist ein (K-) Beweis (der Länge 1) und damit (K-) beweisbar. Als nächstes relativieren wir den Beweis(barkeits)begriff um so die syntaktische Entsprechung zum semantischen Folgerungsbegriff zu erhalten: Mathematische Logik (WS 2012/13) Kapitel 1.5: Kalküle 10 / 30
11 Kalküle: Beweise und Beweisbarkeit aus T DEFINITION. Sei K ein Kalkül und T eine Menge von (K-) Formeln. Ein(K-) Beweis der (K-) Formel ϕ aus T ist eine endliche Folge ψ 1,...,ψ n von (K-) Formeln, sodass folgendes gilt: ϕ ψ n Jede Formel ψ m (1 m n) ist ein (K-) Axiom oder eine Formel aus der Formelmenge T oder die Konklusion einer (K-) Regel R, derenprämisse(n) in {ψ 1,...,ψ m 1 } liegen. n ist die Länge des Beweises ψ 1,...,ψ n. DEFINITION. Eine (K-) Formel ϕ is (K-) beweisbar aus T,wenneseinen(K-) Beweis von ϕ aus T gibt. NB: Jede Formel ϕ T ist ein (K-) Beweis (der Länge 1) aus T und damit (K-) beweisbar aus T. Mathematische Logik (WS 2012/13) Kapitel 1.5: Kalküle 11 / 30
12 Kalküle: Widerspruchsfreiheit Im Folgenden sei K ein Kalkül, T eine Menge von K-Formeln und ϕ eine K-Formel. SCHREIBWEISE: T K ϕ : ϕ is K-beweisbar aus T K ϕ : K ϕ ϕ is K-beweisbar Ist K aus dem Kontext bekannt, so schreiben wir statt K. Entsprechend sagen wir Formel, Beweis, etc. stattk-formel, K-Beweis etc. Weiter sagen wir statt (K-)Beweis aus T auch kurz T -Beweis und entsprechend T -beweisbar statt (K-)beweisbar aus T. DEFINITION. Der Kalkül K is widerspruchsfrei, fallseseinek-formel ψ mit ψ gibt. Mathematische Logik (WS 2012/13) Kapitel 1.5: Kalküle 12 / 30
13 Einfache Eigenschaften der Beweisbarkeit Im Folgenden sei K ein Kalkül, T, T Mengen von K-Formeln und ϕ eine K-Formel. Dann gelten: MONOTONIELEMMA FÜR. FallsT T und T ϕ, so gilt auch T ϕ. BEWEIS. Aus T T folgt, dass jeder T -Beweis auch ein T -Beweis ist. TRANSITIVITÄTSLEMMA FÜR. GelteT ϕ und gelte weiter T ψ für alle ψ T. Dann gilt T ϕ. BEWEISIDEE: s. nächste Folie. NB: Man beachte, dass die entsprechenden Aussagen auch für den semantischen Folgerungsbegriff gelten! Mathematische Logik (WS 2012/13) Kapitel 1.5: Kalküle 13 / 30
14 Beweis des Transitivitätslemmas und das Prinzip der Herleitungsinduktion TRANSITIVITÄTSLEMMA FÜR. GelteT ϕ und gelte weiter T ψ für alle ψ T. Dann gilt T ϕ. BEWEISIDEE: Nach Annahme gibt es einen Beweis ϕ = ϕ 1,...,ϕ n 1,ϕ von ϕ aus T und für jedes ψ T einen Beweis ψ = ψ 1,...,ψ m 1,ψ von ψ aus T. Ersetzt man nun jede Formel ψ T,dieindemBeweisϕ von ϕ aus T vorkommt, durch deren Beweis ψ aus T,soerhält man einen Beweis von ϕ aus T. Formal zeigt man die Behauptung - wie generell Aussagen über (T -)Beweise ϕ bzw. die (T -)Beweisbarkeit von Formeln ϕ -durch Herleitungsinduktion, d.h. durch Induktion nach der Länge n des (T -)Beweises ϕ = ϕ 1,...,ϕ n 1,ϕ n bzw. durch Induktion nach der Länge des kürzesten Beweises von ϕ. Hierbei beachte man, dass jedes nichtleere Anfangsstück ϕ 1,...,ϕ m (1 m n) des (T -)Beweises ϕ = ϕ 1,...,ϕ n 1,ϕ n wiederum ein (T -)Beweis (und zwar von der Formel ϕ m )ist. Mathematische Logik (WS 2012/13) Kapitel 1.5: Kalküle 14 / 30
15 Der Endlichkeitssatz für die T -Beweisbarkeit ENDLICHKEITSSATZ FÜR. FallsT ϕ gilt, so gibt es eine endliche Teilmenge T 0 von T mit T 0 ϕ. BEWEIS. Es gelte T ϕ. Dann gibt es einen Beweis von ϕ aus T. Setze T 0 = T {ϕ 1,...,ϕ n }. ϕ = ϕ 1,...,ϕ n = ϕ 1,...,ϕ n 1,ϕ Offensichtlich ist T 0 eine endliche Teilmenge von T. Weiter ist ϕ ein Beweis von ϕ aus T 0. Also T 0 ϕ. Mathematische Logik (WS 2012/13) Kapitel 1.5: Kalküle 15 / 30
16 1.5.2 Kalküle der Aussagenlogik: Korrektheit und Vollständigkeit Mathematische Logik (WS 2012/13) Kapitel 1.5: Kalküle 16 / 30
17 Kalküle der Aussagenlogik Im Folgenden nennen wir einen Kalkül K einen Kalkül der Aussagenlogik, wenn die Sprache von K auf dem Alphabet A = {A 0, A 1,...,j 1,...,j k, (, )} basiert, wobei die Junktoren j 1,...,j k eine Basis der Booleschen Funktionen definieren, und die Formeln wie üblich gebildet sind. Also - im Falle, dass nur 1-stellige und 2-stellige Junktoren in A vorkommen - die Formeln induktiv definiert sind durch: (F1) Jede Aussagenvariable A i (i 0) ist eine Formel. (F2) Ist ein 1-st. Junktor und ϕ eine Formel, so ist auch ϕ eine Formel. (F3) Ist ein 2-st. Junktor und ϕ 1 und ϕ 2 Formeln, so ist auch (ϕ 1 ϕ 2 ) eine Formel. Mathematische Logik (WS 2012/13) Kapitel 1.5: Kalküle 17 / 30
18 Korrektheit und Vollständigkeit: Definitionen DEFINITION. Sei K ein Kalkül der Aussagenlogik. K ist korrekt bzgl. der Allgemeingültigkeit, falls jede K-beweisbare Formel ϕ allgemeingültig ist, also K ϕ ϕ für alle K-Formeln ϕ gilt. K ist korrekt bzgl. Folgerungen, falls jede aus einer Formelmenge T K-beweisbare Formel ϕ aus T (semantisch) folgt, also T K ϕ T ϕ für alle K-Formelmengen T und alle K-Formeln ϕ gilt. K ist vollständig bzgl. der Allgemeingültigkeit, falls jede allgemeingültige Formel ϕ K-beweisbar ist, also ϕ K ϕ für alle K-Formeln ϕ gilt. K ist vollständig bzgl. Folgerungen, falls jede aus einer Formelmenge T folgende Formel ϕ aus T K-beweisbar ist, also T ϕ T K ϕ für alle K-Formelmengen T und alle K-Formeln ϕ gilt. Mathematische Logik (WS 2012/13) Kapitel 1.5: Kalküle 18 / 30
19 Korrektheit und Vollständigkeit: Bemerkungen Wegen K ϕ K ϕ und ϕ ϕ impliziert Korrektheit (Vollständigkeit) bzgl. Folgerungen auch Korrektheit (Vollständigkeit) bzgl. der Allgemeingültigkeit. Die Umkehrung gilt i.a. nicht. Im Folgenden sagen wir kurz Korrektheit (Vollständigkeit) anstelle von Korrektheit (Vollständigkeit) bzgl. Folgerungen und wir nennen einen Kalkül K der Aussagenlogik adäquat, wenn K korrekt und vollständig ist, also stets gilt. T K ϕ T ϕ Der syntaktische Beweisbarkeitsbegriff in einem adäquaten Kalkül der Aussagenlogik fällt also gerade mit dem semantischen Folgerungsbegriff zusammen (und die beweisbaren Formeln sind gerade die allgemeingültigen Formeln). Mathematische Logik (WS 2012/13) Kapitel 1.5: Kalküle 19 / 30
20 Nachweis der Korrektheit eines Kalküls Um zu zeigen, dass ein Kalkül K der Aussagenlogik korrekt (bzgl. Folgerungen) ist, genügt es zu zeigen, dass die Axiome allgemeingültig sind und die Regeln korrekt bzgl. Folgerungen sind. Hierbei heißt eine Regel (R) ϕ 1,...,ϕ n ϕ korrekt (bzgl. Folgerungen), wennϕ 1,...,ϕ n ϕ gilt. Um dies zu zeigen, beweisen wir das folgende Korrektheitslemma. Mathematische Logik (WS 2012/13) Kapitel 1.5: Kalküle 20 / 30
21 Korrektheitslemma KORREKTHEITSLEMMA. Sei K ein Kalkül der Aussagenlogik, dessen Axiome allgemeingültig sind und dessen Regeln korrekt bzgl. Folgerungen sind. Dann ist K korrekt bzgl. Folgerungen. BEWEIS: Es gelte T ϕ. Zu zeigen: T ϕ. Sei ϕ 0,...,ϕ n ein Beweis von ϕ aus T. Wegen ϕ ϕ n genügt es T ϕ i für i n durch Ind(i) (= Herleitungsinduktion) zu zeigen. Zum Nachweis von T ϕ i unterscheide die folgenden drei möglichen Fälle: ϕi Axiom: Dann ist (nach Annahme) ϕ i allgemeingültig weshalb insbesondere T ϕ i gilt. ϕ i T : Dann gilt trivialerweise T ϕ i. ϕi ist mit Hilfe einer Regel R aus ϕ j0,...,ϕ jk mit j 0,...,j k < i erschlossen. Dann gilt nach I.V. T ϕ jm für m k. Da R nach Annahme korrekt bzgl. Folgerungen ist - also ϕ j0,...,ϕ jk ϕ i gilt - folgt T ϕ i mit der Transitivität von. Mathematische Logik (WS 2012/13) Kapitel 1.5: Kalküle 21 / 30
22 Korrektheitslemma für die Allgemeingültigkeit Entsprechend kann man zeigen, dass ein Kalkül K der AL korrekt bzgl. der Allgemeingültigkeit ist, falls die Axiome allgemeingültig sind und die Regeln korrekt bzgl. der Allgemeingültigkeit sind. Hierbei heißt eine Regel (R) ϕ 1,...,ϕ n ϕ korrekt bzgl. der Allgemeingültigkeit, wenn aus der Allgemeingültigkeit von ϕ 1 ϕ n die Allgemeingültigkeit von ϕ folgt. KORREKTHEITSLEMMA FÜR DIE ALLGEMEINGÜLTIGKEIT. Sei K ein Kalkül der Aussagenlogik, dessen Axiome allgemeingültig sind und dessen Regeln korrekt bzgl. der Allgemeingültigkeit sind. Dann ist K korrekt bzgl. der Allgemeingültigkeit, d.h. jede beweisbare Formel ist allgemeingültig. Wir verzichten auf den einfachen Beweis, da wir im Folgenden nur an der stärkeren Korrektheit bzgl. Folgerungen interessiert sind. Mathematische Logik (WS 2012/13) Kapitel 1.5: Kalküle 22 / 30
23 Korrektheit von Regeln: Korrektheit bzgl. vs. Korrektheit bzgl. ag Wie sich schon implizit aus den vorhergehenden Korrektheitslemmata ergibt, gilt: LEMMA. Sei R korrekt bzgl. Folgerungen. Dann ist R auch korrekt bzgl. der Allgemeingültigkeit. BEWEIS: R korrekt bzgl. Folgerungen ϕ 1,...,ϕ n ϕ (nach Definition der Korrektheit bzgl. ) B [B(ϕ 1 )= = B(ϕ n )=1 B(ϕ) =1] (nach Definition von ) B [B(ϕ 1 ϕ n )=1 B(ϕ) =1] (nach Definition der Bewertungen) B [B(ϕ 1 ϕ n )=1] B [B(ϕ) =1] (logischer Schluss) ag[ϕ 1 ϕ n ] ag[ϕ] (nach Definition von ag) R korrekt bzgl. Allgemeingültigkeit (nach Definition der Korrektheit bzgl. ag) Die Umkehrung gilt i.a. nicht. Wir betrachten im Folgenden zwei Beispiele zur Korrektheit von Regeln. Mathematische Logik (WS 2012/13) Kapitel 1.5: Kalküle 23 / 30
24 Beispiele zur Korrektheit von Regeln: Einsetzungsregel BEISPIEL 1. Wie wir bereits in Kapitel gezeigt haben (s. Lemma 8 dort), ist die Einsetzungsregel (Ein) korrekt bzgl. der Allgemeingültigkeit. ϕ ϕ[ψ/x ] Die Einsetzungsregel ist aber nicht korrekt bzgl. Folgerungen. Hierzu kann man folgendes Gegenbeispiel betrachten: ϕ : X ψ : X Also: ϕ[ψ/x ] X Wegen X X gilt also ϕ ϕ[ψ/x ]. Mathematische Logik (WS 2012/13) Kapitel 1.5: Kalküle 24 / 30
25 Beispiele zur Korrektheit von Regeln: Ersetzungsregel BEISPIEL 2. Wie wir bereits in Kapitel gezeigt haben (s. Lemma 9 dort), ist die Ersetzungsregel (Ers) χ χ(ϕ/ψ) falls ϕ äq ψ korrekt bzgl. Folgerungen (also insbesondere korrekt bzgl. Allgemeingültigkeit). (Dies folgt aus der Formulierung von Lemma 9 unter Verwendung von Lemma 4 in Kapitel 1.2.2, wobei letzteres gerade besagt, dass eine Formel ψ 1 genau dann zu einer Formel ψ 2 äquivalent ist, wenn die Äquivalenzformel ψ 1 ψ 2 allgemeingültig ist.) Im Folgenden werden wir einen Kalkül der Aussagenlogik angeben und von diesem zeigen, dass er adäquat ist. Mathematische Logik (WS 2012/13) Kapitel 1.5: Kalküle 25 / 30
26 1.5.3 Der Shoenfield-Kalkül der Aussagenlogik und dessen Korrektheit Mathematische Logik (WS 2012/13) Kapitel 1.5: Kalküle 26 / 30
27 Shoenfields Kalkül S der Aussagenlogik: Sprache und Formeln Der Shoenfield-Kalkül S basiert auf der Basis {, }. Die Sprache von S ist also durch das Alphabet {A 0, A 1,...,,, (, )} gegeben. Wie bereits oben ausgeführt führt dies zu folgender induktiver Definition der (S-)Formeln: Jede Aussagenvariable ist eine Formel. Ist ϕ eine Formel, so auch ϕ. Sind ϕ1 und ϕ 2 Formeln, so auch (ϕ ϕ 2 ). Aussagenlogische Formeln, die nicht von diesem Typ sind, fassen wir als Abkürzungen von S-Formeln auf, wobei wir folgende Identitäten verwenden: (i) (ϕ ψ) : ( ϕ ψ) (ii) (ϕ ψ) : ( ϕ ψ) (iii) (ϕ ψ) : ((ϕ ψ) (ψ ϕ)) wobei hier und noch wie in (i) und (ii) zu ersetzen sind. Zur Erhöhung der Lesbarkeit verwenden wir wie bei den al. Formeln die früher eingeführten Regeln zur Klammerersparnis. Mathematische Logik (WS 2012/13) Kapitel 1.5: Kalküle 27 / 30
28 Shoenfields Kalkül S der Aussagenlogik: Axiome und Regeln Der Schoenfield-Kalkül besitzt ein Axiomenschema und vier Regelschemata: AXIOME ϕ ϕ ( ϕ ϕ) tertium non datur (Ax) REGELN ψ ϕ ψ Expansion (E) ϕ (ψ δ) (ϕ ψ) δ Assoziativität (A) ϕ ϕ ϕ Kürzung (Kü) ϕ ψ, ϕ δ ψ δ Schnitt (S) Mathematische Logik (WS 2012/13) Kapitel 1.5: Kalküle 28 / 30
29 Korrektheit des Shoenfield-Kalküls S KORREKTHEITSSATZ. Der Schoenfield-Kalkül S ist korrekt (bzgl. Folgerungen): T S ϕ T ϕ Mathematische Logik (WS 2012/13) Kapitel 1.5: Kalküle 29 / 30
30 Beweis des Korrektheitssatzes Nach dem Korrektheitslemma genügt es zu zeigen, dass die Axiome von S allgemeingültig und die Regeln korrekt bzgl. Folgerungen sind. Dies lässt sich aber leicht nachweisen (und wurde zum großen Teil bereits in Kapitel gezeigt). Wir zeigen hier nur die Korrektheit der Schnittregel: Wegen der Ersetzungsregel genügt es A B, A C B C zu zeigen, wozu es wiederum genügt zu zeigen, dass für jede Belegung B : {A, B, C} {0, 1} B(A B) =1undB( A C) =1 B(B C) =1 gilt. Gelte also B(A B) =B( A C) = 1. Dann gilt: B(A) =0 B(B) = 1 (wegen B(A B) = 1) B(B C) =1 B(A) =1 B( A) =0 B(C) = 1 (wegen B( A C) = 1) B(B C) =1 Mathematische Logik (WS 2012/13) Kapitel 1.5: Kalküle 30 / 30
Kapitel 1.5 und 1.6. Ein adäquater Kalkül der Aussagenlogik
Kapitel 1.5 und 1.6 Ein adäquater Kalkül der Aussagenlogik Teil 1: Kalküle und Beweisbarkeit und die Korrektheit des Shoenfield-Kalküls Mathematische Logik (WS 2010/11) Kapitel 1.5 und 1.6: Kalküle 1 /
MehrKapitel 1.6. Ein adäquater Kalkül der Aussagenlogik. Teil 2: Vollständigkeit des Shoenfield-Kalküls
Kapitel 1.6 Ein adäquater Kalkül der Aussagenlogik Teil 2: Vollständigkeit des Shoenfield-Kalküls Mathematische Logik (WS 2011/12) Kapitel 1.6: Vollständigkeit von S 1/56 Übersicht 1.6.1 Vollständigkeit
MehrKapitel 1.6. Ein adäquater Kalkül der Aussagenlogik. Teil 2: Vollständigkeit des Shoenfield-Kalküls
Kapitel 1.6 Ein adäquater Kalkül der Aussagenlogik Teil 2: Vollständigkeit des Shoenfield-Kalküls Mathematische Logik (WS 2012/13) Kapitel 1.6: Vollständigkeit von S 1/60 Übersicht 1.6.1 Vollständigkeit
MehrEin adäquater Kalkül der Prädikatenlogik
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 Der Shoenfield-Kalkül
MehrKapitel 3. Ein adäquater Kalkül der Prädikatenlogik. Teil 2. Deduktionstheorem und Rückführung des Vollständigkeitssatzes auf das Erfüllbarkeitslemma
Kapitel 3 Ein adäquater Kalkül der Prädikatenlogik Teil 2 Deduktionstheorem und Rückführung des Vollständigkeitssatzes auf das Erfüllbarkeitslemma Mathematische Logik (WS 2012/13) Kap. 3: Shoenfields Kalkül
MehrAussagenlogik:Zusammenfassung. Mathematische Logik (WS 2016/17) Aussagenlogik (Zusammenfassung) 1 / 45
Aussagenlogik:Zusammenfassung Mathematische Logik (WS 2016/17) Aussagenlogik (Zusammenfassung) 1 / 45 Fragestellung In der Aussagenlogik analysiert man die Wahrheitswerte zusammengesetzter Aussagen basierend
MehrKapitel 1.2. Aussagenlogik: Semantik. Mathematische Logik (WS 2011/12) Kapitel 1.2: Aussagenlogik: Semantik 1 / 57
Kapitel 1.2 Aussagenlogik: Semantik Mathematische Logik (WS 2011/12) Kapitel 1.2: Aussagenlogik: Semantik 1 / 57 Übersicht 1.2.1 Interpretationen der al. Formeln 1.2.2 Zentrale semantische Begriffe 1.2.3
MehrDie Prädikatenlogik erster Stufe: Syntax und Semantik
Die Prädikatenlogik erster Stufe: Syntax und Semantik 1 Mathematische Strukturen und deren Typen Definition 1.1 Eine Struktur A ist ein 4-Tupel A = (A; (R A i i I); (f A j j J); (c A k k K)) wobei I, J,
MehrKapitel 1.2. Semantik der Aussagenlogik. Mathematische Logik (WS 2013/14) Kapitel 1.2: Semantik der Aussagenlogik 1 / 60
Kapitel 1.2 Semantik der Aussagenlogik Mathematische Logik (WS 2013/14) Kapitel 1.2: Semantik der Aussagenlogik 1 / 60 Übersicht 1.2.1 Interpretationen der al. Formeln 1.2.2 Zentrale semantische Begriffe
MehrUniversität Heidelberg 12. April 2018 Institut für Informatik Klaus Ambos-Spies Nadine Losert. 2. Klausur zur Vorlesung Mathematische Logik
Universität Heidelberg 12. April 2018 Institut für Informatik Klaus Ambos-Spies Nadine Losert 2. Klausur zur Vorlesung Mathematische Logik Es können maximal 48 Punkte erworben werden. Die Klausur ist bestanden,
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
Mehr2.3 Deduktiver Aufbau der Aussagenlogik
2.3 Deduktiver Aufbau der Aussagenlogik Dieser Abschnitt beschäftigt sich mit einem axiomatischen Aufbau der Aussagenlogik mittels eines Deduktiven Systems oder eines Kalküls. Eine syntaktisch korrekte
MehrSatz 1.18 (Kompaktheitssatz der Aussagenlogik)
Satz 1.18 (Kompaktheitssatz der Aussagenlogik) Σ F ist erfüllbar genau dann, wenn jede endliche Teilmenge von Σ erfüllbar ist. Σ F ist unerfüllbar genau dann, wenn es eine unerfüllbare endliche Teilmenge
MehrKapitel 1. Aussagenlogik
Kapitel 1 Aussagenlogik Einführung Mathematische Logik (WS 2012/13) Kapitel 1: Aussagenlogik 1/17 Übersicht Teil I: Syntax und Semantik der Aussagenlogik (1.0) Junktoren und Wahrheitsfunktionen (1.1) Syntax
Mehr1 Aussagenlogik. 1.1 Aussagen. 15 ist eine Primzahl. 3 < 8 x < 15 (hängt von x ab, keine Aussage) Aussage = Behauptung Beispiele: Es regnet.
Grundlagen der Mathematik für Informatiker 1 1 Aussagenlogik 1.1 Aussagen Aussage = Behauptung Beispiele: Es regnet. Die Straße ist naß. 15 ist eine Primzahl. 3 < 8 x < 15 (hängt von x ab, keine Aussage)
MehrKapitel 1.1. Aussagenlogik: Syntax. Mathematische Logik (WS 2011/12) Kapitel 1.1: Aussagenlogik: Syntax 1/ 1
Kapitel 1.1 Aussagenlogik: Syntax Mathematische Logik (WS 2011/12) Kapitel 1.1: Aussagenlogik: Syntax 1/ 1 Übersicht 1.1.1 Die Sprache der Aussagenlogik 1.1.2 Explizite vs. implizite Definitionen 1.1.3
Mehr1 Aussagenlogik. 1.1 Aussagen. 15 ist eine Primzahl. 3 < 8 x < 15 (hängt von x ab, keine Aussage) Aussage = Behauptung Beispiele: Es regnet.
Grundlagen der Mathematik für Informatiker 1 1 Aussagenlogik 1.1 Aussagen Aussage = Behauptung Beispiele: Es regnet. Die Straße ist naß. 15 ist eine Primzahl. 3 < 8 x < 15 (hängt von x ab, keine Aussage)
MehrJeder Aussage p kann ein Wahrheitswert W(p) {0, 1} zugeordnet werden. Beispiele: W(Es regnet.) =? (je nach Lage der Dinge) W(Die Straße ist naß.) =?
Grundlagen der Mathematik für Informatiker 1 Grundlagen der Mathematik für Informatiker 2 1 Aussagenlogik 1.1 Aussagen Aussage = Behauptung Beispiele: Es regnet. Die Straße ist naß. 15 ist eine Primzahl.
MehrUniversität Heidelberg 06. April 2017 Institut für Informatik Prof. Dr. Klaus Ambos-Spies Dipl.-Math. Martin Monath
Universität Heidelberg 06. April 2017 Institut für Informatik Prof. Dr. Klaus Ambos-Spies Dipl.-Math. Martin Monath Klausur zur Vorlesung Mathematische Logik Es können maximal 48 Punkte erworben werden.
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
MehrEinführung in die Logik
Einführung in die Logik Klaus Madlener und Roland Meyer 24. April 2013 Inhaltsverzeichnis 1 Aussagenlogik 1 1.1 Syntax................................. 1 1.2 Semantik............................... 3 1.3
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
MehrEinführung in die mathematische Logik
Prof. Dr. H. Brenner Osnabrück SS 2014 Einführung in die mathematische Logik Vorlesung 14 Die Korrektheit des Ableitungskalküls Im Laufe der Einführung des syntaktischen Prädikatenkalküls haben wir gesehen,
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
MehrPrädikatenlogiken. Mathematische Logik. Vorlesung 7. Alexander Bors. 6. & 27. April A. Bors Logik
Prädikatenlogiken Mathematische Logik Vorlesung 7 Alexander Bors 6. & 27. April 2017 1 Prädikatenlogiken Überblick 1 Formale Prädikatenlogiken erster Stufe (Quelle: Ziegler, pp. 3 24) (Abgeleitete) Axiome
MehrKap. I : Der Aussagenkalkül
Math. Logik I.1 Kap. I : Der Aussagenkalkül Ziel dieses ersten Kapitels ist eine Einführung in den Aussagenkalkül (AK), d.h. die Untersuchung der üblichen aussagenlogischen Verknüpfungen nicht (Negation),
MehrKlausur zur Vorlesung Mathematische Logik
Universität Heidelberg 25. Januar 2012 Institut für Informatik Prof. Dr. Klaus Ambos-Spies Dipl.-Math. Thorsten Kräling Klausur zur Vorlesung Mathematische Logik LÖSUNGEN Aufgabe 1 (Aussagenlogik - 8 Punkte)
Mehr1 Aussagenlogischer Kalkül
1 Aussagenlogischer Kalkül Ein Kalkül in der Aussagenlogik soll die Wahrheit oder Algemeingültigkeit von Aussageformen allein auf syntaktischer Ebene zeigen. Die Wahrheit soll durch Umformung von Formeln
MehrKapitel 1.4. Exkurs: Entscheidbarkeit und Komplexität. Mathematische Logik (WS 2012/3) K. 1.4: Entscheidbarkeit und Komplexität 1/10
Kapitel 1.4 Exkurs: Entscheidbarkeit und Komplexität Mathematische Logik (WS 2012/3) K. 1.4: Entscheidbarkeit und Komplexität 1/10 Algorithmen Ein Algorithmus oder eine Rechenvorschrift ist ein effektives
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
MehrEinführung in die mathematische Logik
Prof. Dr. H. Brenner Osnabrück SS 2014 Einführung in die mathematische Logik Vorlesung 3 Tautologien In der letzten Vorlesung haben wir erklärt, wie man ausgehend von einer Wahrheitsbelegung λ der Aussagevariablen
MehrWas bisher geschah Modellierung in Logiken: klassische Prädikatenlogik FOL(Σ, X) Spezialfall klassische Aussagenlogik AL(P)
Was bisher geschah Modellierung in Logiken: klassische Prädikatenlogik FOL(Σ, X) Spezialfall klassische Aussagenlogik AL(P) Syntax Semantik Signatur, Variablen Terme (induktive Definition, Baumform) Atome
MehrFormale Systeme Hilbert-Kalku l Prof. Dr. Peter H. Schmitt
Formale Systeme Hilbert-Kalku l Prof. Dr. Peter H. Schmitt KIT I NSTITUT F U R T HEORETISCHE I NFORMATIK KIT Universita t des Landes Baden-Wu rttemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft
MehrDer Hilbert-Kalkül für die Aussagenlogik (Notizen zur Vorlesung Logik im Wintersemester 2003/04 an der Universität Stuttgart)
Der Hilbert-Kalkül für die Aussagenlogik (Notizen zur Vorlesung Logik im Wintersemester 2003/04 an der Universität Stuttgart) Javier Esparza und Barbara König 4. Dezember 2003 Für eine gegebene aussagenlogische
MehrLogik und Beweisbarkeit
Logik und Beweisbarkeit Folien zur Vorlesung im Sommersemester 2016 Teil 1 Martin Mundhenk Univ. Jena, Institut für Informatik 12. April 2016 Vorlesung Logik und Beweisbarkeit (Sommer 2016) 1. Aussagenlogik
MehrAussagenlogischer Kalkül, Vollständigkeitssatz
Aussagenlogischer Kalkül, Vollständigkeitssatz Salome Vogelsang 22. Februar 2012 Eine Motivation für den Regelkalkül des Gentzen-Typus ist formuliert von Gentzen selbst: "Mein erster Gesichtspunkt war
MehrGrundbegriffe für dreiwertige Logik
Grundbegriffe für dreiwertige Logik Hans Kleine Büning Universität Paderborn 1.11.2011 1 Syntax und Semantik Die klassische Aussagenlogik mit den Wahrheitswerten falsch und wahr bezeichnen wir im weiteren
MehrWas bisher geschah: klassische Aussagenlogik
Was bisher geschah: klassische Aussagenlogik Syntax Symbole und Struktur Junktoren: t, f,,,,, aussagenlogische Formeln AL(P) induktive Definition: IA Atome (Aussagenvariablen) p, q, r,... P IS zusammengesetzte
MehrDe Morgan sche Regeln
De Morgan sche Regeln Durch Auswerten der Wahrheitswertetabelle stellen wir fest, dass allgemeingültig ist; ebenso (p q) p q (p q) p q. Diese beiden Tautologien werden als die De Morgan schen Regeln bezeichnet,
MehrFrank Heitmann 2/48. 2 Substitutionen, um formal auszudrücken wie in Formelmengen. auf!
Motivation ormale der Informatik 1 Kapitel 17 und rank Heitmann heitmann@informatik.uni-hamburg.de Der Sinn von : Aufgrund syntaktischer Eigenschaften von ormeln/ormelmengen auf semantische Eigenschaften
MehrTheoretische Informatik: Logik, M. Lange, FB16, Uni Kassel: 3.8 Aussagenlogik Der Sequenzen-Kalkül 99. Sequenzen
Theoretische Informatik: Logik, M. Lange, FB16, Uni Kassel: 3.8 Aussagenlogik Der Sequenzen-Kalkül 99 Sequenzen Zum Abschluss des Kapitels über Aussagenlogik behandeln wir noch Gentzens Sequenzenkalkül.
MehrFormale Logik. PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg. Wintersemester 16/17 Sitzung vom 9.
Formale Logik PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg Wintersemester 16/17 Sitzung vom 9. November 2016 Weitere Begriffe Eine Zuweisung von Wahrheitswerten W bzw. F
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
MehrLogik I. Symbole, Terme, Formeln
Logik I Symbole, Terme, Formeln Wie jede geschriebene Sprache basiert die Prädikatenlogik erster Stufe auf einem Alphabet, welches aus den folgenden Symbolen besteht: (a) Variabeln wie zum Beispiel v 0,v
MehrEin und derselbe Satz kann in Bezug auf unterschiedliche Situationen s 1. und s 2 unterschiedliche Wahrheitswerte haben.
2 Aussagenlogik () 2.3 Semantik von [ Gamut 4-58, Partee 7-4 ] Ein und derselbe Satz kann in Bezug auf unterschiedliche Situationen s und s 2 unterschiedliche Wahrheitswerte haben. Beispiel: Es regnet.
MehrPrädikatenlogiken. Mathematische Logik. Vorlesung 8. Alexander Bors. 27. April., 4. & 11. Mai A. Bors Logik
Mathematische Logik Vorlesung 8 Alexander Bors 27. April., 4. & 11. Mai 2017 1 Überblick 1 Formale Prädikatenlogiken erster Stufe (Quelle: Ziegler, pp. 3 24) Der Gödelsche und Folgerungen 2 Erinnerung
MehrWas bisher geschah. wahr 0 t 1 falsch 0 f 0 Konjunktion 2 min Disjunktion 2 max Negation 1 x 1 x Implikation 2 Äquivalenz 2 =
Was bisher geschah (Klassische) Aussagenlogik: Aussage Wahrheitswerte 0 (falsch) und 1 (wahr) Junktoren Syntax Semantik Stelligkeit Symbol Wahrheitswertfunktion wahr 0 t 1 falsch 0 f 0 Konjunktion 2 min
Mehr5 Kalküle des Natürlichen Schliessens. 5.1 Klassische Aussagenlogik Einleitung
Deduktionssysteme der Aussagenlogik, Kap. 5: Kalküle des Natürlichen Schliessens 134 5 Kalküle des Natürlichen Schliessens 5.1 Klassische Aussagenlogik 5.1.1 Einleitung Bei den beiden bisher betrachteten
MehrLogik. Studiengang. Informatik und. Technoinformatik SS 02. Prof. Dr. Madlener Universität Kaiserslautern. Vorlesung: Mi
Logik Studiengang Informatik und Technoinformatik SS 02 Vorlesung: Mi 11.45-13.15 52/207 Prof. Dr. Madlener Universität Kaiserslautern Informationen www-madlener.informatik.uni-kl.de/ag-madlener/teaching/ss2002/
MehrLogik für Informatiker
Logik für Informatiker 2. Aussagenlogik Teil 2 28.04.2015 Viorica Sofronie-Stokkermans Universität Koblenz-Landau e-mail: sofronie@uni-koblenz.de 1 Organisatorisches Termine Donnerstags: 30.04.2015 nicht
MehrLogik. Gabriele Kern-Isberner LS 1 Information Engineering. TU Dortmund Wintersemester 2014/15 WS 2014/15
Logik Gabriele Kern-Isberner LS 1 Information Engineering TU Dortmund Wintersemester 2014/15 WS 2014/15 G. Kern-Isberner (TU Dortmund) Logik WS 2014/15 1 / 125 Übersicht Modallogik 5. Grundlagen 6. Erfüllbarkeit
MehrEinführung in die Logik Aufgabenblatt 3, Zeigen Sie, dass folgende Mengen von Junktoren logisch vollständig sind:
TCS Prof. Dr. Roland Meyer, Dr. Jürgen Koslowski Einführung in die Logik Aufgabenblatt 3, 2018-04-30 Präsenzaufgabe 1 Zeigen Sie, dass folgende Mengen von Junktoren logisch vollständig sind: (1) {, } (2)
MehrFormale Methoden 2. Gaetano Geck Lehrstuhl I Logik in der Informatik WS 2015/2016
Formale Methoden 2 Gaetano Geck Lehrstuhl I Logik in der Informatik WS 2015/2016 Teil 2: Logik 1 Prädikatenlogik (Einleitung) 2 Aussagenlogik Motivation Grundlagen Eigenschaften Eigenschaften Normalformen
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,
MehrGrundbegriffe der mathematischen Logik
Grundbegriffe der mathematischen Logik Vorlesung WS 2005/2006 Jakob Kellner http://www.logic.univie.ac.at/ kellner Kurt Gödel Research Center for Mathematical Logic 5. Vorlesung, 2005-11-16 Jakob Kellner
MehrLogik für Informatiker
Vorlesung Logik für Informatiker 4. Aussagenlogik Syntax und Semantik der Aussagenlogik Bernhard Beckert Universität Koblenz-Landau Sommersemester 2006 Logik für Informatiker, SS 06 p.1 Syntax der Aussagenlogik:
MehrGrundbegriffe aus Logik und Mengenlehre. Prädikatenlogik
Grundbegriffe aus Logik und Mengenlehre Prädikatenlogik wohlverstandene Grundlagen, eine formale Sprache zur Beschreibung statischer und dynamischer Gesichtspunkte eines Unternehmens syntaktisch und semantisch
MehrSyntax. 1 Jedes A AS AL ist eine (atomare) Formel. 2 Ist F eine Formel, so ist auch F eine Formel. 3 Sind F und G Formeln, so sind auch
Formale der Informatik 1 Kapitel 15 Folgerbarkeit, Äquivalenzen und Normalformen Frank Heitmann heitmann@informatik.uni-hamburg.de 8. Juni 2015 Syntax Definition (Syntax der Aussagenlogik) Mit AS AL sei
MehrModelltheorie (Einige Impulse)
Modelltheorie (Einige Impulse) Formale Systeme werden oft entworfen, um mathematische Strukturen zu beschreiben. In der Modelltheorie geht es um das Studium der Beziehungen zwischen formalen Systemen und
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
MehrWas bisher geschah: klassische Aussagenlogik
Was bisher geschah: klassische Aussagenlogik Syntax Symbole und Struktur Junktoren: t, f (nullstellig), (einstellig),,,, (zweistellig) aussagenlogische Formeln AL(P) induktive Definition: IA atomare Formeln
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
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
MehrEinführung in die mathematische Logik
Prof. Dr. H. Brenner Osnabrück SS 2016 Einführung in die mathematische Logik Arbeitsblatt 3 Übungsaufgaben Aufgabe 3.1. Beweise mittels Wahrheitstabellen, dass die folgenden Aussagen Tautologien sind.
MehrFormale Systeme. Prof. Dr. Bernhard Beckert, WS 2016/ KIT Die Forschungsuniversita t in der Helmholtz-Gemeinschaft
Formale Systeme Prof. Dr. Bernhard Beckert, WS 2016/2017 Aussagenlogik: Tableaukalku l KIT I NSTITUT F U R T HEORETISCHE I NFORMATIK www.kit.edu KIT Die Forschungsuniversita t in der Helmholtz-Gemeinschaft
MehrDeduktion in der Aussagenlogik
Deduktion in der Aussagenlogik Menge von Ausdrücken der Aussagenlogik beschreibt einen bestimmten Sachverhalt, eine "Theorie" des Anwendungsbereiches. Was folgt logisch aus dieser Theorie? Deduktion: aus
MehrEinführung in die mathematische Logik
Prof. Dr. H. Brenner Osnabrück SS 2014 Einführung in die mathematische Logik Vorlesung 4 Die Ableitungsbeziehung Definition 4.1. Es sei Γ L V eine Ausdrucksmenge in der Sprache der Aussagenlogik zu einer
MehrUniverselle Algebra. Zur Erinnerung: Definition von Gruppe, Ring (mit 1), R-Vektorraum.
Kapitel 3 Universelle Algebra 3.1 Universelle Algebra als Logik Zur Erinnerung: Definition von Gruppe, Ring (mit 1), R-Vektorraum. Signaturen Eine funktionale Signatur ist eine Menge F von Funktionssymbolen
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
Mehrf(1, 1) = 1, f(x, y) = 0 sonst üblicherweise Konjunktion, manchmal auch
Belegungen, Wahrheitsfunktionen 1. Wie viele binäre Funktionen gibt es auf der Menge {0, 1} (d.h., Funktionen von {0, 1} 2 nach {0, 1})? Geben Sie alle diese Funktionen an, und finden Sie sinnvolle Namen
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,
MehrDiskrete Strukturen WS 2018/19. Gerhard Hiß RWTH Aachen
Diskrete Strukturen WS 2018/19 Gerhard Hiß RWTH Aachen Erster Teil: Grundlagen Kapitel 1, Mathematische Grundbegriffe 1.1 Aussagen Begriff (Aussage) Sprachlicher Ausdruck, welcher entweder wahr oder falsch
MehrSS Juli Übungen zur Vorlesung Logik Blatt 11
SS 2011 06. Juli 2011 Übungen zur Vorlesung Logik Blatt 11 Prof. Dr. Klaus Madlener Abgabe bis 13. Juli 2011 10:00 Uhr 1. Aufgabe: [Axiomatisierung, Übung] 1. Definieren Sie eine Formel A n der Prädikatenlogik
MehrLogik für Informatiker Logic for computer scientists
Logik für Informatiker Logic for computer scientists Till Mossakowski Wintersemester 2014/15 Till Mossakowski Logik 1/ 23 Die Logik der Booleschen Junktoren Till Mossakowski Logik 2/ 23 Aussagenlogische
MehrErfüllbarkeitstests. Im folgenden: Ein sehr effizienter Erfüllbarkeitstest für eine spezielle Klasse von Formeln in KNF, sogenannte Hornformeln (vgl.
Erfüllbarkeitstests Im folgenden: Ein sehr effizienter Erfüllbarkeitstest für eine spezielle Klasse von Formeln in KNF, sogenannte Hornformeln (vgl. Grundlagen und diskrete Strukturen ) Ein für Formeln
MehrLogik. Prof. Dr. Madlener SS TU Kaiserslautern. Prof. Dr. Madlener: Logik 1
Logik Prof. Dr. Madlener TU Kaiserslautern SS 2011 Prof. Dr. Madlener: Logik 1 Logik Studiengang Informatik, Ang. Informatik und WiWi/Inf SS 11 Prof. Dr. Madlener TU - Kaiserslautern Vorlesung: Mi 11.45-13.15
MehrDeduktion in der Aussagenlogik. Semantische Folgerungsbeziehung. Zusammenhang zwischen semantischer und syntaktischer Folgerung
Deduktion in der Aussagenlogik Menge von Ausdrücken der Aussagenlogik beschreibt einen bestimmten Sachverhalt, eine "Theorie" des Anwendungsbereiches Was folgt logisch aus dieser Theorie? Deduktion: aus
MehrFormale Systeme. Prof. Dr. Bernhard Beckert, WS 2017/ KIT Die Forschungsuniversita t in der Helmholtz-Gemeinschaft
Formale Systeme Prof. Dr. Bernhard Beckert, WS 2017/2018 Aussagenlogik: Tableaukalku l KIT I NSTITUT F U R T HEORETISCHE I NFORMATIK www.kit.edu KIT Die Forschungsuniversita t in der Helmholtz-Gemeinschaft
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
MehrKapitel 6 Wahrheitsfunktionale Fuzzy-Logik. 2. Juni 2005
Kapitel 6 Wahrheitsfunktionale Fuzzy-Logik 2. Juni 2005 Übersicht Wahrheitsfunktionale Fuzzy-Semantik, Eigenschaften, Lukasiewicz-Fuzzy-Logik, McNaughtons Theorem, Nichtstetige Wahrheitsfunktionale Fuzzy-Logik.
MehrTU7 Aussagenlogik II und Prädikatenlogik
TU7 Aussagenlogik II und Prädikatenlogik Daniela Andrade daniela.andrade@tum.de 5.12.2016 1 / 32 Kleine Anmerkung Meine Folien basieren auf den DS Trainer von Carlos Camino, den ihr auf www.carlos-camino.de/ds
Mehr2.6 Natürliches Schließen in AL
2.6 Natürliches Schließen in AL Bisher wurde bei der Überprüfung der Gültigkeit von Schlüssen oder Schlussschemata insofern ein semantisches Herangehen verfolgt, als wir auf die Bewertung von Formeln mit
MehrInformatik A. Prof. Dr. Norbert Fuhr auf Basis des Skripts von Prof. Dr. Wolfram Luther und der Folien von Peter Fankhauser
Informatik A Prof. Dr. Norbert Fuhr fuhr@uni-duisburg.de auf Basis des Skripts von Prof. Dr. Wolfram Luther und der Folien von Peter Fankhauser 1 Teil I Logik 2 Geschichte R. Descartes (17. Jhdt): klassische
MehrFormale Systeme. Aussagenlogik: Syntax und Semantik. Prof. Dr. Bernhard Beckert, WS 2017/2018
Formale Systeme Prof. Dr. Bernhard Beckert, WS 2017/2018 Aussagenlogik: Syntax und Semantik KIT I NSTITUT F U R T HEORETISCHE I NFORMATIK www.kit.edu KIT Die Forschungsuniversita t in der Helmholtz-Gemeinschaft
MehrMathematische Grundlagen der Computerlinguistik
Mengen und Mengenoperationen (Teil I) Centrum für Informations- und Sprachverarbeitung (CIS) 2. Juni 2014 Table of Contents Mengen und ihre Darstellung Darstellung endlicher Mengen Darstellung unendlicher
MehrLogik erster Stufe FO
Logik erster Stufe FO Sonderstellung als die Logik für die Grundlegung der Mathematik natürliche Semantik (Tarski) und große Ausdrucksstärke vollständige Beweiskalküle (Gödelscher Vollständigkeitssatz)
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
Mehr8 Der Kompaktheitssatz und der Satz von Löwenheim und Skolem
8 Der Kompaktheitssatz und der Satz von Löwenheim und Skolem 8.1 Der Kompaktheitssatz Kompaktheitssatz Endlichkeitssatz Der Kompaktheitssatz ist auch unter dem Namen Endlichkeitssatz bekannt. Unter Verwendung
MehrWas ist Logik? Was ist Logik? Aussagenlogik. Wahrheitstabellen. Geschichte der Logik eng verknüpft mit Philosophie
Was ist Logik? Geschichte der Logik eng verknüpft mit Philosophie Begriff Logik wird im Alltag vielseitig verwendet Logik untersucht, wie man aus Aussagen andere Aussagen ableiten kann Beschränkung auf
MehrFormale Logik. PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg. Wintersemester 16/17 Sitzung vom 18.
Formale Logik PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg Wintersemester 16/17 Sitzung vom 18. Januar 2017 Kalküle (1) Kalküle (m) sind Regelsysteme, mit denen sich allgemeingültige
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 )
MehrGrundbegriffe der Informatik
Grundbegriffe der Informatik Einheit 18: Logik Thomas Worsch Universität Karlsruhe, Fakultät für Informatik Wintersemester 2008/2009 1/35 Überblick Formeln in Prädikatenlogik erster Stufe Theorien und
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:
MehrDie aussagenlogische Sprache
LOGIK I (WS 2015/16) 89 Kapitel 4 Die aussagenlogische Sprache Wir haben bereits Symbole eingeführt, um aussagenlogisch unzerlegbare Aussagesätze zu repräsentieren, nämlich p, q,... Außerdem haben wir
MehrFormale Methoden II. Gerhard Jäger. SS 2005 Universität Bielefeld. Teil 3, 12. Mai Formale Methoden II p.1/23
Formale Methoden II SS 2005 Universität Bielefeld Teil 3, 12. Mai 2005 Gerhard Jäger Formale Methoden II p.1/23 Logische Folgerung Definition 6 (Folgerung) Eine Formel ϕ folgt logisch aus einer Menge von
MehrAussagenlogik. Übersicht: 1 Teil 1: Syntax und Semantik. 2 Teil 2: Modellierung und Beweise. Aussagenlogik H. Kleine Büning 1/25
Aussagenlogik Übersicht: 1 Teil 1: Syntax und Semantik 2 Teil 2: Modellierung und Beweise Aussagenlogik H. Kleine Büning 1/25 Einführendes Beispiel Falls Lisa Peter trifft, dann trifft Lisa auch Gregor.
MehrDiskrete Strukturen. Sebastian Thomas RWTH Aachen https://www2.math.rwth-aachen.de/ds17/ Mathematische Logik
Diskrete Strukturen Sebastian Thomas RWTH Aachen https://www2.math.rwth-aachen.de/ds17/ Mathematische Logik Aussagen Begriff Aussage: Ausdruck, welcher entweder wahr oder falsch ist e Die RWTH Aachen hat
MehrVorsemesterkurs Informatik
Vorsemesterkurs Informatik Ronja Düffel WS2018/19 01. Oktober 2018 Theoretische Informatik Wieso, weshalb, warum??!? 1 Modellieren und Formalisieren von Problemen und Lösungen 2 Verifikation (Beweis der
MehrLogik (Prof. Dr. Wagner FB AI)
Logik (Prof. Dr. Wagner FB AI) LERNZIELE: Über die Kenntnis und das Verständnis der gegebenen Definitionen hinaus verfolgt dieser Teil der Lehrveranstaltung die folgenden Lernziele: Bei gegebenen sprachlichen
Mehr