Die Logik der Quantoren Universität Hannover Philosophisches Seminar Referent: Klaus Boye 2005-06-30.

Slides:



Advertisements
Ähnliche Präsentationen
Motivation & Führungsstil
Advertisements

Aristoteles I Die Entwicklung des logischen Denkens unter Aristoteles
Sortieren Anwendungsbeispiele Kriterien Schnelles Suchen
Golfclub Straubing Stadt u. Land e.V.Zukunft braucht Erweiterung Klicken Sie auf das Bild Golfplatzerweiterung zur 27 Loch-Anlage.
Befehlssatz und Struktur
Datenbanksysteme für FÜ SS 2000 Seite Worzyk FH Anhalt SQL 1 Aussagen über Tabelleninhalte Aussagelogik Äquivalenzen Select Where.
Datenbanksysteme für FÜ WS2004/05 SQL1 - 1 Worzyk FH Anhalt SQL 1 Aussagen über Tabelleninhalte Aussagelogik Äquivalenzen Select Where.
Der B-Baum Richard Göbel.
Einführung in JavaScript II
Syntax der Aussagenlogik
Prolog und Prädikatenlogik I
Fuzzy-Logik und unscharfe Mengen
© Karin Haenelt 2006, Äquivalenzen Reg.Ausdrücke, Reg.Sprachen, EA ( ) 1 Reguläre Sprachen Karin Haenelt.
Prof. Dr. T. Kudraß1 Relationenkalkül. Prof. Dr. T. Kudraß2 Relationenkalkül Zwei Ausprägungen: Tupelrelationenkalkül (TRK) und Domänenrelationenkalkül.
Mathematische und logische Grundlagen der Linguistik
Fantasieregel Die Aussagenlogik
Institut für Kartographie und Geoinformation Dipl.-Ing. J. Schmittwilken Diskrete Mathe II Übung
Deduktives Denken Logisches Schließen
Mathematisch-Naturwissenschaftliche Gymnasien
Wiederholung: Der Wahrheitsbegriff
Einführung in die Methoden der Psychologie Tutorium 1.4
Information Retrieval: Methoden zur Selektivitätsabschätzung
1 Theta-Verbindung: Beispiel Selektion der Buchungen für den 6. August 2000 mit den zugehörigen Passagieren: datum = 06-AUG-00 B.ticketNr = T.ticketNr.
Redaktionsarbeiten zu Intel Teach to the Future Akademie für Lehrerfortbildung und Personalführung Dillingen,
Das Persönliche Beratungsgespräch: Face – to – Face Einzelberatung
20:00.
Prävention mit neuen Medien Möglichkeiten und Grenzen Dr. Yves Hänggi, 17. Januar 2013.
Fehlerlösungen für Installateure per Handy oder Internet.
Kapitel - Thema letzte Aktualisierung © Accor Hospitaliy Germany Notizen BLANKO 0 X – XXXXXXX XXXXXXXXXXXXXXXXXXX Anmerkung XXXXXXXX Headline.
Regelfragen für Schiedsrichter-Anwärter
Gerd Kellermann Duale Lehrerbildung Zum Studium 2012/13.
Quantum Computing Hartmut Klauck Universität Frankfurt WS 05/
Beweissysteme Hartmut Klauck Universität Frankfurt WS 06/
Hartmut Klauck Universität Frankfurt WS 06/
Einführung in die empirische Sozialforschung für Geographen EESG/00/01 © Peter Weichhart VO Modul 00 Vorbemerkungen und Spielregeln SS Std.,
Regelfragen für Schiedsrichter-Anwärter
Regel - 04 ausrüstung der spieler
REGEL - 08 BEGINN U. FORTSETZUNG DES SPIELS Schiedsrichter 1 Regelfragen für Schiedsrichter-Anwärter VSL - Bernd Domurat.
Regelfragen für Schiedsrichter-Anwärter
Test Gradnetz 1 . Verständnisfragen Orte suchen Koordinaten ablesen
Aufgabenstellung Aufgabenstellung: What do the following terms (formulae) express? Which of these terms characterize all sequences of real numbers , x_n.
* Angebotspreis inkl. ges. MwSt. Alle Preisangaben in EURO. Die Preise sind vom bis zum gültig. Keine MitnahmegarantieAngebotspreis.
Power Point für Profis > Eine Präsentation Triggern > Was ist das denn ???? … und wozu braucht man so eine Spielerei ???? Der eigentliche Witz.
Regelfragen für Schiedsrichter-Anwärter
Terminübersicht für Klasse – Fachinterne Überprüfung in Frz./MuM/Te – Eurokom Englisch – FKP-
Sponsoringinformationen Forum Mittelstand. © 2010 Cisco Systems, Inc. All rights reserved. 2 Zugang zum Forum Mittelstand zur Wahrnehmung von Kundengesprächen.
Die Sternenuhr Wir entdecken die Wissenschaften LTAM Steffen M. 2003/04 Kneip R.
Kinderbibeltage in Oferdingen vom 1. – 4. November 2006.
Fachschaft Mathematik und Informatik
Foto: Stephan Marti - FinanzblogFinanzblog Fernwärme.
Das wissenschaftsorientierte Unterrichtskonzept
Informatik III Christian Schindelhauer Wintersemester 2006/07
Aussagenlogik G. Laner 03/04
Grundlegendes zu Formeln u. Funktionen
Grundkurs Philosophie in der MSS
Staudinger Wer bin ich?. Staudinger Wer bin ich? Technische Hinweise Nutzen: Anklicken eines Puzzlesteins  Entfernen Klick neben das Puzzlefeld  nächste.
Sichtbarkeit von Religion, Karlsruhe, 23. Oktober 2013, © H.R.Hiegel 01 Danke für die Initiative und die Einladung. Ich werde versuchen, 5 Punkte zu unterbreiten.
(C) R.SIE Der Elektromotor S N
Tupelkalkül: Notation (1)
Kapitel 4: Aussagen-, Prädikatenlogik
Grundlagen der mathematischen Logik
(Wirtschafts-)mathematik I Mathe im Wandel der Zeit Volksschule 1960: Ein Bauer verkauft einen Sack Kartoffeln für 50 DM. Die Erzeugerkosten betragen 40.
Referent: IHR NAME, Thema: IHR THEMA Seminar S 20X Titel des Seminars bei Prof. Dr. Hermann Hill, Xxxsemester 201X 1 Titel Ihrer Seminararbeit Referent:
1 Vo#8 Prädikatenlogik Semantik, Zuzana Tuhárska, Matej-Bel- Universität in Banská Bystrica.
1Formeln in ExcelPiWa 2006/07 Aufbau und Eingabe von Formeln l Funktion = vorgefertigte Formel Formel Funktion.
Wiederholung: Der Wahrheitsbegriff
Logik in der Informatik II
W Passen Sie dieses Banner mit Ihrer eigenen Aussage an! Markieren Sie den Buchstaben, und fügen Sie eigenen Text hinzu. Verwenden Sie pro Folie ein einziges.
a Passen Sie dieses Banner mit Ihrer eigenen Aussage an! Markieren Sie den Buchstaben, und fügen Sie eigenen Text hinzu. Verwenden Sie pro Folie.
H Passen Sie dieses Banner mit Ihrer eigenen Aussage an! Markieren Sie den Buchstaben, und fügen Sie eigenen Text hinzu. Verwenden Sie pro Folie ein einziges.
 Präsentation transkript:

Die Logik der Quantoren Universität Hannover Philosophisches Seminar Referent: Klaus Boye

2 Inhalt Tautologien und Quantoren First Order validity and Consequence First Order equivalence und deMorgans law Quantorenäquivalenzen Die Axiomatische Methode

Tautologien und Quantoren wff sind Formeln noch keine Sätze.

Tautologien Ersetztbar durch: A v ¬A

truth functional form (tff) Dahinter verbirgt sich ein Algorhythmus, der vorhandene Teile überprüft und ihnen einen Buchstaben zuordnet. ¬(A٨B) (¬A۷¬C)

FO-Satz vs Truth functional form FO sentenceTruth functional form A۷¬A (A٨B) B A ۷ B A B A A۷ B

FO Gültigkeit und Schluss Logische Gültigkeit Dies ist keine logische Gültigkeit

FO Consequence (Schluss)

FO Gegenbeispiel Der Schluss ist falsch Aus den Prämissen kann man es bereits ablesen

Replacement Methode 1.alle aussagen sollen durch unlogische Begriffe oder Zeichen ersetzt werden. 2.Suche nach der Möglichkeit, das P1 bis Pn nicht stimmt. Gibt es keine, ist der Satz logisch gültig. 3.Suche nach der Möglichkeit, das der Satz falsch ist, so lange wie P1 bis Pn wahr sind. Wird keine gefunden, ist der Satz ein FO Schluss.

FO Äquivalenz In wff Schreibweise P(x)Q(x) ¬Q(x)¬(Px)

Logische Äquivalenz

Ersetzte Quantoren Allquantor Existenzquantor

Weitere Äquivalenzen

weitere Quantorenäquivalenzen Der Allquantor, logische Äquivalenz Der Existenzquantor

Axiomatische Methode um einen Schluss zu ziehen, braucht man genügend Prämissen. …dies reicht an Informationen nicht aus.

Prämissen einfügen und Schluss ziehen Hinzufügen von zwei weiteren Prämissen… …führen zu einem korrekten Schluss