14 Beurteilung umgangssprachlicher Sätze und Argumente mit aussagenlogischen Mitteln
|
|
- Emilia Sommer
- vor 7 Jahren
- Abrufe
Transkript
1 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 Eigenschaften umgangssprachlicher deutscher Sätze verwenden, in dem man dazu in der Lage ist, diese umgangssprachlichen Sätze adäquat in die Sprache AL zu übersetzen. Grundsätzliches 1 enn die Sätze A 1,..., A n und A der Sprache AL dieselben ahrheitsbedingungen haben wie die umgangssprachlichen Sätze A 1,..., A n und A, gilt nämlich: 1. enn der Satz A' logisch wahr ist, dann ist auch der Satz A logisch wahr; und 2. wenn der Satz A' logisch aus den Sätzen A' 1,..., A' n folgt, dann folgt auch der Satz A logisch aus den Sätzen A 1,..., A n. Grundsätzliches 2
2 alls sich die logische ahrheit eines umgangssprachlichen Satzes A schon dadurch nachweisen lässt, dass man zeigt, dass es für A eine angemessene Übersetzung A in AL gibt, für die gilt:! AL A, spricht man von der aussagenlogischen ahrheit des umgangssprachlichen Satzes A. Und entsprechend nennt man ein umgangssprachliches Argument A 1,..., A n, Also: A aussagenlogisch gültig, wenn sich seine Gültigkeit schon dadurch nachweisen lässt, dass man zeigt, dass es für die umgangssprachlichen Sätze A 1,..., A n und A angemessene Übersetzungen A 1,..., A n und A in AL gibt, für die gilt: A 1,..., A n! AL A. Grundsätzliches 3 Generelles Vorgehen enn man prüfen will, ob ein umgangssprachlicher Satz A in diesem Sinne aussagenlogisch wahr ist, muss man untersuchen, ob es eine angemessene Übersetzung A dieses Satzes in die Sprache AL gibt, von der sich zeigen lässt, dass sie logisch wahr ist. Grundsätzliches 4
3 Ein Problem Die meisten umgangssprachlichen Sätze lassen sich auf vielfältige eise in die Sprache AL übersetzen, und selbst wenn einige dieser Übersetzungen logisch wahr sind, gilt dies sicher nicht von allen. Jeder umgangssprachliche Satz kann z.b. einfach in einen Satzbuchstaben übersetzt werden, und Satzbuchstaben (und negierte Satzbuchstaben) sind niemals logisch wahr. Grundsätzliches 5 Beachte Die Übersetzung sollte soviel logische Struktur wie möglich besitzen. Denn je mehr logische Struktur ein Satz von AL besitzt, um so größer ist die ahrscheinlichkeit, dass man zeigen kann, dass er logisch wahr ist. Grundsätzliches 6
4 Noch einmal enn die Sätze A 1,..., A n und A der Sprache AL angemessene Übersetzungen der umgangssprachlichen Sätze A 1,..., A n und A sind, gilt : 1. enn der Satz A' logisch wahr ist, dann ist auch der Satz A logisch wahr. Umgekehrt gilt aber nicht allgemein 2. enn der Satz A nicht logisch wahr ist, dann ist der Satz Anicht aussagenlogisch wahr. Grundsätzliches 7 Allerdings gilt doch 3. enn A eine optimal strukturreiche Übersetzung von A ist und wenn A nicht logisch wahr ist, dann ist der Satz Anicht aussagenlogisch wahr. Und es gilt auch 4. enn A 1,..., A n und A optimal strukturreiche Übersetzungen der Sätze A 1,..., A n und A sind und A nicht logisch aus den Sätzen A 1,..., A n folgt, dann folgt der Satz Anicht aussagenlogisch aus den Sätzen A 1,..., A n. Grundsätzliches 8
5 rage ie kommt man zu einer optimal strukturreichen Übersetzung? Antwort 1. Man untersucht, welche Teilsätze des umgangssprachlichen Satzes Anicht in komplexe Sätze von AL übersetzt werden können, und übersetzt jeden dieser Teilsätze für sich in einen Satzbuchstaben. 2. Man bildet auf die in Kapitel 13 dargestellte eise mit Hilfe von Junktoren aus diesen Satzbuchstaben einen Satz, der (in etwa) dieselben ahrheitsbedingungen hat wie A. Grundsätzliches 9 Beispiel 1 (1) enn es hell wird, gehen die Lichter aus; wenn es aber nicht hell wird, gehen die Lichter nicht aus, vielmehr ist dann Vorsicht geboten. Beispiel 1 1
6 1. Schritt (inden einer optimal strukturreichen Übersetzung) (1) enn es hell wird, gehen die Lichter aus; wenn es aber nicht hell wird, gehen die Lichter nicht aus, vielmehr ist dann Vorsicht geboten. Offenbar können die folgenden Teilsätze von (1) nicht in komplexe Sätze übersetzt werden: (1.1) Es wird hell. (1.2) Die Lichter gehen aus. (1.3) Es ist Vorsicht geboten. Beispiel 1 2 Diese Sätze übersetzen wir in die Satzbuchstaben p, q und r, wobei wir von olgendem ausgehen: p " Es wird hell q " Die Lichter gehen aus r " Es ist Vorsicht geboten Aus diesen Satzbuchstaben muss nun ein komplexer Satz gebildet werden, der (in etwa) dieselben ahrheitsbedingungen hat wie der Satz (1). Nach den Überlegungen des Kapitels 13 ist dies z.b.: (1 ) ( p q ) ( p q r ) Beispiel 1 3
7 2. Schritt Überprüfung, ob (1 ) eine Tautologie oder eine Kontradiktion ist. (T-Methode) p q r (p q) ( p q r) Beispiel 1 4 Überprüfung, ob (1 ) eine Tautologie ist. (B-Methode) 1. ((p q) ( p q r)) A (p q) p q (2) (2) ( p q r) p ( q r) (1) (3) (3) 8. q 9. r (7) q 10. (8) Beispiel 1 5
8 Überprüfung, ob (1 ) eine Kontradiktion ist. (B- Methode) (p q) ( p q r) p q p q r A (1) (1) p p 7. q (2) 5. q r (3) 9. q (5) 10. r (5) x 8. p (4) 11. p 12. q x (2) Beispiel 1 6 enn es darum geht, die aussagenlogische Gültigkeit eines umgangssprachlichen Arguments A 1,..., A n, Also: A zu überprüfen, ist die Vorgehensweise ganz analog zu der Vorgehensweise bei der Überprüfung der aussagenlogischen ahrheit umgangssprachlicher Sätze: Erstens müssen für die Sätze A 1,..., A n und A optimal strukturreiche Übersetzungen A 1,..., A n und A in die Sprache AL gefunden werden, und zweitens muss überprüft werden, ob der Satz A logisch aus den Sätzen A 1,..., A n folgt. Aussagenlogische Gültigkeit 1
9 Beim ersten Schritt gilt wieder 1. Man untersucht zunächst, welche Teilsätze der Prämissen und der Konklusion selbst nicht in komplexe Sätze von AL übersetzt werden können, und übersetzt jeden dieser Teilsätze in einen Satzbuchstaben. 2. Man versucht, auf die in Kapitel 13 dargestellte eise mit Hilfe von Junktoren aus diesen Satzbuchstaben Sätze zu bilden, die (in etwa) dieselben ahrheitsbedingungen haben wie die Prämissen A 1,..., A n und die Konklusion A. Aussagenlogische Gültigkeit 2 Beispiel 2 (2) enn Dackel schneller als Pudel sind, sind weder Möpse noch Pekinesen schneller als Dackel. enn Pekinesen nicht schneller als Dackel sind, sind Möpse schneller als Dackel. Also: Dackel sind nicht schneller als Pudel oder Pekinesen sind schneller als Dackel. Beispiel 2 1
10 1. Schritt (inden einer optimal strukturreichen Übersetzung) Offenbar können die folgenden Teilsätze von (2) nicht in komplexe Sätze übersetzt werden: (2.1) Dackel sind schneller als Pudel. (2.2) Möpse sind schneller als Dackel. (2.3) Pekinesen sind schneller als Dackel. Beispiel 2 2 Diese Sätze übersetzen wir in die Satzbuchstaben p, q und r, wobei wir von olgendem ausgehen: p " Dackel sind schneller als Pudel q " Möpse sind schneller als Dackel r " Pekinesen sind schneller als Dackel Aus diesen Satzbuchstaben bilden wir drei komplexe Sätze, die (in etwa) dieselben ahrheitsbedingungen haben wie die Prämissen und die Konklusion von (2). Dies gilt z.b. für die Sätze: (2.1 ) p q r (2.2 ) r q (2.3 ) p r (Bedeutung der Satzbuchstaben wie angegeben.) Beispiel 2 3
11 Beispiel Schritt Überprüfung, ob (2.3 ) logisch aus (2.1 ) und (2.2 ) folgt. (T-Methode 1) q p p q r r q p r r Beispiel 2 5 (T-Methode 2) q p (p q r) ( r q) ( p r) r
12 B-Methode p q r r q 3. ( p r) A 4. p (3) 5. r (3) A A 6. r 7. q (2) x 8. p x 9. q r (1) 10. q (9) 11. r (9) x Beispiel 2 6 arnung Beurteilungen, die auf diese eise gewonnen werden, sind nur dann verlässlich, wenn die Übersetzungen der umgangssprachlichen Sätze in die Sprache AL wirklich angemessen sind. In den ällen, in denen das aus den in Kapitel 13 genannten Gründen nicht oder nur zum Teil der all ist, sind solche Ergebnisse daher immer mit Vorsicht zu betrachten. arnung
20 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
MehrFormale Logik. 4. Sitzung. Die Logik der Sprache AL. Die Logik der Sprache AL. Die Logik der Sprache AL
ormale Logik 4. Sitzung Prof. Dr. Ansgar Beckermann Sommersemester 2005 Erinnerung Ein Satz ist genau dann logisch wahr, wenn er unabhängig davon, was die in ihm vorkommenden deskriptiven Zeichen bedeuten
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
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
MehrDie 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
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 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
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
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:
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
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
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
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,
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
MehrÜBUNG ZUM GRUNDKURS LOGIK WS 2015 GÜNTHER EDER
ÜBUNG ZUM GRUNDKURS LOGIK WS 2015 GÜNTHER EDER FORMALE SPRACHEN Bevor wir anfangen, uns mit formaler Logik zu beschäftigen, müssen wir uns mit formalen Sprachen beschäftigen Wie jede natürliche Sprache,
Mehr19 Übersetzung umgangssprachlicher Sätze in die Sprache PL
19 Übersetzung umgangssprachlicher Sätze in die Sprache PL Erinnerung Man kann die logischen Eigenschaften der Sätze einer Sprache L, deren Logik wir gut verstehen, zur Beurteilung der logischen Eigenschaften
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................................
MehrÜbung zu Grundlagen der Logik und Logik-Programmierung
Übung zu Grundlagen der Logik und Logik-Programmierung Übungsblatt 7 (8.Übung) Florian Wittmann Uni Erlangen, Informatik 8 Inhalt 1 Aufgabe 7-1: Erfüllbarkeit 2 Aufgabe 7-2: Implikation 3 Aufgabe 7-3:
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
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
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.
MehrSprache, Beweis und Logik
Jon Barwise John Etchemendy Band Sprache, Beweis und Logik Aussagen- und Prädikatenlogik In Zusammenarbeit mit Gerald Allwein Dave BarkeT-Plummer Albert Liu Übersetzt und für das Deutsche bearbeitet von
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.
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
MehrSprache, Beweis und Logik
Jon Barwise John Etchemendy Sprache, Beweis und Logik Aussagen- und Prädikatenlogik In Zusammenarbeit mit GeraTd Allwein Dave BarkeT-Plummer Albert Liu Übersetzt und für das Deutsche bearbeitet von Joachim
MehrMotivation. 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
MehrMathematik 1 für Wirtschaftsinformatik
für Wirtschaftsinformatik Wintersemester 2012/13 Hochschule Augsburg : Gliederung 1 Grundlegende 2 Grundlegende 3 Aussagenlogik 4 Komplexe Zahlen 5 Lineare Algebra 6 Lineare Programme 3 Aussagenlogik
MehrÜBUNG ZUM GRUNDKURS LOGIK WS 2015/16 GÜNTHER EDER
ÜBUNG ZUM GRUNDKURS LOGIK WS 2015/16 GÜNTHER EDER WOZU PRÄDIKATENLOGIK (PL)? Aussagenlogik (AL) betrachtet Sätze / Argumente immer nur bezüglich ihrer aussagenlogischen Struktur. Ein Satz wie (1) Jaime
MehrErinnerung 1. Erinnerung 2
Erinnerung 1 Ein Argument ist eine Folge von Aussagesätzen, mit der der Anspruch verbunden ist, dass ein Teil dieser Sätze (die Prämissen) einen Satz der Folge (die Konklusion) in dem Sinne stützen, dass
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
MehrÜBUNG ZUM GRUNDKURS LOGIK SS 2016 GÜNTHER EDER
ÜBUNG ZUM GRUNDKURS LOGIK SS 2016 GÜNTHER EDER WOZU PRÄDIKATENLOGIK (PL)? Aussagenlogik (AL) betrachtet Sätze / Argumente immer nur bezüglich ihrer aussagenlogischen Struktur. Ein Satz wie (1) Jaime mag
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
MehrFragenkatalog 2. Abgabegespräch Formale Modellierung 3 Reguläre Sprachen
Fragenkatalog 2. Abgabegespräch Formale Modellierung 3 Reguläre Sprachen 1. Was ist eine formale Sprache? Menge von Zeichenketten, die aus den Symbolen eines beliebigen Alphabets aufgebaut sind. Zeichenkette:
Mehr2.1.3 Interpretation von aussagenlogischen Formeln. 1) Intensionale Interpretation
2.1.3 Interpretation von aussagenlogischen Formeln 1) Intensionale Interpretation Definition 11: Eine intensionale Interpretation einer aussagenlogischen Formel besteht aus der Zuordnung von Aussagen zu
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
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
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
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
MehrÜBUNG ZUM GRUNDKURS LOGIK SS 2016 GÜNTHER EDER
ÜBUNG ZUM GRUNDKURS LOGIK SS 2016 GÜNTHER EDER FORMALE SPRACHEN Bevor wir anfangen, uns mit formaler Logik zu beschäftigen, müssen wir uns mit formalen Sprachen beschäftigen Wie jede natürliche Sprache,
MehrFrank Heitmann 2/42. 1 Etwas aus der realen Welt in der Logik abstrakt ausdrücken. 2 In der Logik Schlüsse ziehen.
Literaturhinweis Formale Grundlagen der Informatik 1 Kapitel 13 Aussagenlogik & Frank Heitmann heitmann@informatik.uni-hamburg.de 23. Mai 2016 Literaturhinweis Der Logikteil (die nächsten fünf Wochen)
MehrFormale Grundlagen der Informatik 1 Kapitel 13 Aussagenlogik Syntax & Semantik
Formale Grundlagen der Informatik 1 Kapitel 13 Aussagenlogik & Frank Heitmann heitmann@informatik.uni-hamburg.de 23. Mai 2016 Frank Heitmann heitmann@informatik.uni-hamburg.de 1/42 Literaturhinweis Literaturhinweis
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
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
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
Mehr1.1 Motivation. Theorie der Informatik. Theorie der Informatik. 1.1 Motivation. 1.2 Syntax. 1.3 Semantik. 1.4 Formeleigenschaften. 1.
Theorie der Informatik 19. Februar 2014 1. Aussagenlogik I Theorie der Informatik 1. Aussagenlogik I Malte Helmert Gabriele Röger Universität Basel 19. Februar 2014 1.1 Motivation 1.2 Syntax 1.3 Semantik
MehrKapitel GWBS:III. III. Regeln mit Konfidenzen. Einführung. Verrechnung von Konfidenzen. Probleme des Ansatzes. Beispiel für ein Diagnosesystem
Kapitel GWBS:III III. Regeln mit Konfidenzen Einführung Verrechnung von Konfidenzen Probleme des Ansatzes Beispiel für ein Diagnosesystem GWBS: III-1 Konfidenzen c BUBECK/LETTMANN 2009-2010 Glaubwürdigkeit
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
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 /
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.
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
MehrAussagenlogische Widerlegungsverfahren zum Nachweis logischer Eigenschaften und Beziehungen
Einführung in die Logik - 4 Aussagenlogische Widerlegungsverfahren zum Nachweis logischer Eigenschaften und Beziehungen Widerlegungsverfahren zum Aufwärmen: Bestimmung von Tautologien mittels Quick Falsification
MehrPrämisse 1 Alle A sind B. Prämisse 2 Alle B sind C Konklusion Alle A sind C.
3 Prädikatenlogik Warum brauchen wir nach dem Abschluss der Aussagenlogik überhaupt noch eine Fortführung der formalen Logik? Beispiel eines korrekten logischen Schlusses zu betrachten: Prämisse 1 Alle
MehrSemantik 4: Baumkalküle
Semantik 4: Baumkalküle Robert Zangenfeind, Hinrich Schütze Center for Information and Language Processing, LMU Munich 2018-05-25 Zangenfeind & Schütze (LMU Munich): Baumkalküle 1 / 33 Beurteilung natürlichsprachiger
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 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
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
MehrWirtschafts- und Finanzmathematik
Wirtschafts- und Finanzmathematik für Betriebswirtschaft und International Management Wintersemester 2017/18 04.10.2017 Einführung, R, Grundlagen 1 11.10.2017 Grundlagen, Aussagen 2 18.10.2017 Aussagen
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
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/ 22 Quantoren Till Mossakowski Logik 2/ 22 Quantoren: Motivierende Beispiele x Cube(x)
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
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
Mehry(p F x) gebunden und in den Formeln F xy
Wirkungsbereich (Skopus) eines Quantors i bzw. i nennen wir die unmittelbar auf i bzw. i folgende Formel. Wir sagen, eine IV i kommt in einer Formel A gebunden vor, wenn sie unmittelbar auf oder folgt
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
Mehr1.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,
MehrTheorie der Informatik
Theorie der Informatik 1. Aussagenlogik I Malte Helmert Gabriele Röger Universität Basel 19. Februar 2014 Motivation Aufgabe von letzter Vorlesungsstunde Worin besteht das Geheimnis Ihres langen Lebens?
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
Mehr1 Argument und Logik
Seminar: 1/5 1 Argument und Logik Aussagesatz (1): Ein Aussagesatz ist ein Satz im Indikativ, der entweder wahr oder falsch ist. Problem der Indexikalität: Sätze im Indikaitv, die indexikalische Ausdrücke
Mehr6. AUSSAGENLOGIK: TABLEAUS
6. AUSSAGENLOGIK: TABLEAUS 6.1 Motivation 6.2 Wahrheitstafeln, Wahrheitsbedingungen und Tableauregeln 6.3 Tableaus und wahrheitsfunktionale Konsistenz 6.4 Das Tableauverfahren 6.5 Terminologie und Definitionen
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
MehrPotentiale und Grenzen der Argumentrekonstruktion
Potentiale und Grenzen der Argumentrekonstruktion Am Beispiel der Beurteilung der gesellschaftlichen Erwünschtheit von Smart Grid Technologien Konferenz Transformationsprozess Energiewende: Methoden der
Mehr4. Aussagenlogik 32 #WUUCIGPNQIKM
4. Aussagenlogik Wir haben bisher beschrieben, auf welche Weise die Objekte und Individuen in unserer Welt als einfache Mengen und Mengen von n-tupeln erfasst werden können. Daraufhin haben wir Relationen
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
MehrEinführung in die moderne Logik
Sitzung 1 1 Einführung in die moderne Logik Einführungskurs Mainz Wintersemester 2011/12 Ralf Busse Sitzung 1 1.1 Beginn: Was heißt Einführung in die moderne Logik? Titel der Veranstaltung: Einführung
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
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
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
MehrWissen und Gesellschaft I Einführung in die analytische Wissenschaftstheorie. Prof. Dr. Jörg Rössel
Wissen und Gesellschaft I Einführung in die analytische Wissenschaftstheorie Prof. Dr. Jörg Rössel Ablaufplan 1. Einleitung: Was ist Wissenschaft(stheorie) überhaupt? 2. Was sind wissenschaftliche Theorien?
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
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
MehrKünstliche Intelligenz Softwaretechnologie: Prolog
Künstliche Intelligenz Softwaretechnologie: Prolog Stephan Schwiebert sschwieb@spinfo.uni-koeln.de Wiederholung Konzepte logische Äquivalenz Die Aussagen p und q sind genau dann äquivalent, wenn sie unter
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.:
MehrGrundlagen der Programmierung
GdP2 Slide 1 Grundlagen der Programmierung Vorlesung 2 Sebastian Ianoski FH Wedel GdP2 Slide 2 Beispiel ür eine Programmveriikation Gegeben sei olgender Algorithmus: i (x>0) ((y+x) 0) then z := x y else
MehrKapitel 1.5. Ein adäquater Kalkül der Aussagenlogik. Teil 1: Kalküle und Beweisbarkeit und die Korrektheit des Shoenfield-Kalküls
Kapitel 1.5 Ein adäquater Kalkül der Aussagenlogik Teil 1: Kalküle und Beweisbarkeit und die Korrektheit des Shoenfield-Kalküls Mathematische Logik (WS 2012/13) Kapitel 1.5: Kalküle 1/30 Syntaktischer
MehrSummen- 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
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
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
MehrSemantik 2: Aussagenlogik
Semantik 2: Aussagenlogik Robert Zangenfeind, Hinrich Schütze Center for Information and Language Processing, LMU Munich 2018-04-17 Zangenfeind & Schütze (LMU Munich): Aussagenlogik 1 / 36 No phil. question
MehrVorlesung. 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
MehrVorkurs: Mathematik für Informatiker
Vorkurs: Mathematik für Informatiker Teil 3 Wintersemester 2016/17 Steven Köhler mathe@stevenkoehler.de mathe.stevenkoehler.de 2 c 2016 Steven Köhler Wintersemester 2016/17 Inhaltsverzeichnis Teil 1 Teil
MehrDIREKTER BEWEIS. Bei der direkten Beweismethode wird versucht, die Aussage direkt mit einem Beweis zu untermauern. n = 2k
DIREKTER BEEIS Bei der direkten Beweismethode wird versucht, die Aussage direkt mit einem Beweis zu untermauern. Augabe: Zeige: Das Quadrat einer geraden Zahl ist gerade. anders ormuliert: Ist n eine gerade
MehrFormale Grundlagen der Informatik 1 Kapitel 16 Normalformen und Hornformeln
Formale Grundlagen der Informatik 1 Kapitel 16 Normalformen und Frank Heitmann heitmann@informatik.uni-hamburg.de 9. Juni 2015 Frank Heitmann heitmann@informatik.uni-hamburg.de 1/36 Ersetzbarkeitstheorem
MehrFormale Grundlagen (Nachträge)
Inhaltsverzeichnis 1 Aussagenlogik: Funktionale Vollständigkeit................... 1 Bit-Arithmetik mit logischen Operationen.................... 3 Prädikatenlogik: Eine ganz kurze Einführung..................
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?
MehrVorlesung. 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
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
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,
Mehr