PrÃ¤dikatenlogik 1. Stufe (kurz: PL1) Aussagenlogik zu ... - GWDG

Weitere Magazine

Empfehlungen

Info

Normalformen relativ triviale Normierungen sind folgende: Pränex-Normalform Beweis: <strong>zu</strong>erst wird A bereinigt, dann wendet man von innen nach außen geeignete Äquivalenzen auf Teilformeln an, um Quantoren "nach links <strong>zu</strong> schieben". 73
Beispiel: Bemerkung: Weitere Formelvereinfachung: Existenzquantoren durch neue Funktionszeichen ersetzen (Formel dann nicht mehr äquivalent, hat aber gleiche Modelle) ⇒ Skolem-Normalform 74
Seite 1 und 2: Prädikatenlogik 1. Stufe (kurz: PL
Seite 3 und 4: Definition: Formeln Gebundene und f
Seite 5 und 6: Notation für Substitutionen: Anwen
Seite 7 und 8: Wichtig ist der Begriff der "Unifik
Seite 9 und 10: "Allgemeinster Unifikator" einer Te
Seite 11 und 12: Unifikationssatz: Beweis: s. Schmit
Seite 13 und 14: "Variablenbelegung": Auswertung von
Seite 15 und 16: Das Koinzidenzlemma Substitutionsle
Seite 17 und 18: logisches (semantisches) Folgern: E
Seite 19: Tautologien in der Prädikatenlogik
Seite 23 und 24: Eine Art Normalform wird auch durch
Seite 25 und 26: Entscheidbarkeitsaussagen Satz von

PrÃ¤dikatenlogik 1. Stufe (kurz: PL1) Aussagenlogik zu ... - GWDG

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

Template löschen?

Als Template speichern?