Vorkurs Mathematik Logik und Beweise

Größe: px
Ab Seite anzeigen:

Download "Vorkurs Mathematik Logik und Beweise"

Transkript

1 Vorkurs Mathematik Logik und Beweise Axel Wagner 30. September 2012 Diese Arbeit basiert in Teilen auf dem Beweis-Vortrag von Bärbel Jansen und Winnifred Wollner, in bearbeiteter Fassung von Casper Goch. Sie steht unter der freien CC-BY-SA-DE 3.0 Lizenz. Für weitere Informationen besuchen Sie Logische Operatoren und Wahrheitstafeln Wir arbeiten in der Mathematik mit einer zweiwertigen Aussagenlogik, das heißt, wir untersuchen Aussagen, denen ein eindeutiger Wahrheitsgehalt zugeordnet werden kann. Man kann also entscheiden, ob die Aussage wahr oder falsch ist, deshalb auch zweiwertige Logik - es existieren genau zwei Wahrheitswerte, die eine Aussage annehmen kann. Beispiele für gültige Aussagen sind es regnet und die Straße ist nass. Eine ungültige Aussage wäre zum Beipsiel vielleicht gewinne ich im Lotto (es sei denn, man definiert vorher genau, was vielleicht bedeutet). Wir benutzen große lateinische Buchstaben vom Anfang des Alphabets (A, B, C,...) als Platzhalter für beliebige Aussagen und schreiben ausserdem kurz w für den Wahrheitswert wahr und f für den Wahrheitswert falsch. Aus bestehenden Aussagen können wir mithilfe von so genannten Operatoren neue Aussagen gewinnen. Ein Operator nimmt eine bestimmte Anzahl von Aussagen ( Operanden ) entgegen und ordnet diesen - abhängig von ihrem Wahrheitswert - entweder w oder f zu. Ein Operator macht also aus einer oder mehreren Aussagen eine neue Aussage. Als einfachster relevanter Operator ist die Negation ( Verneinung ) zu nennen. Der Negationsoperator ordnet einer Aussage A ihr Gegenteil A zu. Die Wirkung des Operators lässt 1

2 sich gerade dadurch beschreiben, dass wenn A wahr ist, A falsch ist und dass wenn A falsch ist, A wahr ist. Wir sehen hier ein Muster für die Definition von Operatoren: Für jeden möglichen Wahrheitswert (oder jede mögliche Wertekombination von Wahrheitswerten) des (oder der) Operanden wird beschrieben, welchen Wahrheitswert die durch den Operator für diesen Fall animmt. Da dies in natürlicher Sprache häufig unhandlich ist, wurde die Notation der so genannten Wahrheitstafeln geschaffen. Das sind Tabellen, in denen jede Spalte eine Aussage repräsentiert und jede Zeile eine mögliche Kombination von Wahrheitswerten. Haben wir nur eine einzige Aussage, ist die dazugehörige Wahrheitstafel trivial: A w f Zu einem nützlichen Werkzeug werden jetzt Wahrheitstafeln, indem wir benutzen, dass die Anwendung eines Operators aus einem Satz von Aussagen wieder eine Aussage macht, die eindeutig von den Operanden abhängt. Wir können also nun eine weitere Spalte für die neue Aussage hinzufügen und in die Spalten jeweils eintragen, welchen Wert der Operator dieser Kombination von Wahrheitswerten zuordnet: A A w f f w Dadurch haben wir das gleiche ausgedrückt, wie oben, nur in deutlich kompakterer Schreibweise (wir sehen so auch, warum der einzig interessante einstellige Operator ist: Die einzig möglichen anderen Kombination in der rechten Spalte sind w, f, w, w und f, f, also die Identität und die triviale Umformung zu w oder f ). Interessanter sehen nun die Wahrheitstafeln für mehrstellige Operatoren (auch Junktoren, oder Verknüpfungen) aus, da es dort deutlich mehr mögliche Kombinationen gibt. So definiert man z.b. die und-verknüpfung durch: und die oder-verknüpfung durch: A B A B w w w w f f f w f f f f A B A B w w w w f w f w w f f f Wir wollen uns nun dem wichtigen Thema der Mathematik zuwenden: Dem Beweis. 2

3 Bei einem Beweis geht es darum, zu zeigen, dass eine bestimmte Aussage wahr ist, man beweist sie. Als Beispiel wollen wir nun den so genannten Satz vom Widerspruch beweisen, der lautet: Für eine beliebige Aussage A ist A A falsch Wir wollen also zeigen, dass unabhängig vom Wahrheitswert von A immer A A den Wahrheitswert falsch hat. Als Werkzeug benutzen wir dabei wieder Wahrheitstafeln. Wir beginnen wieder, indem wir alle möglichen Werte für die Operanden (in diesem Fall nur A) notieren. Unser Ziel ist, den Wahrheitswert von A A eintragen zu können: A A A w f Wir haben nun noch das Problem, dass die rechte Seite so nicht ganz einsichtig sind. Wir spalten die Aussage deshalb in kleinere Teile auf, die einfacher zu handhaben sind. So kennen wir z.b. die Wahrheitswerte von A: A A A A w f f w Wir sehen nun, dass unsere Tabelle im Wesentlichen bereits in der Definition von enthalten ist, wenn wir A statt B einsetzen (da A und B nur Platzhalter für beliebige Aussagen sind, können wir dies). Wir können also direkt die letzte Spalte ausfüllen, indem wir die entsprechenden Werte aus den Zeilen w, f und f, w der Definition nehmen: A A = B A A = A B w f f f w f Und wir sehen, dass A A in jedem Fall falsch ist, wie gewünscht. Wahrheitstafeln dienen uns also nicht nur zur Definition von Operatoren, sondern auch als wichtiges Beweismittel. Der Satz vom Widerspruch ist eine so genannte Schlussfigur. Wir können sie benutzen, um zusammengesetzte Aussagen zu vereinfachen und so leichter zu beweisen. So können wir z.b. in der Aussage A (B B) von nun an schlicht B B durch f ersetzen, da wir ja bereits gezeigt haben, dass völlig unabhängig von B dies der einzig mögliche Wahrheitswert ist. Implikation und Äquivalenz Schlussfiguren und Wahrheitstafeln sind wichtige Mittel, um Beweistechniken zu entwickeln und verstehen. In der Beweispraxis sind sie allerdings eher weniger relevant. 3

4 Bevor wir nun zu grundlegenden Schlusstechniken kommen, müssen wir noch zwei weitere Operatoren einführen: A B A B A B w w w w w f f f f w w f f f w w heißt dabei Implikation und heißt Äquivalenz. Diese Operatoren sind dabei erst einmal nichts besonderes gegenüber den bereits eingeführten: Sie dienen dazu, existierende Aussagen zu neuen zu verknüpfen. Dennoch können sie uns helfen, neues Wissen über den Wahrheitsgehalt von Aussagen herzuleiten. Stellen wir uns vor, wir haben ein Axiom A gegeben, sowie eine weitere Aussage B. Da wir A als wahr annehmen (was gerade die Bedeutung eines Axioms ist), brauchen wir uns nur für die ersten beiden Zeilen der Wahrheitstafel interessieren: A B A B w w w w f f Wir sehen hier, dass, wenn A B wahr ist, B wahr sein muss und dass, wenn B falsch ist, dies auch für A B gilt! Haben wir also gezeigt, dass A B gilt, dann wissen wir automatisch, dass B wahr ist (und können dies dann in weiteren Beweisen benutzen). Es ist also (A (A B)) B wahr (wie sich leicht durch eine Wahrheitstafel beweisen lässt). Die Aussage A B lässt sich also in intuitive Logik übersetzen als Wenn A wahr ist, dann ist auch B wahr. Diese Schlussfigur nennt sich Modus ponendo ponens und sie ist die formale Grundlage für den direkten Beweis. ist die so genannte Äquivalenz von Aussagen und sie hat eine besondere Bedeutung zum Umformen. Wie wir aus der Wahrheitstabelle entnehmen können, haben, wenn A B wahr ist (und nur dann), A und B den gleichen Wahrheitswert. Wir sagen auch A gilt genau dann, wenn B gilt. Das besondere ist, dass wir äquivalente Aussagen zu jedem Zeitpunkt schlicht durcheinander ersetzen können. In beide Richtungen. Sollten wir also in einer Wahrheitstabelle feststellen, dass zwei Spalten die gleichen Einträge haben, dann können wir einfach die Aussage der einen durch die Aussage der anderen Ersetzen und umgekehrt. Mithilfe der bisherigen Mittel sollte es nun ein leichtes sein, folgende Aussagen zu beweisen (und ihre Bedeutung zu verstehen): 1. A B B A 2. A B B A 3. A (B C) (A B) C 4

5 4. A (B C) (A B) C 5. A w A 6. A w w 7. A A A 8. A A A 9. (A B) A B 10. (A B) A B 11. (A B) ( A B) Sätze und Beweise Zunächst brauchen wir einen kleinen Überblick darüber, was eigentlich die allgemeine Struktur eines Satzes ist und wie ein Beweis aufgebaut ist. Für gewöhnlich hat ein mathematischer Satz die grobe Struktur P K Es soll also gezeigt werden, dass aus einer (meistens zusammengesetzten) Aussage P (die Prämisse, oder Voraussetzung ) eine andere (manchmal zusammengesetzte) Aussage K (die Konklusion, oder Folgerung ) folgt, dass also wenn P wahr ist, auch K wahr sein muss. Die Voraussetzungen und Folgerungen zu identifizieren ist ein wichtiger Schritt zu einem sauberen Beweis. Gerade in den ersten Semesters führt ein genaues Aufführen der Vorraussetzungen eins Satzes, gemeinsam mit ein paar einfachen Definitionen und alten Sätzen ziemlich direkt zur Folgerung. Deswegen ist es zu Beginn des Studiums noch empfehlenswert, die Voraussetzungen getrennt aufzuführen. Prädikate und Quantoren Aussagen alleine sind bereits ein sehr mächtiges Werkzeug, aber so nicht ganz ausreichend. Wir können zum Beispiel die Aussage machen Steffen ist ein Mathematikstudent und daraus dann andere Aussagen über Steffen herleiten, zum Beispiel Steffen ist ein Nerd 5

6 Im Allgemeinen wollen wir aber nicht nur eine Aussage über Steffen machen, sondern wir wollen möglicherweise ausdrücken, dass das relevante Merkmal von Steffen ist, Mathematiker zu sein und dass bestimmte Aussagen alleine aus dieser Tatsache folgen. So ist zum Beispiel Claudia auch Mathematikstudentin und damit vermutlich auch eine Nerdine. Aber bisher haben wir das nur für Steffen bewiesen. Wir wollen also eine Aussage beweisen können wie Alle Mathematikstudierenden sind Nerds Dafür brauchen wir Prädikate. Prädikate sind quasi Aussagen mit Lücken, oder Variablen. Zum Beispiel ist A(x) x ist ein e Mathematikstudent in ein Prädikat (in diesem Sinne). Die allermeisten Aussagen, die man im Mathematikstudium kennenlernen werden, sind Prädikate. Wir könnten jetzt ein weiteres Prädikat definieren: und damit die Aussage formulieren und beweisen, ausdrückbar als B(y) y ist ein e Nerd ine A(x) B(x) Wenn x ein e Mathematikstudent in ist, dann ist x ein e Nerd ine Ebenso können wir die Elementrelation zu einer Menge als (zweistelliges) Prädikat auffassen: E(x, M) x M Dies formt wieder eine gültige Aussage, sobald wir für M eine konkrete Menge und für x ein konkretes Objekt einsetzen. Wichtig im Zusammenhang mit Prädikaten sind sogenannte Quantoren. Quantoren formen wieder neue Aussagen, indem spezifiziert wird, für wie viele Elemente des Universums ein bestimmtes Prädikat gilt. Die Quantoren sind: x: A(x) Für alle x ist A(x) wahr x : A(x) Für mindestens ein x ist A(x) wahr Die Quantoren alleine beziehen ein Prädikat auf alle Objekte des Universums. Wollen wir unsere Aussagen auf bestimmte Teilmengen einschränken, brauchen wir zusätzliche Prädikate: x : (A(x) B(x)) Für alle x, für die A(x) gilt, gilt auch B(x) x : (A(x) B(x)) Es gibt ein x, für das sowohl A(x) gilt, als auch B(x) Die Verbindung von der Elementrelation mit Quantoren ist so wichtig, dass man dafür eine extra Kurzschreibweise eingeführt hat: x : (E(x, M) A(x)) x M : A(x) x : (E(x, M) A(x)) x M : A(x) Diese Schreibweise wird euch noch sehr häufig begegnen. 6

7 Der direkte Beweis Die wichtigste Beweistechnik haben wir bereits erschlossen: Der direkte Beweis. Beim direkten Beweis wird direkt (oder über wenige Umwege) von der Prämisse auf die Konklusion geschloschen, wir zeigen also direkt, dass P K wahr ist. Für ein Beispiel eines direkten Beweises nehmen wir kurz an, dass einige Grundsätzliche Tatsachen über das rechnen mit ganzen Zahlen bekannt sind, unter anderem folgende Definitionen: Definition 1. Eine ganze Zahl n heißt gerade, wenn es eine ganze Zahl m gibt, sodass n = 2m. Wir wollen jetzt folgenden einfachen Satz direkt beweisen: Satz 2. Ist n eine gerade Zahl, so ist auch n 2 gerade. oder auch (kompakter): n Z : n gerade n 2 gerade Wir wollen nun die Voraussetzungen und die Folgerungen identifizieren: Voraussetzung: n Z, n gerade, also gibt es ein m, sodass n = 2m. Zu zeigen: n 2 gerade, gesucht ist also eine ganze Zahl k, sodass n 2 = 2k. Beweis: Aus der Voraussetzung wissen wir, dass n = 2m, also können wir umformen: n 2 = (2m) 2 = 4m 2 = 2 (2m 2 ) }{{} =:k = 2k Wir sehen hier, dass wir nicht viel machen mussten; wir haben im Wesentlichen die Voraussetzung in den untersuchten Term eingesetzt und damit den Satz direkt bewiesen. Es ist noch etwas anzumerken: Wir sollten eine Existenzaussage ( Es existiert ein k, sodass... ) beweisen und haben dies getan, indem wir eine Zahl mit den geforderten Eigenschaften konstruiert haben. Solche Beweise nennt man aus naheliegenden Gründen konstruktive Beweise und sie sind die einfachere (aber nicht immer mögliche) Form, Existenzaussagen zu beweisen. Fallunterscheidungen Eine besondere Form des direkten Beweises (oder aller Beweismethoden) ist der Beweis per Fallunterscheidung. Hierbei wird die zu zeigende Aussage in endlich viele leichter zu zeigende Fälle zerlegt und diese dann gezeigt. Ein Beispiel: Definition 3. Sei a eine reelle Zahl. a heißt der Betrag von a, es gilt: a a < 0 a := a a 0 7

8 Satz 4 (Dreiecksungleichung). Seien a, b reelle Zahlen. Zeige: Beweis. Durch Fallunterscheidung: a + b a + b 1. a < 0, b < 0: 2. a 0, b 0: a + b < 0 a + b = (a + b) = ( a) + ( b) = a + b a + b 0 a + b = a + b = a + b 3. o.b.d.a. a < 0, b 0: Durch Fallunterscheidung: a) a + b < 0: a + b = (a + b) = ( a) + ( b) = a b a + b b) a + b 0: a + b = a + b = a + b a + b Es ist besonders wichtig (und nicht immer trivial), dass alle möglichen auftretenden Fälle betrachtet werden. Ein häufiger Anfängerfehler ist, eine Fallunterscheidung zu machen, und dann einzelne Fälle zu vergessen (zum Beispiel unterscheidet man x > 0 und x < 0 und vergisst x = 0). Indirekter Beweis Wir betrachten folgende Wahrheitstafel: Diese Schlussfigur A B A B B A w w w w w f f f f w w w f f w w (A B) ( B A) heißt Kontraposition und ist die Grundlage für den so genannten Indirekten Beweis. Wir sehen also, dass wir statt P K auch K P zeigen können (und umgekehrt). Intuitiv ist das klar: Denn wenn z.b. die Straße immer nass ist, wenn es regnet, dann können wir aus der Tatsache, dass die Straße trocken ist, schließen, dass es wohl nicht regnet. Wir betrachten ein Beispiel für einen indirekten Beweis: 8

9 Definition 5 (Primzahl). Eine natürliche Zahl n 2 heißt Primzahl, wenn sie keinen echten Teiler hat. Definition 6 (Perfekte Zahl). Eine natürliche Zahl n heißt vollkommen, oder perfekt, wenn sie halb so groß, wie die Summe ihrer positiven Teiler ist. Beispiele für perfekte Zahlen sind 6 und 28. Satz 7. Sei n N eine vollkommene Zahl. Dann ist n keine Primzahl. Beweis. Wir zeigen stattdessen die indirekte Aussage: n Primzahl n nicht perfekt Sei n also eine Primzahl. Dann ist ihr einziger echter Teiler 1. Damit ist auch die Summe ihrer echten Teiler 1. Da n 2, ist n 1 und damit nicht vollkommen. Äquivalenzbeweis In einem Äquivalenzbeweis möchte man nicht nur A B, sondern A B zeigen. Die logische Schlussfigur, die man dafür benutzt, ist folgende: A B A B B A (A B) (B A) A B w w w w w w w f f w f f f w w f f f f f w w w w D.h. statt A B zu zeigen, zeigen wir A B und B A. Dazu ein Beispiel: Definition 8. Eine ganze Zahl n heißt ungerade, wenn eine ganze Zahl m existiert, sodass n = 2m + 1. Nicht beweisen werden wir: Lemma 9. Eine ganze Zahl ist entweder gerade, oder ungerade. Satz 10. Eine ganze Zahl n ist genau dann gerade, wenn n 2 gerade ist. Beweis. Ist bereits gezeigt. Zeigen wir indirekt: n ungerade n 2 ungerade. Sei n ungerade und m Z, sodass n = 2m + 1. Dann ist n 2 = (2m + 1) 2 = 4m 2 + 4m + 1 = 2(2m 2 + 2m) + 1 Dies ist eine ungerade Zahl. 9

10 Ringschluss Man kann das Prinzip des Äquivalenzbeweises ausweiten auf beliebig (aber endlich) viele weitere Aussagen durch den Schluss: A 1 A 2... A n A 1 Durch den Schluss A n A 1 schließt man einen Ring von Aussagen. Man kommt nun von jeder Aussage zu jeder anderen, indem man den Implikationspfeilen folgt, d.h. alle Aussagen sind äquivalent. Dies ist häufig (Achtung! Nicht immer!) ein eleganter Weg, eine Mehrfachäquivalenz zu zeigen. Widerspruchsbeweis Widerspruchsbeweise sind ein mächtiges (aber umstrittenes) Werkzeug für eine n Mathematiker in. Sie beruhen auf der logischen Schlussfigur: A A B B A (B B) w f f w f w f f Wir sehen, dass, wenn wir gezeigt haben, dass A (B B) wahr ist, dass dann A falsch sein muss, bzw. eben A wahr. Wir zeigen also A, indem wir das Gegenteil annehmen und zeigen, dass wir daraus einen Widerspruch beweisen können. Da wir wissen, dass Widersprüche nie wahr sind, muss unsere Annahme ergo falsch sein. Wir betrachten wieder ein Beispiel: Definition 11. Eine rationale Zahl ist eine Zahl, die sich als p q ganze Zahl und q eine natürliche Zahl (ungleich 0) ist. darstellen lässt, wobei p eine Satz 12. Es existiert keine rationale Zahl x mit x 2 = 2. Beweis. Angenommen, es existiert eine solche natürliche Zahl. Dann existieren m, n Z mit x = m n Wir können o.b.d.a. annehmen, dass m und n teilerfremd sind. 2 = x 2 = m2 n 2 2n 2 = m 2 D.h. m 2 ist eine gerade Zahl. Damit aber auch m und es existiert ein k, sodass m = 2k 10

11 2n 2 = m 2 = 4k 2 n 2 = 2k 2 Damit ist nun auch n 2 gerade und damit n. Dass aber m und n beide gerade sind, widerspricht der Annahme der Teilerfremdheit. Eindeutigkeitsbeweis Häufig kommt es vor, dass man zeigen will, dass es nur ein einziges Objekt gibt, welches bestimmte Eigenschaften aufweist, dass also dieses Objekt eindeutig durch diese Eigenschaften identifiziert wird. Dies geschieht meistens, indem man annimmt, man hätte ein zweites Objekt mit den gleichen Eigenschaften, von welchem man dann zeigt, dass es mit dem bereits vorhandenen übereinstimmt. Definition 13. Eine reelle Zahl e heißt neutrales Element der Addition, wenn für alle reellen Zahlen x gilt: x + e = x Wir wollen nun zeigen, dass es genau ein solches neutrales Element gibt. Beweis. Angenommen also, wir haben zwei neutrale Elemente e und e gegeben. Dann gilt per Definition: e + e = e e + e = e Wegen der Kommutativität der Addition gilt: e + e = e + e e = e Definition 14. Das neutrale Element der Addition bezeichnen wir mit 0. Ein häufiger Anfängerfehler ist es, in solch einem Fall von dem neutralen Element zu sprechen, ohne vorher zu zeigen, dass es auch wirklich nur eines gibt. Erst durch den Eindeutigkeitsbeweis ist es legitim das neutrale Element zu sagen und erst dann ist das Symbol 0 wie man sagt wohldefiniert. Fußangeln Zuletzt noch ein paar Fußangeln, mit denen Anfänger sich häufig konfrontiert sehen: 11

12 Stil Anfänger neigen dazu, Seitenlange Rechnungen voller möglichst komplizierter Symbole als Beweise abzugeben. Das ist so falsch, wie es nur geht. Ein guter Beweis ist kurz, sauber und einfach zu lesen und verstehen. Es geht bei Beweisen weder darum, sein Wissen proprietär zu halten, noch, mit komplizierter Ausdrucksweise anzugeben, sondern darum, anderen (und sich selbst) das enthaltene Wissen klar zu machen. Dazu gehört es auch, gute und klare Bezeichnungen zu benutzen. Durchgesetzt haben sich z.b. folgende Konventionen: m, n N Widerspruchsbeweis i, j, k, l Z (oder ebenfalls N) p, q Q x, y, z R Der Widerspruchsbeweis ist tatsächlich nicht ganz so klar, wie hier dargestellt. Als Beispiel betrachten wir die Aussage, mit der ein Barbier seine Dienste bewirbt: Ich rasiere genau die, die sich nicht selbst rasieren Und fragen uns, wer ihn rasiert. Nehmen wir an, dass er sich selbst rasiert. Da er Leute, die sich selbst rasieren nicht rasiert, rasiert er sich dann nicht selbst. Widerspruch. Nehmen wir allerdings an, dass er sich nicht selbst rasiert. Nach eigener Aussage rasiert er aber ja jeden, der sich nicht selbst rasiert - also auch sich selbst. Ebenfalls ein Widerspruch. Dies ist eine Variante der bekannten Russelschen Antinomie. Sie lässt sich auflösen, aber dazu muss man schon deutlich tiefer in die formale Logik und Mengentheorie einsteigen und die naive Mengenlehre endgültig hinter sich lassen. Folgerung aus Widerspruch Hier muss noch ein Punkt genannt werden, mit dem Erstsemester häufig verwirrt werden - er wird häufig ausgedrückt als Aus Widersprüchen lassen sich beliebige Aussagen folgern. Der Grund dafür, ist aus folgender Wahrheitstafel ersichtlich: A B A A (A A) B w w f w w f f w f w f w f f f w Wir sehen hier, dass, obwohl A A immer falsch ist, dass die Implikation immer wahr ist. Daraus ist aber nicht zu folgern, dass B wahr ist, im Gegenteil. Der Wahrheitsert von B 12

13 hat überhaupt keinen Einfluss auf die Wahrheitstafel, B kann sowohl wahr als auch falsch sein. Was gemeint ist, wenn gesagt wird, aus Widersprüchen lassen sich beliebige Aussagen folgern, ist, dass die Folgerung korrekt ist, dass also die Implikation wahr ist. Zirkelschluss Häufig kommt es (unbewusst) vor, dass man, im Versuch, einen Satz zu zeigen, diesen bereits voraussetzt. Meistens ist ein solcher Zirkelschluss gut versteckt und nicht offensichtlich. Um Zirkelschlüsse zu vermeiden, hilft nur ein strikt formales Vorgehen. 13

Vorkurs Mathematik Logik und Beweise II

Vorkurs Mathematik Logik und Beweise II Vorkurs Mathematik Logik und Beweise II Philipp Dahlinger 3.Oktober 018 Diese Arbeit basiert in Teilen auf dem Beweis-Vortrag von Bärbel Jansen und Winnifred Wollner, in bearbeiteter Fassung von Casper

Mehr

Vorkurs Mathematik Logik und Beweise II

Vorkurs Mathematik Logik und Beweise II Vorkurs Mathematik Logik und Beweise II Mireille Soergel 5. Oktober 017 Diese Arbeit basiert in Teilen auf dem Beweis-Vortrag von Bärbel Jansen und Winnifred Wollner, in bearbeiteter Fassung von Casper

Mehr

Vorkurs Mathematik Logik und Beweismethoden 1

Vorkurs Mathematik Logik und Beweismethoden 1 Vorkurs Mathematik Logik und Beweismethoden 1 Saskia Klaus 05. Oktober 2016 Dieser Vortrag wird schon seit vielen Jahren im Vorkurs gehalten und basiert auf der Arbeit vieler verschiedener Menschen, deren

Mehr

Logik und Beweismethoden I

Logik und Beweismethoden I Logik und Beweismethoden I Anita Ullrich WS2017/18 Inhaltsverzeichnis 1 Klassische Aussagenlogik 2 1.1 Aussagen und Wahrheitswerte.................................... 2 1.2 Operatoren..............................................

Mehr

Lineare Algebra I. Anhang. A Relationen. Heinz H. GONSKA, Maria D. RUSU, Michael WOZNICZKA. Wintersemester 2009/10

Lineare Algebra I. Anhang. A Relationen. Heinz H. GONSKA, Maria D. RUSU, Michael WOZNICZKA. Wintersemester 2009/10 Fakultät für Mathematik Fachgebiet Mathematische Informatik Anhang Lineare Algebra I Heinz H. GONSKA, Maria D. RUSU, Michael WOZNICZKA Wintersemester 2009/10 A Relationen Definition A.1. Seien X, Y beliebige

Mehr

Brückenkurs Mathematik

Brü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

Mehr

Grundlagen der Mathematik

Grundlagen der Mathematik Universität Hamburg Winter 2016/17 Fachbereich Mathematik Janko Latschev Grundlagen der Mathematik Lösungsskizzen 2 Präsenzaufgaben (P2) Wir betrachten drei Teilmengen der natürlichen Zahlen: - A = {n

Mehr

Vorlesung. Beweise und Logisches Schließen

Vorlesung. Beweise und Logisches Schließen Vorlesung Beweise und Logisches Schließen Der folgende Abschnitt dient nur zur Wiederholung des Stoffes der ersten Vorlesung und sollten nur genannt bzw. Teilweise schon vor der Vorlesung angeschrieben

Mehr

Beweistechniken. Vorkurs Informatik - SoSe April 2014

Beweistechniken. Vorkurs Informatik - SoSe April 2014 Vorkurs Informatik SoSe14 07. April 2014 Wozu Beweise in der Informatik? Quelle:http://www.capcomespace.net Motivation Wozu Beweise in der Informatik? Quelle: http://www.nileguide.com Wozu Beweise in der

Mehr

Vorlesung. Logik und Beweise

Vorlesung. Logik und Beweise Vorlesung Logik und Beweise Der folgende Abschnitt dient nur zur Wiederholung des Stoffes der ersten Vorlesung und sollte nur genannt bzw. teilweise schon vor der Vorlesung angeschrieben werden. Wiederholung

Mehr

Diskrete Strukturen und Logik WiSe 2007/08 in Trier. Henning Fernau Universität Trier

Diskrete Strukturen und Logik WiSe 2007/08 in Trier. Henning Fernau Universität Trier Diskrete Strukturen und Logik WiSe 2007/08 in Trier Henning Fernau Universität Trier fernau@uni-trier.de 1 Diskrete Strukturen und Logik Gesamtübersicht Organisatorisches Einführung Logik & Mengenlehre

Mehr

Vorkurs Mathematik. Prof. Udo Hebisch WS 2017/18

Vorkurs Mathematik. Prof. Udo Hebisch WS 2017/18 Vorkurs Mathematik Prof. Udo Hebisch WS 2017/18 1 1 Logik 2 1 Logik Unter einer Aussage versteht man in der Mathematik einen in einer natürlichen oder formalen Sprache formulierten Satz, für den eindeutig

Mehr

Beweistechniken. Vorkurs Informatik - SoSe April 2013

Beweistechniken. Vorkurs Informatik - SoSe April 2013 Vorkurs Informatik SoSe13 09. April 2013 Wozu Beweise in der Informatik?... um Aussagen wie 1 Das Programm erfüllt die gewünschte Aufgabe. 2 Das Programm führt zu keiner Endlosschleife. 3 Zur Lösung dieser

Mehr

Mathematische Grundlagen I Logik und Algebra

Mathematische Grundlagen I Logik und Algebra Logik und Algebra Dr. Tim Haga 21. Oktober 2016 1 Aussagenlogik Erste Begriffe Logische Operatoren Disjunktive und Konjunktive Normalformen Logisches Schließen Dr. Tim Haga 1 / 21 Präliminarien Letzte

Mehr

Einführung in die Mathematik (Vorkurs 1 )

Einführung in die Mathematik (Vorkurs 1 ) Einführung in die Mathematik (Vorkurs 1 ) Wintersemester 2008/09 Dr. J. Jordan Institut für Mathematik Universität Würzburg Germany 1 Modulbezeichnung 10-M-VKM 1 Inhaltsverzeichnis 1 Aussagen und Beweise

Mehr

1. [Aufgabe] Welche der folgenden Aussagen sind gültige Einwände gegen das Sprichwort Alles verstehen heisst alles verzeihen?

1. [Aufgabe] Welche der folgenden Aussagen sind gültige Einwände gegen das Sprichwort Alles verstehen heisst alles verzeihen? Lineare Algebra D-MATH, HS 2014 Prof. Richard Pink Lösung 1 1. [Aufgabe] Welche der folgenden Aussagen sind gültige Einwände gegen das Sprichwort Alles verstehen heisst alles verzeihen? a Niemand versteht

Mehr

Vor(schau)kurs für Studienanfänger Mathematik: Aussagen und Mengen

Vor(schau)kurs für Studienanfänger Mathematik: Aussagen und Mengen Vor(schau)kurs für Studienanfänger Mathematik: Aussagen und Mengen 09.10.2014 Herzlich Willkommen zum 2. Teil des Vorschaukurses für Mathematik! Organisatorisches Der Vorkurs besteht aus sechs Blöcken

Mehr

typische Beweismuster Allgemeine Hilfe Beweistechniken WS2014/ Januar 2015 R. Düffel Beweistechniken

typische Beweismuster Allgemeine Hilfe Beweistechniken WS2014/ Januar 2015 R. Düffel Beweistechniken Beweistechniken Ronja Düffel WS2014/15 13. Januar 2015 Warum ist Beweisen so schwierig? unsere natürliche Sprache ist oft mehrdeutig wir sind in unserem Alltag von logischen Fehlschlüssen umgeben Logik

Mehr

Tilman Bauer. 4. September 2007

Tilman Bauer. 4. September 2007 Universität Münster 4. September 2007 und Sätze nlogik von Organisatorisches Meine Koordinaten: Sprechstunden: Di 13:30-14:30 Do 9:00-10:00 tbauer@uni-muenster.de Zimmer 504, Einsteinstr. 62 (Hochhaus)

Mehr

1.9 Beweis durch Kontraposition

1.9 Beweis durch Kontraposition 1.9 Beweis durch Kontraposition 1.9 Beweis durch Kontraposition Ein Beweis durch Kontraposition ist ein Spezialfall des indirekten Beweises. Wir betrachten zwei Aussagen A und B und wollen A B zeigen,

Mehr

ERRATA. Übungsblatt 4a: Aufgabe 3 : Definition der Teilbarkeit (Skript S.62)

ERRATA. Übungsblatt 4a: Aufgabe 3 : Definition der Teilbarkeit (Skript S.62) Logik und Beweise ERRATA Übungsblatt 4a: Aufgabe 3 : Definition der Teilbarkeit (Skript S.62) Aufgabe 5 : Beweise folgende Aussage: 25 ist keine Primzahl Tipp: Beweis durch Widerspruch Logik und Beweise

Mehr

Logik (Teschl/Teschl 1.1 und 1.3)

Logik (Teschl/Teschl 1.1 und 1.3) Logik (Teschl/Teschl 1.1 und 1.3) Eine Aussage ist ein Satz, von dem man eindeutig entscheiden kann, ob er wahr (true, = 1) oder falsch (false, = 0) ist. Beispiele a: 1 + 1 = 2 b: Darmstadt liegt in Bayern.

Mehr

De Morgan sche Regeln

De 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,

Mehr

definieren eine Aussage A als einen Satz, der entweder wahr (w) oder falsch (f) (also insbesondere nicht beides zugleich) ist 1. Beispiel 1.1.

definieren eine Aussage A als einen Satz, der entweder wahr (w) oder falsch (f) (also insbesondere nicht beides zugleich) ist 1. Beispiel 1.1. 22 Kapitel 1 Aussagen und Mengen 1.1 Aussagen Wir definieren eine Aussage A als einen Satz, der entweder wahr w) oder falsch f) also insbesondere nicht beides zugleich) ist 1. Beispiel 1.1. 2 ist eine

Mehr

Logik und Beweise. Logik und Beweise. Vorsemesterkurs SoSe März 2017

Logik und Beweise. Logik und Beweise. Vorsemesterkurs SoSe März 2017 Logik und Beweise Logik und Beweise Vorsemesterkurs SoSe17 Ronja Düffel 22. März 2017 Logik und Beweise > Motivation Wozu Beweise in der Informatik? Quelle:http://www.capcomespace.net Logik und Beweise

Mehr

HM I Tutorium 1. Lucas Kunz. 27. Oktober 2016

HM I Tutorium 1. Lucas Kunz. 27. Oktober 2016 HM I Tutorium 1 Lucas Kunz 27. Oktober 2016 Inhaltsverzeichnis 1 Theorie 2 1.1 Logische Verknüpfungen............................ 2 1.2 Quantoren.................................... 3 1.3 Mengen und ihre

Mehr

Fachwissenschaftliche Grundlagen

Fachwissenschaftliche Grundlagen Fachwissenschaftliche Grundlagen Vorlesung im Wintersemester 2011/2012, Universität Landau 2. Vorlesung Roland Gunesch Roland Gunesch (Mathematik) Fachwissenschaftliche Grundlagen 1 / 21 Themen heute 1

Mehr

Vorlesung. Einführung in die mathematische Sprache und naive Mengenlehre

Vorlesung. Einführung in die mathematische Sprache und naive Mengenlehre Vorlesung Einführung in die mathematische Sprache und naive Mengenlehre Allgemeines RUD26 Erwin-Schrödinger-Zentrum (ESZ) RUD25 Johann-von-Neumann-Haus Fachschaft Menge aller Studenten eines Institutes

Mehr

Analysis I für Studierende der Ingenieurwissenschaften

Analysis I für Studierende der Ingenieurwissenschaften Analysis I für Studierende der Ingenieurwissenschaften Ingenuin Gasser Department Mathematik Universität Hamburg Technische Universität Hamburg Harburg Wintersemester 2008/2009 1 Kapitel 1: Aussagen, Mengen

Mehr

Diskrete 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 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

Mehr

11. Beschreiben Sie die disjunktive und die konjunktive Normalform eines logischen Ausdrucks!

11. Beschreiben Sie die disjunktive und die konjunktive Normalform eines logischen Ausdrucks! Kapitel 3 Logik Verständnisfragen Sachfragen 1. Was ist eine logische Aussage? 2. Wie ist die Konjunktion und die Disjunktion definiert? 3. Beschreiben Sie das Exklusive Oder, die Implikation und die Äquivalenz!

Mehr

Grundlegendes der Mathematik

Grundlegendes der Mathematik Kapitel 2 Grundlegendes der Mathematik (Prof. Udo Hebisch) 2.1 Logik Unter einer Aussage versteht man in der Mathematik einen in einer natürlichen oder formalen Sprache formulierten Satz, für den eindeutig

Mehr

Vorbereitungskurs Mathematik zum Sommersemester 2015 Aussagen, Logik und Beweistechniken

Vorbereitungskurs Mathematik zum Sommersemester 2015 Aussagen, Logik und Beweistechniken Vorbereitungskurs Mathematik zum Sommersemester 2015 Aussagen, Logik und Beweistechniken Susanna Pohl Vorkurs Mathematik TU Dortmund 09.03.2015 Aussagen, Logik und Beweistechniken Aussagen und Logik Motivation

Mehr

Q.E.D. Algorithmen und Datenstrukturen Wintersemester 2018/2019 Übung#2, Christian Rieck, Arne Schmidt

Q.E.D. Algorithmen und Datenstrukturen Wintersemester 2018/2019 Übung#2, Christian Rieck, Arne Schmidt Institute of Operating Systems and Computer Networks Algorithms Group Q.E.D. Algorithmen und Datenstrukturen Wintersemester 2018/2019 Übung#2, 01.11.2018 Christian Rieck, Arne Schmidt Einführendes Beispiel

Mehr

Inhaltsverzeichnis. Inhaltsverzeichnis

Inhaltsverzeichnis. Inhaltsverzeichnis Inhaltsverzeichnis Inhaltsverzeichnis 1 Beweistechniken 1.1 Prädikatenlogik..................................... 1. Direkter Beweis.................................... 3 1.3 Indirekter Beweis....................................

Mehr

Logik und Beweise. Logik und Beweise. Vorsemesterkurs SoSe März 2015

Logik und Beweise. Logik und Beweise. Vorsemesterkurs SoSe März 2015 Logik und Beweise Logik und Beweise Vorsemesterkurs SoSe15 Ronja Düffel 23. März 2015 Logik und Beweise > Motivation Wozu Beweise in der Informatik? Quelle:http://www.capcomespace.net Logik und Beweise

Mehr

b liegt zwischen a und c.

b liegt zwischen a und c. 2 DIE ANORDNUNGSAXIOME 5 (2.4) a, b, c R : (a < b 0 < c) ac < bc Monotoniegesetz der Multiplikation Bezeichnungen a > b : b < a (> wird gelesen: größer als ) a b : a < b oder a = b a b : a > b oder a =

Mehr

Vorkurs Mathematik 2016

Vorkurs Mathematik 2016 Vorkurs Mathematik 2016 WWU Münster, Fachbereich Mathematik und Informatik PD Dr. K. Halupczok Skript VK1 vom 8.9.2016 VK1: Logik Die Kunst des Schlussfolgerns Denition 1: Eine Aussage ist ein sprachliches

Mehr

Logik. III Logik. Propädeutikum Holger Wuschke. 19. September 2018

Logik. III Logik. Propädeutikum Holger Wuschke. 19. September 2018 III Propädeutikum 2018 19. September 2018 III λoγóς="das Wort" (math.) befasst sich mit Denition Aussage Eine Aussage p ist ein sinnvolles sprachliche Gebilde mit der Eigenschaft, entweder wahr oder falsch

Mehr

Logik/Beweistechniken

Logik/Beweistechniken Mathematikvorkurs bei Marcos Soriano Logik/Beweistechniken erstellt von: Daniel Edler -II- Inhaltsverzeichnis 1 Logik/Beweistechniken 1 1.1 Allgemeine Vorgehensweise......................... 1 2 Konjunktion/Disjunktion

Mehr

Brückenkurs Mathematik. Dienstag Freitag

Brü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.................................

Mehr

Aussagenlogik. Aussagen und Aussagenverknüpfungen

Aussagenlogik. Aussagen und Aussagenverknüpfungen Aussagenlogik Aussagen und Aussagenverknüpfungen Aussagen sind Sätze, von denen sich sinnvollerweise sagen läßt, sie seien wahr oder falsch. Jede Aussage besitzt also einen von zwei möglichen Wahrheitswerten,

Mehr

Welcher der folgenden Sätze ist eine Aussage, welcher eine Aussageform, welcher ist keines von beiden:

Welcher der folgenden Sätze ist eine Aussage, welcher eine Aussageform, welcher ist keines von beiden: Übungsaufgaben 1. Aufgabe 1 Welcher der folgenden Sätze ist eine Aussage, welcher eine Aussageform, welcher ist keines von beiden: a. x ist eine gerade Zahl. Aussageform b. 10 ist Element der Menge A.

Mehr

Grundbegriffe aus Logik und Mengenlehre

Grundbegriffe aus Logik und Mengenlehre Prof. Dr. B. Niethammer Dr. C. Seis, R. Schubert Institut fr Angewandte Mathematik Universitt Bonn Grundbegriffe aus Logik und Mengenlehre Wir wollen im Folgenden eine kurze Einführung in die Grundbegriffe

Mehr

Logik und Beweise. Logik und Beweise. Vorsemesterkurs SoSe März 2016

Logik und Beweise. Logik und Beweise. Vorsemesterkurs SoSe März 2016 Logik und Beweise Logik und Beweise Vorsemesterkurs SoSe16 Ronja Düffel 21. März 2016 Logik und Beweise Wozu Beweise in der Informatik?... um Aussagen wie 1 Das Programm erfüllt die gewünschte Aufgabe.

Mehr

Vorkurs: Mathematik für Informatiker

Vorkurs: 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

Mehr

Algorithmen und Datenstrukturen

Algorithmen und Datenstrukturen Algorithmen und Datenstrukturen Große Übung #2 Phillip Keldenich, Arne Schmidt 10.11.2016 Organisatorisches Fragen? Checkliste: Anmeldung kleine Übungen Anmeldung Mailingliste Dies ersetzt nicht die Prüfungsanmeldung!

Mehr

Kapitel 1. Aussagenlogik

Kapitel 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

Mehr

Logik. Ernest Peter Propädeutikum Mathematik Informatik/Wirtschaftsinformatik, Block Aussage

Logik. Ernest Peter Propädeutikum Mathematik Informatik/Wirtschaftsinformatik, Block Aussage Logik Die Logik ist in der Programmierung sehr wichtig. Sie hilft z.b. bei der systematischen Behandlung von Verzweigungen und Schleifen. z.b. if (X Y und Y>0) then Oder beim Beweis, dass ein Algorithmus

Mehr

Dr. Regula Krapf Sommersemester Beweismethoden

Dr. Regula Krapf Sommersemester Beweismethoden Vorkurs Mathematik Dr. Regula Krapf Sommersemester 2018 Beweismethoden Aufgabe 1. Überlegen Sie sich folgende zwei Fragen: (1) Was ist ein Beweis? (2) Was ist die Funktion von Beweisen? Direkte Beweise

Mehr

Einführung in die Logik

Einfü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

Mehr

Einführungskurs Mathematik

Einführungskurs Mathematik Fachbereich Mathematik und Statistik ϑ µ Einführungskurs Mathematik γ WS 2/ ε Michael Junk β Φ Universität Konstanz α Σ δ Ψ ξ Ω Mathematik Wieso-weshalb-warum Warum Mathematik? Zur Beschreibung von Gesetzmäßigkeiten

Mehr

2 Der Beweis. Themen: Satz und Beweis Indirekter Beweis Kritik des indirekten Beweises

2 Der Beweis. Themen: Satz und Beweis Indirekter Beweis Kritik des indirekten Beweises 2 Der Beweis Themen: Satz und Beweis Indirekter Beweis Kritik des indirekten Beweises Satz und Beweis Ein mathematischer Satz besteht aus einer Voraussetzung und einer Behauptung. Satz und Beweis Ein mathematischer

Mehr

Kleine lateinische Buchstaben wie z. B. p, q, r, s t, usw.

Kleine lateinische Buchstaben wie z. B. p, q, r, s t, usw. 1.1 Aussagenlogik Grundlagen der Mathematik 1 1.1 Aussagenlogik Definition: Aussage Eine Aussage im Sinne der Logik ist ein formulierter Tatbestand, der sich bei objektiver Prüfung immer eindeutig als

Mehr

1. Gruppen. 1. Gruppen 7

1. Gruppen. 1. Gruppen 7 1. Gruppen 7 1. Gruppen Wie schon in der Einleitung erläutert wollen wir uns in dieser Vorlesung mit Mengen beschäftigen, auf denen algebraische Verknüpfungen mit gewissen Eigenschaften definiert sind.

Mehr

Grundkurs Mathematik I

Grundkurs Mathematik I Prof. Dr. H. Brenner Osnabrück WS 2016/2017 Grundkurs Mathematik I Vorlesung 3 Was Hänschen nicht lernt, lernt Hans nimmermehr Volksmund Was Hänschen nicht lernt, lernt Hans nimmermehr hat heute keine

Mehr

Mengenlehre und vollständige Induktion

Mengenlehre und vollständige Induktion Fachschaft MathPhys Heidelberg Mengenlehre und vollständige Induktion Vladislav Olkhovskiy Vorkurs 018 Inhaltsverzeichnis 1 Motivation 1 Mengen.1 Grundbegriffe.................................. Kostruktionen

Mehr

1 Aussagenlogik. 1.1 Aussagen. 15 ist eine Primzahl. 3 < 8 x < 15 (hängt von x ab, keine Aussage) Aussage = Behauptung Beispiele: Es regnet.

1 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)

Mehr

Einleitung. R 2 = R R := { (x, y) ; x, y R }

Einleitung. R 2 = R R := { (x, y) ; x, y R } Einleitung Zunächst wiederholen wir einige Bezeichnungen, die Sie hoffentlich schon aus der Schule kennen. Insbesondere benutzen wir die Abkürzungen N := {1, 2, 3, 4,... } Menge der natürlichen Zahlen

Mehr

Übersichtsblatt Hertrampf/Bahrdt. 1 Mathematische Aussagen. Theoretische Informatik I WS2018/19

Übersichtsblatt Hertrampf/Bahrdt. 1 Mathematische Aussagen. Theoretische Informatik I WS2018/19 Theoretische Informatik I WS2018/19 Übersichtsblatt Hertrampf/Bahrdt Institut für Formale Methoden der Informatik Theoretische Informatik Universität Stuttgart 1 Mathematische Aussagen Um mathematische

Mehr

b. Lehre des vernünftigen Schlussfolgerns (1. System von Regeln von Aristoteles ( v. Chr.); sprachliche Argumente

b. Lehre des vernünftigen Schlussfolgerns (1. System von Regeln von Aristoteles ( v. Chr.); sprachliche Argumente II. Zur Logik 1. Bemerkungen zur Logik a. Logisches Gebäude der Mathematik: wenige Axiome (sich nicht widersprechende Aussagen) bilden die Grundlage; darauf aufbauend Lehrsätze unter Berücksichtigung der

Mehr

Summen- und Produktzeichen

Summen- und Produktzeichen Summen- und Produktzeichen Ein großer Vorteil der sehr formalen mathematischen Sprache ist es, komplizierte Zusammenhänge einfach und klar ausdrücken zu können. Gerade auch diese Eigenschaft der Mathematik

Mehr

Vorsemesterkurs Informatik

Vorsemesterkurs Informatik Vorsemesterkurs Informatik Vorsemesterkurs Informatik Mario Holldack WS2015/16 2. Oktober 2015 Vorsemesterkurs Informatik Inhalt 1 Relationen 2 Funktionen 3 Beweistechniken Motivation Direkter Beweis Beweis

Mehr

1 Aussagenlogik. 1.1 Aussagen. 15 ist eine Primzahl. 3 < 8 x < 15 (hängt von x ab, keine Aussage) Aussage = Behauptung Beispiele: Es regnet.

1 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)

Mehr

Zusatz: Einführung in die Mathematischen Beweistechniken

Zusatz: Einführung in die Mathematischen Beweistechniken Zusatz: Einführung in die Mathematischen Beweistechniken Quick-Start Informatik Theoretischer Teil WS 11/12 Jens Keppeler 7. Oktober 2011 Das folgende Zusatzskript, sowie die dazugehörigen Folien orientieren

Mehr

Jeder 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ß.) =?

Jeder 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.

Mehr

Elementare Beweismethoden

Elementare Beweismethoden Elementare Beweismethoden Christian Hensel 404015 Inhaltsverzeichnis Vortrag zum Thema Elementare Beweismethoden im Rahmen des Proseminars Mathematisches Problemlösen 1 Einführung und wichtige Begriffe

Mehr

Aussagenlogik. 1 Einführung. Inhaltsverzeichnis. Zusammenfassung

Aussagenlogik. 1 Einführung. Inhaltsverzeichnis. Zusammenfassung Tobias Krähling email: Homepage: 13.10.2012 Version 1.2 Zusammenfassung Die Aussagenlogik ist sicherlich ein grundlegendes mathematisches Gerüst für weitere

Mehr

Zusatz: Einführung in die Mathematischen Beweistechniken

Zusatz: Einführung in die Mathematischen Beweistechniken Zusatz: Einführung in die Mathematischen Beweistechniken Quick-Start Informatik Theoretischer Teil WS 11/12 Jens Keppeler 18. September 2012 Die Mathematik befasst sich mit Definitionen, Sätze, Lemma,...

Mehr

Kapitel 1 Grundbegriffe der Mengenlehre und der Logik

Kapitel 1 Grundbegriffe der Mengenlehre und der Logik Wolter/Dahn: Analysis Individuell 3 Kapitel 1 Grundbegriffe der Mengenlehre und der Logik In diesem Abschnitt werden einige Grundbegriffe der Mengenlehre und grundlegende 1/0/0 Prinzipien der mathematischen

Mehr

Diskrete Strukturen WS 2018/19. Gerhard Hiß RWTH Aachen

Diskrete 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

Mehr

Mathematische und logische Grundlagen der Linguistik. Kapitel 3: Grundbegriffe der Aussagenlogik

Mathematische und logische Grundlagen der Linguistik. Kapitel 3: Grundbegriffe der Aussagenlogik Mathematische und logische Grundlagen der Linguistik Kapitel 3: Grundbegriffe der Aussagenlogik Grundbegriffe der Aussagenlogik 1 Die Aussagenlogik ist ein Zweig der formalen Logik, der die Beziehungen

Mehr

Analysis I für Studierende der Ingenieurwissenschaften

Analysis I für Studierende der Ingenieurwissenschaften Analysis I für Studierende der Ingenieurwissenschaften Jens Struckmeier Fachbereich Mathematik Universität Hamburg Technische Universität Hamburg Harburg Wintersemester 2010/11 Jens Struckmeier (Mathematik,

Mehr

Vorsemesterkurs Informatik

Vorsemesterkurs Informatik Vorsemesterkurs Informatik Vorsemesterkurs Informatik Elizaveta Kovalevskaya WS 2017/18 6. Oktober 2017 Vorkurs Informatik - WS 2017/18 1/44 Vorsemesterkurs Informatik Übersicht 1 Relationen 2 Funktionen

Mehr

Normalformen boolescher Funktionen

Normalformen boolescher Funktionen Normalformen boolescher Funktionen Jeder boolesche Ausdruck kann durch (äquivalente) Umformungen in gewisse Normalformen gebracht werden! Disjunktive Normalform (DNF) und Vollkonjunktion: Eine Vollkonjunktion

Mehr

Mathematische und logische Grundlagen der Linguistik. Mathematische und logische Grundlagen der Linguistik. Karl Heinz Wagner. Hier Titel eingeben 1

Mathematische und logische Grundlagen der Linguistik. Mathematische und logische Grundlagen der Linguistik. Karl Heinz Wagner. Hier Titel eingeben 1 Grundbegriffe der Aussagenlogik 1 Mathematische und logische Grundlagen der Linguistik Kapitel 3: Grundbegriffe der Aussagenlogik Die Aussagenlogik ist ein Zweig der formalen Logik, der die Beziehungen

Mehr

Analysis I für Studierende der Ingenieurwissenschaften

Analysis I für Studierende der Ingenieurwissenschaften Analysis I für Studierende der Ingenieurwissenschaften Prof. Dr. Armin Iske Department Mathematik, Universität Hamburg Technische Universität Hamburg-Harburg Wintersemester 2006/2007 Analysis I TUHH, Winter

Mehr

Zusammenfassung: Beweisverfahren

Zusammenfassung: Beweisverfahren LGÖ Ks VMa 11 Schuljahr 217/218 Zusammenfassung: Beweisverfahren Inhaltsverzeichnis Teilbarkeitslehre... 1 Mathematische Sätze... 1 Bedingungen für Extremstellen und Wendestellen... 2 Beweisverfahren...

Mehr

Vorlesung 3: Logik und Mengenlehre

Vorlesung 3: Logik und Mengenlehre 28102013 Erinnerung: Zeilen-Stufen-Form (ZSF) eines LGS 0 0 1 c 1 0 0 0 1 0 0 1 c r 0 0 0 c r+1 0 0 0 0 0 0 0 0 0 c m Erinnerung: Information der Zeilen-Stufen-Form Aus der ZSF liest man ab: Folgerung

Mehr

1 Sprechweisen und Symbole der Mathematik

1 Sprechweisen und Symbole der Mathematik 1 Sprechweisen und Symbole der Mathematik Übersicht 1.1 Junktoren......................................................... 1 1.2 Quantoren......................................................... 4 1.3

Mehr

Ein und derselbe Satz kann in Bezug auf unterschiedliche Situationen s 1. und s 2 unterschiedliche Wahrheitswerte haben.

Ein 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.

Mehr

Logic in a Nutshell. Christian Liguda

Logic 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

Mehr

Vorkurs: Mathematik für Informatiker

Vorkurs: Mathematik für Informatiker Vorkurs: Mathematik für Informatiker Teil 3 Wintersemester 2017/18 Steven Köhler mathe@stevenkoehler.de mathe.stevenkoehler.de 2 c 2017 Steven Köhler Wintersemester 2017/18 Inhaltsverzeichnis Teil 1 Teil

Mehr

Hinweise zur Logik. Ergänzung zu den Übungen Mathematische Grundlagen der Ökonomie am 22. Oktober 2009

Hinweise zur Logik. Ergänzung zu den Übungen Mathematische Grundlagen der Ökonomie am 22. Oktober 2009 Hinweise zur Logik Ergänzung zu den Übungen Mathematische Grundlagen der Ökonomie am 22. Oktober 2009 Im folgenden soll an einige Grundsätze logisch korrekter Argumentation erinnert werden. Ihre Bedeutung

Mehr

1. Gruppen. 1. Gruppen 7

1. Gruppen. 1. Gruppen 7 1. Gruppen 7 1. Gruppen Wie schon in der Einleitung erläutert wollen wir uns in dieser Vorlesung mit Mengen beschäftigen, auf denen algebraische Verknüpfungen mit gewissen Eigenschaften definiert sind.

Mehr

Vorkurs Mathematik - SoSe 2017

Vorkurs Mathematik - SoSe 2017 3 Vorkurs Mathematik - SoSe 2017 Regula Krapf Lösungen Übungsblatt 2 Aufgabe 1. Zeigen Sie, dass die beiden Aussagen ( x : P(x)) ( x : Q(x)) und x : (P(x) Q(x)). nicht dasselbe ausdrücken. Wie sieht es

Mehr

Kapitel 1. Grundlagen Mengen

Kapitel 1. Grundlagen Mengen Kapitel 1. Grundlagen 1.1. Mengen Georg Cantor 1895 Eine Menge ist die Zusammenfassung bestimmter, wohlunterschiedener Objekte unserer Anschauung oder unseres Denkens, wobei von jedem dieser Objekte eindeutig

Mehr

Vorkurs Mathematik und Informatik Mengen, natürliche Zahlen, Induktion

Vorkurs 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

Mehr

Brückenkurs Mathematik. Dienstag Freitag

Brückenkurs Mathematik. Dienstag Freitag Brückenkurs Mathematik Dienstag 2.10. - Freitag 12.10. Vorlesung 1 Logik, Mengen, Zahlen Kai Rothe Technische Universität Hamburg Dienstag 2.10. Tagesablauf 9:00-10:30 Vorlesung Audimax I 10:30-11:00 Pause

Mehr

Aufgaben und Lösungen zum Vorkurs Mathematik: Beweismethoden Für Mittwoch den

Aufgaben und Lösungen zum Vorkurs Mathematik: Beweismethoden Für Mittwoch den Fachbereich Mathematik Aufgaben und Lösungen zum Vorkurs Mathematik: Beweismethoden Für Mittwoch den 8.9.011 Vorkurs Mathematik WS 011/1 Die mit * gekennzeichneten Aufgaben sind etwas schwerer. Dort braucht

Mehr

Kapitel 1. Grundlagen

Kapitel 1. Grundlagen Kapitel 1. Grundlagen 1.1. Mengen Georg Cantor 1895 Eine Menge ist die Zusammenfassung bestimmter, wohlunterschiedener Objekte unserer Anschauung oder unseres Denkens, wobei von jedem dieser Objekte eindeutig

Mehr

Motivation. Formale Grundlagen der Informatik 1 Kapitel 14 Aussagenlogik Syntax & Semantik. Motivation. Motivation

Motivation. Formale Grundlagen der Informatik 1 Kapitel 14 Aussagenlogik Syntax & Semantik. Motivation. Motivation Formale Grundlagen der Informatik 1 Kapitel 14 Aussagenlogik & Frank Heitmann heitmann@informatik.uni-hamburg.de Mit der Aussagenlogik lassen sich einfache Verknüpfungen zwischen (atomaren) Gebilden ausdrücken

Mehr

1. Grundlagen. Gliederung 1.1 Was ist Analysis? 1.2 Aussagen und Mengen 1.3 Natürliche Zahlen 1.4 Ganze Zahlen, rationale Zahlen

1. Grundlagen. Gliederung 1.1 Was ist Analysis? 1.2 Aussagen und Mengen 1.3 Natürliche Zahlen 1.4 Ganze Zahlen, rationale Zahlen 1. Grundlagen Gliederung 1.1 Was ist Analysis? 1.2 Aussagen und Mengen 1.3 Natürliche Zahlen 1.4 Ganze Zahlen, rationale Zahlen Peter Buchholz 2016 MafI 2 Grundlagen 7 1.1 Was ist Analysis? Analysis ist

Mehr

1. Grundlagen. 1.1 Was ist Analysis? 1.2 Aussagen und Mengen

1. Grundlagen. 1.1 Was ist Analysis? 1.2 Aussagen und Mengen . Grundlagen Gliederung. Was ist Analysis?.2 Aussagen und Mengen.3 Natürliche Zahlen.4 Ganze Zahlen, rationale Zahlen. Was ist Analysis? Analysis ist neben der linearen Algebra ein Grundpfeiler der Mathematik!

Mehr

Allgemeingültige Aussagen

Allgemeingültige Aussagen Allgemeingültige Aussagen Definition 19 Eine (aussagenlogische) Formel p heißt allgemeingültig (oder auch eine Tautologie), falls p unter jeder Belegung wahr ist. Eine (aussagenlogische) Formel p heißt

Mehr

Beweistechniken. Beweistechniken. Vorsemesterkurs Informatik Theoretischer Teil Wintersemester 2013/ Oktober Vorsemesterkurs WS 2013/1

Beweistechniken. Beweistechniken. Vorsemesterkurs Informatik Theoretischer Teil Wintersemester 2013/ Oktober Vorsemesterkurs WS 2013/1 Beweistechniken Beweistechniken Vorsemesterkurs Informatik Theoretischer Teil Wintersemester 2013/14 7. Oktober 2013 Beweistechniken > Motivation Wozu Beweise in der Informatik?... um Aussagen wie 1 Das

Mehr

9. Polynom- und Potenzreihenringe

9. Polynom- und Potenzreihenringe 64 Andreas Gathmann 9. Polynom- und Potenzreihenringe Bevor wir mit der allgemeinen Untersuchung von Ringen fortfahren, wollen wir in diesem Kapitel kurz zwei sehr wichtige weitere Beispiele von Ringen

Mehr

FORMULIEREN VON AUSSAGEN KONSTANTEN VARIABLEN MENGEN DEFINITIONEN SÄTZEN BEWEISEN LOGIK VERSTEHE, WIE ES FUNKTIONIERT

FORMULIEREN VON AUSSAGEN KONSTANTEN VARIABLEN MENGEN DEFINITIONEN SÄTZEN BEWEISEN LOGIK VERSTEHE, WIE ES FUNKTIONIERT FORMULIEREN VON AUSSAGEN KONSTANTEN VARIABLEN MENGEN DEFINITIONEN SÄTZEN BEWEISEN LOGIK VERSTEHE, WIE ES FUNKTIONIERT Dirix Workbooks, Seefeld am Pilsensee Autor: Martin Dirix ISBN 978-3-7347-7405-8 1.

Mehr