Formale Logik. 4. Sitzung. Die Logik der Sprache AL. Die Logik der Sprache AL. Die Logik der Sprache AL
|
|
- Edmund Brandt
- vor 7 Jahren
- Abrufe
Transkript
1 ormale Logik 4. Sitzung Prof. Dr. Ansgar Beckermann Sommersemester 2005 Erinnerung Ein Satz ist genau dann logisch wahr, wenn er unabhängig davon, was die in ihm vorkommenden deskriptiven Zeichen bedeuten allein aufgrund der Bedeutung der in ihm vorkommenden logischen Ausdrücke wahr ist. Ein Argument ist logisch gültig, wenn sich allein aus der Bedeutung der in ihm vorkommenden logischen Ausdrücke ergibt, dass in allen Argumenten, die dieselbe logische orm besitzen, die Konklusion wahr ist, wenn alle Prämissen wahr sind. Dass ein Satz A von AL unabhängig davon wahr ist, was die in ihm vorkommenden deskriptiven Zeichen bedeuten, können wir mit Hilfe der im letzten Kapitel eingeführten Terminologie so ausdrücken: A ist wahr bzgl. aller Bewertungen V. Und dass für ein Argument A 1, Also: A aus Sätzen von AL gilt: Jedes strukturgleiche Argument mit wahren Prämissen hat auch eine wahre Konklusion, können wir so ausdrücken: ür alle Bewertungen V gilt: enn die Sätze A 1,, A n alle wahr sind bzgl. V, dann ist auch A wahr bzgl. V. Definition 11.1 Ein Satz A der Sprache AL ist genau dann logisch wahr, wenn sich allein aus der Bedeutung der in ihm vorkommenden Junktoren ergibt, dass A bzgl. aller Bewertungen von AL wahr ist. Definition 11.2 Sind A 1 und A Sätze von AL, dann ist das Argument A 1, Also: A genau dann logisch gültig, wenn sich allein aus der Bedeutung der in den Sätzen A 1 und A vorkommenden Junktoren ergibt, dass für alle Bewertungen V gilt: Sind die Sätze A 1 alle wahr bzgl. V, dann ist auch A wahr bzgl. V.
2 rage oher kennen wir eigentlich die Bedeutung der logischen Ausdrücke von AL? Die Bedeutung eines sprachlichen Ausdrucks ist sein Beitrag zu den ahrheitsbedingungen der Sätze, in denen er vorkommt. Definition 10.3 Ist V eine Bewertung der Sprache AL, dann ist ein Satz A von AL genau dann wahr bezüglich V, wenn eine der folgenden Bedingungen erfüllt ist: (i) A ist ein Satzbuchstabe, und die ahrheitsbedingung, die VAzuordnet, ist erfüllt; (ii) A ist eine Negation, d.h. A = B, und B ist falsch bzgl. V; (iii) A ist eine Konjunktion, d.h. A = (B C), und B und C sind beide wahr bzgl. V; Definition 10.3 Ist V eine Bewertung der Sprache AL, dann ist ein Satz A von AL genau dann wahr bezüglich V, wenn eine der folgenden Bedingungen erfüllt ist: (iv) A ist eine Adjunktion, d.h. A = (B C), und von den Sätzen B und C ist mindestens einer wahr bzgl. V; (v) A ist eine Subjunktion, d.h. A = (B C), und B ist falsch bzgl. V oder C ist wahr bzgl. V oder beides; (vi) A ist eine Bisubjunktion, d.h. A = (B C), und die Sätze B und C sind beide wahr oder beide falsch bzgl. V. rage oher kennen wir eigentlich die Bedeutung der logischen Ausdrücke von AL? Antwort Die Bedeutung der logischen Ausdrücke von AL (der Junktoren) ergibt sich aus den Bedingungen der Definition 10.3.
3 Definition 11.1 Ein Satz A der Sprache AL ist genau dann logisch wahr, wenn sich allein aus der Bedeutung der in ihm vorkommenden Junktoren ergibt, dass A bzgl. aller Bewertungen von AL wahr ist. Definition 11.3 Ein Satz A der Sprache AL ist genau dann logisch wahr (symbolisch: AL A), wenn sich allein aus den Bedingungen der Definition 10.3 ergibt, dass A bzgl. aller Bewertungen von AL wahr ist. Definition 11.2 Sind A 1 und A Sätze von AL, dann ist das Argument A 1,, A n, Also: A genau dann logisch gültig, wenn sich allein aus der Bedeutung der in den Sätzen A 1 und A vorkommenden Junktoren ergibt, dass für alle Bewertungen V gilt: Sind die Sätze A 1 alle wahr bzgl. V, dann ist auch A wahr bzgl. V. Definition 11.4 Sind A 1 und A Sätze von AL, dann ist das Argument A 1, Also: A genau dann logisch gültig (symbolisch: A 1 AL A), wenn sich allein aus den Bedingungen der Definition 10.3 ergibt, dass für alle Bewertungen V gilt: Sind die Sätze A 1 alle wahr bzgl. V, dann ist auch A wahr bzgl. V. Sprachliche Verabredung 1. Ein Satz A der Sprache AL soll genau dann eine Tautologie heißen, wenn er logisch wahr ist. 2. Ein Satz A der Sprache AL soll genau dann eine Kontradiktion ( logisch falsch ) heißen, wenn sich allein aus der Bedeutung der in ihm vorkommenden Junktoren d.h., allein aus den Bedingungen der Definition 10.3 ergibt, dass A bzgl. aller Bewertungen von AL falsch ist. Definition 11.5 Zwei Sätze A und B der Sprache AL heißen genau dann logisch äuivalent (symbolisch: A AL B), wenn sich allein aus den Bedingungen der Definition 10.3 ergibt, dass für alle Bewertungen V von AL gilt: A ist genau dann wahr bzgl. V, wenn B wahr ist bzgl. V.
4 rage ie kann man feststellen, ob die Bedingungen der Definitionen 11.3, 11.4 und 11.5? Antwort Z.B. durch die ahrheitstafelmethode und durch die ahrheitsbaummethode. Die ahrheitstafelmethode Die ahrheitstafelmethode Betrachten wir z.b. den Satz (1) p p. ie kann man herausbekommen, ob sich allein aus den Bedingungen der Definition 10.3 ergibt, dass dieser Satz wahr ist bzgl. aller Bewertungen von AL? Die ahrheitstafelmethode Die ahrheitstafelmethode Es gibt nur 4 Arten von Bewertungen: Bewertungen, bzgl. deren p und beide wahr sind. Bewertungen, bzgl. deren p wahr und falsch ist. Bewertungen, bzgl. deren p falsch und wahr ist. Bewertungen, bzgl. deren p und beide falsch sind. enn für jede dieser 4 Arten gezeigt werden kann, dass aus der Definition 10.3 folgt, dass der Satz p p (1) p p wahr ist bzgl. aller Bewertungen dieser Art, dann ist damit gezeigt, dass (1) wahr ist bzgl. aller Bewertungen von AL. ahrheitswertverlauf
5 Die ahrheitstafelmethode Die ahrheitstafelmethode Ein zweites Beispiel (2) (p ) p Man kann mit der ahrheitstafelmethode nicht nur für einzelne Sätze von AL, sondern für alle Sätze einer bestimmten orm überprüfen, ob sie logisch wahr sind. p (p ) p Denn auch für beliebige Sätze A und B von AL z.b. gilt, dass es nur 4 Arten von Bewertungen gibt: Bewertungen, bzgl. deren A und B beide wahr sind. Bewertungen, bzgl. deren A wahr und B falsch ist. Bewertungen, bzgl. deren A falsch und B wahr ist. Bewertungen, bzgl. deren A und B beide falsch sind. Die ahrheitstafelmethode Die ahrheitstafelmethode Beispiel (A B) ( B A) A B (A B) ( B A) Mit Hilfe der ahrheitstafelmethode kann man außerdem auch prüfen, ob ein Satz von AL eine Kontradiktion ist bzw. ob alle Sätze einer bestimmten orm Kontradiktionen sind. Beispiel (A B) ( B A) A B (A B) ( B A)
6 Die ahrheitstafelmethode Satz 12.1 Sind A, B und C Sätze der Sprache AL, dann gilt: 1. AL A A (Satz der Identität) 2. AL A A (Satz vom ausgeschlossenen Dritten) 3. AL (A A) (Satz vom ausgeschlossenen iderspruch) 4. AL (A A) A (Satz des Clavius) 5. AL A (A B) (Satz des Duns Scotus) 6. AL A B A (Satz des Petrus Hispanus) 7. AL A A B Die ahrheitstafelmethode Satz 12.1 Sind A, B und C Sätze der Sprache AL, dann gilt: 8. AL A B (A B) 9. AL A (B A) 10a. AL (A B) ( B A) (Kontraposition) 10b. AL ( B A) (A B) (Kontraposition) 11.a. AL (A B B) A 11.b. AL ( A B B) A 12. AL (A (B C)) ((A B) (A C)) Die ahrheitstafelmethode Auch wenn es darum geht, zu überprüfen, ob ein Satz A aus den Sätzen A 1,..., A n folgt, kann man die ahrheitstafelmethode anwenden. Vorgehensweise I Bei der ersten Vorgehensweise zieht man die ahrheitstafeln für die Prämissen A 1,..., A n und die Konklusion A in eine ahrheitstafel zusammen, damit man die ahrheitswertverläufe dieser Sätze direkt vergleichen kann. Die ahrheitstafelmethode Auch wenn es darum geht, zu überprüfen, ob ein Satz A aus den Sätzen A 1,..., A n folgt, kann man die ahrheitstafelmethode anwenden. Vorgehensweise II Bei der zweiten Vorgehensweise prüft man, ob die Subjunktion wahr ist, deren Vorderglied aus der Konjunktion der Prämissen und deren Hinterglied aus der Konklusion besteht. D.h., wenn man prüfen will, ob der Satz A aus den Sätzen A 1,..., A n logisch folgt, überprüft man, ob der Satz A 1 A 2... A n A logisch wahr ist.
7 Die ahrheitstafelmethode Die ahrheitstafelmethode rage p, p AL? olgt logisch aus den Sätzen p und p? D.h., gilt: p, p AL? p p p Die ahrheitstafelmethode Die ahrheitstafelmethode p, p AL? Satz 12.2 p (p ) p Sind A, B und C Sätze der Sprache AL, dann gilt: 1. A B, A AL B (Modus ponens) 2. A B, B C AL A C (Kettenschluss) 3. A B, B AL A 4. A B, B AL A (Modus tollens)
8 Die ahrheitstafelmethode Satz Zwei Sätze A und B der Sprache AL sind genau dann logisch äuivalent, wenn die Bisubjunktion A B logisch wahr ist. Satz 11.8 Ist A ein Satz der Sprache AL, der den Satz B als Teilsatz enthält, und A der Satz, den man aus A erhält, indem man in A den Teilsatz B durch den Satz C ersetzt, dann gilt: enn B AL C, dann auch A AL A. Die ahrheitstafelmethode Satz 11.6 Sind A, B und C Sätze der Sprache AL, dann gelten die folgenden Äuivalenzen: 1. A AL A (Gesetz der doppelten Negation) 2.a A B AL ( A B) 2.b (A B) AL A B (Erstes Gesetz von De Morgan) 3.a A B AL ( A B) 3.b (A B) AL A B (Zweites Gesetz von De Morgan) Satz 11.6 Die ahrheitstafelmethode Sind A, B und C Sätze der Sprache AL, dann gelten die folgenden Äuivalenzen: 4. A B AL B A (Gesetz der Kontraposition) 5. A B AL A B 6. A B AL (A B) 7. A B AL A B 8. (A B) AL A B 9. A B AL (A B) (B A)
Die Logik der Sprache AL
II Die Logik der Sprache AL 10 Der Aufbau der Sprache AL Vorbemerkung Die Sprachen AL und PL enthalten nur Aussagesätze, da wir nur an Argumenten interessiert sind. Jeder Aussagesatz hat eine Syntax und
MehrMusterlösung Übungszettel 8 (Probeklausur 1)
Sommersemester 2005 Seite 1 von 5 Musterlösung Übungszettel 8 (Probeklausur 1) (1) Zeigen Sie mit Hilfe der Wahrheitstafelmethode, dass a) der Satz (p q) (q p) (p q) eine Tautologie ist (5 Punkte); p q
Mehr14 Beurteilung umgangssprachlicher Sätze und Argumente mit aussagenlogischen Mitteln
14 Beurteilung umgangssprachlicher Sätze und Argumente mit aussagenlogischen Mitteln Erinnerung Man kann die logischen Eigenschaften von Sätzen der Sprache AL in dem Maße zur Beurteilung der logischen
MehrMusterlösung. (1) Zeigen Sie mit Hilfe der Wahrheitstafelmethode, dass a) der Satz in AL (p q) ( p q) (p q) eine Kontradiktion ist (7 Punkte);
Sommersemester 2005 Seite 1 von 5 Musterlösung (1) Zeigen Sie mit Hilfe der Wahrheitstafelmethode, dass a) der Satz in AL (p q) ( p q) (p q) eine Kontradiktion ist (7 Punkte); p q (p q) ( p q) (p q) W
MehrFormale Logik. 6. Sitzung. Übersetzung in AL. Übersetzung in AL. Übersetzung in AL
Übersetzung in AL ormale Logik 6. Sitzung rage Lässt sich die Kenntnis der logischen Eigenschaften der Sätze von AL auch zur Beurteilung umgangssprachlicher Sätze und Argumente nutzen? Prof. Dr. Ansgar
MehrArgumentationstheorie 8. Sitzung
edeutung logischer usdrücke Die edeutung logischer usdrücke rgumentationstheorie 8. Sitzung Prof. Dr. nsgar eckermann intersemester 2004/5 Logische usdrücke wie und, oder, nicht, alle, kein und etwas bezeichnen
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.
MehrZur Semantik der Junktorenlogik
Zur Semantik der Junktorenlogik Elementare Logik I Michael Matzer Inhaltsverzeichnis 1 Präliminarien 2 2 Tautologien, Kontradiktionen und kontingente Sätze von J 2 2.1 Tautologien von J................................
MehrArgumentationstheorie 7. Sitzung
Erinnerung rgumentationstheorie 7. Sitzung Prof. Dr. nsgar Beckermann intersemester 2004/5 a priori a posteriori Eine ussage ist a priori wahr, wenn man ihre ahrheit ohne Rückgriff auf Erfahrung (allein
MehrArgumentationstheorie 9. Sitzung
Terminplan Argumentationstheorie 9. Sitzung Oktober 12.10.04 19.10.04 November 02.11.04 09.11.04 Dezember 07.12.04 14.12.04 Januar 04.01.05 11.01.05 ebruar 01.02.05 Test 3 Prof. Dr. Ansgar Beckermann intersemester
MehrDallmann, H. & Elster, K.H. (1991). Einführung in die höhere Mathematik, Band I. Jena: Fischer. (Kapitel 1, pp )
Logik Literatur: Dallmann, H. & Elster, K.H. (1991). Einführung in die höhere Mathematik, Band I. Jena: Fischer. (Kapitel 1, pp. 17-30) Quine, W.V.O. (1964 / 1995). Grundzüge der Logik. Frankfurt a.m.:
MehrFormale Logik - SoSe 2012
2.44 % Formale Logik - SoSe 2012 Versuch einer Zusammenfassung Malvin Gattinger http://xkcd.com/435/ 4.88 % Gliederung Einleitung Was ist Logik? Begriffsklärungen Sätze und Wahrheit Argumente und Gültigkeit
MehrRudolf Brinkmann Seite
Rudolf Brinkmann Seite 1 30.04.2008 Aussagen und Mengentheoretische Begriffe Aussagen und Aussageformen In der Mathematik spricht man von Aussagen, wenn für einen Sachverhalt entschieden werden kann, ob
Mehr17 Grundbegriffe der Logik der Sprache PL
17 Grundbegriffe der Logik der Sprache PL Erinnerung Definition 11.1 Ein Satz A der Sprache AL ist genau dann logisch wahr, wenn sich allein aus der Bedeutung der in ihm vorkommenden logischen Ausdrücke
Mehr12 Wahrheitsbäume zur Beurteilung der logischen Wahrheit von Sätzen der Sprache AL
12 Wahrheitsbäume zur Beurteilung der logischen Wahrheit von Sätzen der Sprache L Eine zweite Methode Das Wahrheitsbaumverfahren Dieses Verfahren beruht auf der Methode des indirekten Beweises. Wahrheitsbäume
Mehrb. 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
MehrThema: Logik: 2. Teil. Übersicht logische Operationen Name in der Logik. Negation (Verneinung) Nicht
Thema: Logik: 2. Teil Übersicht logische Operationen Name in der Logik Symbol Umgangssprachlicher Name Negation (Verneinung) Nicht Konjunktion ^ Und Disjunktion v Oder Subjunktion (Implikation) Bijunktion
MehrAnalysis 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
MehrTutorium Logik und Beweisführung. Prof. Dr. Mark Groves WS 2018/19
Tutorium Logik und Beweisführung Prof. Dr. Mark Groves WS 2018/19 16. Oktober 2018 Aussagen Eine Aussage ist ein sprachliches Gebilde, das entweder wahr (T) oder falsch (F) ist. Beispiele Saarbrücken ist
MehrEinführung in die Semantik, 5. Sitzung Aussagenlogik
Einführung in die, 5. Sitzung Aussagenlogik Göttingen 9. November 2006 Aussagenlogik Warum die formalen Sprachen der Logik? formale Sprachen haben wie jede Sprache ein Vokabular, eine und eine. Die Relation
Mehr7 Gültigkeit und logische Form von Argumenten
7 Gültigkeit und logische Form von Argumenten Zwischenresümee 1. Logik ist ein grundlegender Teil der Lehre vom richtigen Argumentieren. 2. Speziell geht es der Logik um einen spezifischen Aspekt der Güte
MehrAussagen Interpretation Verknüpfen von Aussagen Tautologie und Widerspruch Äquivalenz
Aussagenlogik Aussagen Interpretation Verknüpen von Aussagen Tautologie und Widerspruch Äquivalenz Aussagen Aussagen Eine Aussage ist ein Satz, dem sich ein eindeutiger Wahrheitsert ahr (kurz bz. 1) oder
Mehr1 Einführung Aussagenlogik
1 Einführung Aussagenlogik Denition 1. Eine Aussage ist ein Aussagesatz, der entweder wahr oder falsch ist. Welche der folgenden Sätze ist eine Aussage? 3+4=7 2*3=9 Angela Merkel ist Kanzlerin Stillgestanden!
Mehr20 Beurteilung umgangssprachlicher Sätze und Argumente mit prädikatenlogischen Mitteln
20 Beurteilung umgangssprachlicher Sätze und Argumente mit prädikatenlogischen Mitteln Erinnerung Man kann die logischen Eigenschaften von Sätzen der Sprache PL in dem Maße zur Beurteilung der logischen
MehrJunktoren der Aussagenlogik zur Verknüpfung zweier Aussagen A, B
Junktoren der Aussagenlogik zur Verknüpfung zweier Aussagen A, B Name Zeichen Bedeutung Wahrheitstafel Bemerkung mit zugehöriger Dualzahl ---------------------------------------------------------------------------------------------------------------
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
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
Mehr13 Übersetzung umgangssprachlicher Sätze in die Sprache AL
13 Übersetzung umgangssprachlicher Sätze in die Sprache AL Lässt sich die Kenntnis der logischen Eigenschaften der Sätze von AL auch zur Beurteilung umgangssprachlicher Sätze und Argumente nutzen? Grundsätzliches
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
MehrBoolesche Algebra. Hans Joachim Oberle. Vorlesung an der TUHH im Wintersemester 2006/07 Montags, 9:45-11:15 Uhr, 14täglich TUHH, DE 22, Audimax 2
Universität Hamburg Department Mathematik Boolesche Algebra Hans Joachim Oberle Vorlesung an der TUHH im Wintersemester 2006/07 Montags, 9:45-11:15 Uhr, 14täglich TUHH, DE 22, Audimax 2 http://www.math.uni-hamburg.de/home/oberle/vorlesungen.html
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
MehrAussagenlogik. 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,
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/ 24 Die Booleschen Junktoren Till Mossakowski Logik 2/ 24 Die Negation Wahrheitstafel
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
MehrKapitel 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 /
MehrMathematischer Vorbereitungskurs für das MINT-Studium
Mathematischer Vorbereitungskurs für das MINT-Studium Dr. B. Hallouet b.hallouet@mx.uni-saarland.de SS 2017 Vorlesung 1 MINT Mathekurs SS 2017 1 / 19 Organisation Vorlesung (2 SWS): Do., 16:15 Uhr -18:00
MehrLogik. Logik. Vorkurs Informatik Theoretischer Teil WS 2013/ September Vorkurs Informatik - Theorie - WS2013/14
Logik Logik Vorkurs Informatik Theoretischer Teil WS 2013/14 30. September 2013 Logik > Logik > logische Aussagen Logik Logik > Logik > logische Aussagen Motivation Logik spielt in der Informatik eine
MehrMathematische 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
MehrSemantik und Pragmatik
Semantik und Pragmatik SS 2005 Universität Bielefeld Teil 3, 29. April 2005 Gerhard Jäger Semantik und Pragmatik p.1/26 Übersetzung Deutsch Aussagenlogik Motivation für Übersetzung: Deutsch als Objektsprache:
MehrMathematische 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
MehrFormale Logik. PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg. Wintersemester 16/17 Sitzung vom 26.
Formale Logik PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg Wintersemester 16/17 Sitzung vom 26. Oktober 2016 Informationen zur Veranstaltung http://home.mathematik.uni-freiburg.de/junker/
MehrLogische Äquivalenz. Definition Beispiel 2.23
Logische Äquivalenz Definition 2.22 Zwei aussagenlogische Formeln α, β A heißen logisch äquivalent, falls für jede Belegung I von α und β gilt: Schreibweise: α β. Beispiel 2.23 Aus Folgerung 2.6 ergibt
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
MehrFormale Logik. PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg. Wintersemester 16/17 Sitzung vom 30.
Formale Logik PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg Wintersemester 16/17 Sitzung vom 30. November 2016 Süddeutsche Zeitung, 8. Januar 2010 Fehlschluss: G L (L G) vielleicht
MehrMusterlösung Grundbegriffe der Mathematik Frühlingssemester 2016, Aufgabenblatt 1
Musterlösung Grundbegriffe der Mathematik Frühlingssemester 01, Aufgabenblatt 1 Aufgabenblatt 1 0 Punkte Aufgabe 1 Welche der folgenden Ausdrücke sind Aussagen, welche sind Aussageformen und welche sind
MehrArgumentationstheorie 4. Sitzung
Noch ein Beispiel Argumentationstheorie 4. Sitzung Prof. Dr. Ansgar Beckermann Wintersemester 2004/5 empirische Hypothese (P1) echte Noch ein Beispiel Noch ein Beispiel empirische Hypothese (P1) Ein metaphysischer
MehrLogische Grundlagen des Mathematikunterrichts
Logische Grundlagen des Mathematikunterrichts Referat zum Hauptseminar Mathematik und Unterricht 10.11.2010 Robert Blenk Holger Götzky Einleitende Fragen Was muss man beweisen? Woraus besteht ein Beweis?
MehrAllgemeingü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
MehrDie Logik der Sprache PL
II Die Logik der Sprache PL 16 Der Aufbau der Sprache PL Ein Beispiel Problem (1) Alle Menschen sind sterblich. Sokrates ist ein Mensch. Also: Sokrates ist sterblich. Intuitiv ist dieses Argument gültig.
MehrMathematische 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
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.
Mehr2.2.4 Logische Äquivalenz
2.2.4 Logische Äquivalenz (I) Penélope raucht nicht und sie trinkt nicht. (II) Es ist nicht der Fall, dass Penélope raucht oder trinkt. Offenbar behaupten beide Aussagen denselben Sachverhalt, sie unterscheiden
MehrLogik Vorlesung 2: Semantik der Aussagenlogik
Logik Vorlesung 2: Semantik der Aussagenlogik Andreas Maletti 24. Oktober 2014 Überblick Inhalt 1 Motivation und mathematische Grundlagen 2 Aussagenlogik Syntax und Semantik Äquivalenz und Normalformen
MehrAufgabenblatt Punkte. Aufgabe 1 (Negation) Seien e R, n, m, k N und. Negieren Sie φ. 4. Lösung Es gilt
ufgabenblatt 3 40 Punkte ufgabe 1 (Negation) Seien e R, n, m, k N und φ e [e > 0 k n, m (((n k) (m k)) 1/n 1/m < e)] Negieren Sie φ. 4 Es gilt ϕ e [e > 0 k n, m (((n k) (m k)) 1/n 1/m < e)] e [e > 0 [
MehrLogik Vorlesung 2: Semantik der Aussagenlogik
Logik Vorlesung 2: Semantik der Aussagenlogik Andreas Maletti 24. Oktober 2014 Überblick Inhalt 1 Motivation und mathematische Grundlagen 2 Aussagenlogik Syntax und Semantik Äquivalenz und Normalformen
MehrVorbereitungskurs 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
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
MehrBeweistechniken. 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
MehrFormeln. Signatur. aussagenlogische Formeln: Aussagenlogische Signatur
Signatur Formeln Am Beispiel der Aussagenlogik erklären wir schrittweise wichtige Elemente eines logischen Systems. Zunächst benötigt ein logisches System ein Vokabular, d.h. eine Menge von Namen, die
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
Mehr5. AUSSAGENLOGIK: SEMANTIK
5. AUSSAGENLOGIK: SEMANTIK 5.1 Charakteristische Wahrheitstaeln 5.2 Wahrheitsertzuordnung I 5.3 Die Konstruktion von Wahrheitstaeln 5.4 Wahrheit und Falschheit unter einer Wahrheitsertzuordnung 5.5 Wahrheitsbedingungen
MehrLogische Aussagen können durch die in der folgenden Tabelle angegebenen Operationen verknüpft werden.
Logische Operationen Logische ussagen können durch die in der folgenden Tabelle angegebenen Operationen verknüpft werden. ezeichnung Schreibweise (Sprechweise) wahr, genau dann wenn Negation (nicht ) falsch
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.
MehrParadoxien der materialen Implikation
Elementare Logik I VO WS 2017/18 Paradoxien der materialen Implikation Michael Matzer Zunächst einmal... Machen wir zunächst den Pfeil möglichst stark, d.h. untermauern wir die Position der klassischen
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
Mehr3 Aussagenlogik I - die Sprache AL
Seminar: Einführung in die Logik 1/5 3 Aussagenlogik I - die Sprache AL 1. Formale Sprachen: Die formalen Logik-Sprachen sollen folgende Bedingungen erfüllen: Sie sollen alle und nur die Argumente unserer
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
MehrFormale Grundlagen (Nachträge)
Inhaltsverzeichnis 1 Aussagenlogik: Funktionale Vollständigkeit................... 1 Bit-Arithmetik mit logischen Operationen.................... 3 Prädikatenlogik: Eine ganz kurze Einführung..................
MehrEin Teddybär für Philosophen
Geo Siegwart Ein Teddybär für Philosophen Grammatik, Logik, Definitorik Break every rule! Tina Turner 1. Grammatik für Standardsprachen erster Stufe Sprachliche Gegebenheiten lassen sich im Lichte verschiedener
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
MehrLogik: aussagenlogische Formeln und Wahrheitstafeln
FH Gießen-Friedberg, Sommersemester 2010 Lösungen zu Übungsblatt 1 Diskrete Mathematik (Informatik) 7./9. April 2010 Prof. Dr. Hans-Rudolf Metz Logik: aussagenlogische Formeln und Wahrheitstafeln Aufgabe
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
MehrIndexmengen. Definition. n n n. i=1 A i := A 1... A n
Indexmengen Definition Es sei n N. Für Zahlen a 1,..., a n, Mengen M 1,..., M n und Aussagen A 1,..., A n definieren wir: n i=1 a i := a 1 +... + a n n i=1 a i := a 1... a n n i=1 M i := M 1... M n n i=1
MehrSE PHILOSOPHISCHE LOGIK WS 2014 GÜNTHER EDER
SE PHILOSOPHISCHE LOGIK WS 2014 GÜNTHER EDER FORMALE SPRACHEN Wie jede natürliche Sprache, hat auch auch jede formale Sprache Syntax/Grammatik Semantik GRAMMATIK / SYNTAX Die Grammatik / Syntax einer formalen
MehrEinführung in die Aussagenlogik
Einfühung in die Aussagenlogik D. 1. (Aussage) Eine Aussage ist ein Satz, de genau einen de genau einen de Wahheitswete wah (W) ode falsch (F) hat. B. 1. Die sog. zweiwetige Logik basiet auf folgenden
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/ 31 Die Logik der Quantoren Till Mossakowski Logik 2/ 31 Wahrheitsfunktionale Form
MehrLogik. Logik. Quick Start Informatik Theoretischer Teil WS2011/ Oktober QSI - Theorie - WS2011/12
Logik Logik Quick Start Informatik Theoretischer Teil WS2/2 7. Oktober 2 Logik > Logik > logische Aussagen Logik Logik > Logik > logische Aussagen Motivation Logik spielt in der Informatik eine wichtige
MehrAussagenlogik. 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
MehrVorlesung Mathematik I für Wirtschaftswissenschaftler. Universität Leipzig, WS 16/17
Vorlesung Mathematik I für Wirtschaftswissenschaftler Universität Leipzig, WS 16/17 Prof. Dr. Bernd Kirchheim Mathematisches Institut kirchheim@math.uni-leipzig.de 1 / 19 Dies ist der Foliensatz zur Vorlesung
MehrERRATA. Ü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
MehrAussagenlogik-Boolesche Algebra
Aussagenlogik-Boolesche Algebra 1 Aussagen In der Mathematik und in der Logik werden Sätze der Umgangssprache nur unter bestimmten Bedingungen Aussagen genannt. Sätze nennt man Aussagen, wenn sie etwas
MehrFakultät für Informatik Universität Magdeburg Jürgen Dassow. Vorbemerkungen
Vorbemerkungen if (x > y) z = x; else z = y; Wenn es blaue Tiger regnet, dann fressen alle Kirschbäume schwarze Tomaten. q(1) = 1, q(i) = q(i 1) + 2i 1 für i 2 Welchen Wert hat q(6)? 24 ist durch 2 teilbar.
MehrLogische Folgerung. Definition 2.11
Logische Folgerung Definition 2.11 Sei 2A eine aussagenlogische Formel und F eine endliche Menge aussagenlogischer Formeln aus A. heißt logische Folgerung von F genau dann, wenn I ( ) =1für jedes Modell
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
MehrLogik für Informatiker
Logik für Informatiker 2. Aussagenlogik Teil 3 30.04.2012 Viorica Sofronie-Stokkermans Universität Koblenz-Landau e-mail: sofronie@uni-koblenz.de 1 Letztes Mal Aussagenlogik Syntax: welche Formeln? Semantik:
MehrGrundkurs Logik - 2. Einheit
19. Oktober 2012 Logische Form Um die logische Form eines Argumentes (bzw. der Behauptungssätze, aus denen es aufgebaut ist) ersichtlich zu machen, sind zwei Dinge besonders wichtig: Logische Form Um die
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
MehrDiskrete 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
MehrAnalysis I für Studierende der Ingenieurwissenschaften
Analysis I für Studierende der Ingenieurwissenschaften Prof. Dr. Timo Reis Fachbereich Mathematik, Universität Hamburg Technische Universität Hamburg-Harburg Wintersemester 2014/2015 1 Informationsquellen
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
MehrEine Aussage ist ein Satz der Umgangssprache, der wahr oder falsch sein kann. Man geht von dem Folgenden aus:
Karlhorst Meyer Formallogik Die Umgangssprache ist für mathematische Bedürfnisse nicht exakt genug. Zwei Beispiele: In Folge können u. U. Beweise, die in Umgangssprache geschrieben werden, nicht vollständig,
MehrEinführung in die formale Logik. Prof. Dr. Andreas Hüttemann
Einführung in die formale Logik Prof. Dr. Andreas Hüttemann Textgrundlage: Paul Hoyningen-Huene: Formale Logik, Stuttgart 1998 1. Einführung 1.1 Logische Folgerung und logische Form 1.1.1 Logische Folgerung
MehrLogische Grundlagen. Junktoren. Dörthe Brachwitz
Logische Grundlagen Junktoren Dörthe Brachitz Was erartet Euch heute? Fachliches Wissen Deinitionen der Begrie Aussage, Aussageormen, Junktoren (Negation, Konjunktion, Disjunktion, Alternative, Subjunktion
MehrFormale Logik. 1. Sitzung. Allgemeines vorab. Allgemeines vorab. Terminplan
Allgemeines vorab Formale Logik 1. Sitzung Prof. Dr. Ansgar Beckermann Sommersemester 2005 Wie es abläuft Vorlesung Übungszettel Tutorien Es gibt ca. in der Mitte und am Ende des Semesters je eine Klausur
MehrLogik 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
MehrAnalysis 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
MehrLineare 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
MehrDiskrete Strukturen Manuskript
Sebastian Thomas RWTH Aachen, WS 2017/18 12. Oktober 2017 Diskrete Strukturen Manuskript Die Vorlesung richtet sich an Studierende des Studiengangs Bachelor of Science Informatik und verwandter Studiengänge.
MehrAnalysis 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