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