Folienskript zur Aussagenlogik (pdf)

Weitere Magazine

Empfehlungen

Info

NF Komplexität (Abschätzung) • Eine komplexe Formel wird durch ein Zeichen ersetzt • Jedes Bikonditional wird durch eine KNF Formel aus 12 Zeichen ersetzt • Jedes Konditional, Disjunktion oder Konjunktion wird durch eine KNF Formel aus 7 Zeichen ersetzt • Jede Negation wird durch eine KNF Formel aus 4 Zeichen ersetzt 31
Als Beispiel betrachten wir das Formelschema (F 1 ↔ (F 2 ↔ (. . . F n ))) n Zeichen ohne Abk. Zeichen mit Abk. 2 (n−1) · n 1 + (n − 1) · 12 2 2 1 · 2 = 4 1 + 12 = 13 3 2 2 · 3 = 12 1 + 24 = 25 4 2 3 · 4 = 32 1 + 36 = 37 5 2 4 · 5 = 80 1 + 48 = 49 . . . . . . . . . 10 2 9 · 10 = 5120 1 + 108 = 109 31
Seite 1 und 2: Praktikum Beweiser Praktikum SS 200
Seite 3 und 4: Typische Probleme • Ist eine Wiss
Seite 5 und 6: Ziel: Formalisierung von Argumentat
Seite 7 und 8: Prädikatenlogik • Einführung, S
Seite 9 und 10: Semantik der Aussagenlogik Interpre
Seite 11 und 12: Folgerungsbegriff Beim logischen Ar
Seite 13 und 14: Eigenschaften des Semantischen Folg
Seite 15 und 16: Deduktionstheorem der Aussagenlogik
Seite 17 und 18: Wahrheitstafelmethode Aufgabe: Ents
Seite 19 und 20: Literale und Klauseln, Klammerregel
Seite 21 und 22: Normalformen Eine Formel F ist in N
Seite 23 und 24: Mittels der Wahrheitstafelmethode E
Seite 25 und 26: Erzeugung KNF (II) Das Verfahren mi
Seite 27 und 28: Komplexität der NF-Transformation
Seite 29 und 30: Einführung von Abkürzungen • Is
Seite 31 und 32: ((¬R 1 ∨ ¬G ∨ R 2 ) ∧ (¬R
Seite 33: Liste der KNF Umformungen Bei der E
Seite 37 und 38: Frege/Hilbert-Kalküle Logikkalkül
Seite 39 und 40: Natürliche“ Kalküle (Gentzen, 1
Seite 41 und 42: Strukturelle Regeln des Sequenzenka
Seite 43 und 44: Der Tableaukalkül • Der Tableauk
Seite 45 und 46: Tableaukalkül (formal) Gegeben: Ei
Seite 47 und 48: Eigenschaften des Tableaukalküls V
Seite 49 und 50: Korrektheit des Tableaukalküls Zu
Seite 51 und 52: Hintikkamengen Eine Menge aussagenl
Seite 53 und 54: Klauseltableaux In der Praxis erheb
Seite 55 und 56: Konnektionstableaux (2) Beispiel f
Seite 57 und 58: Das Konnektionslemma Verstärkung e
Seite 59 und 60: Vollständigkeit des Konnektionstab
Seite 61 und 62: Konnektiertheit und Beweiskonfluenz
Seite 63 und 64: Resolution (2) Resolutionsherleitun
Seite 65 und 66: Semantische Bäume • Optimierung
Seite 67 und 68: Semantische Bäume (3) Gesättigter
Seite 69 und 70: Implementierung Semantischer Bäume
Seite 71 und 72: Astliterale {q,¬r} {q,r} {¬p,¬q}
Seite 73 und 74: Datenstrukturen Implementation Sema
Seite 75 und 76: Implementation Semantischer Baum-Ve
Seite 77 und 78: Semantische Bäume und Resolution R
Seite 79 und 80: Das Duplikationsproblem in Semantis

Folienskript zur Aussagenlogik (pdf)

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

Template löschen?

Als Template speichern?