9485887
Beschreibung
Karteikarten von David Bratschke, aktualisiert more than 1 year ago
|
Erstellt von David Bratschke
vor fast 7 Jahre
|
|
| Frage | Antworten |
| Wann ist eine prädikatenlogische Formel in Negationsnormalform ? | Eine Formel \(\alpha\) ist in Negationsnormalform, wenn jedes Negationszeichen direkt vor einer Primformel steht |
| Worauf beruht ein Verfahren, um eine prädikatenlogische Formel in Negationsnormalform zu bringen? | Auf dem Quantorenwechsel, den Gesetzen von de Morgan, der Elimination von doppelten Negationen |
| Wann ist eine Formel in pränexer Normalform? | Wenn alle Quantoren am Anfang der Formel stehen. |
| Wie werden die Quantoren bezeichnet, welche in pränexer Normalform am zusammen am Anfang der Formel stehen? | Als Präfix. |
| Was ist der "Kern" einer Formel in pränexer Normelform? | Der Teil der Formel, nach den Quantoren, der selbst keine Quantoren mehr enthält |
| Aus welchen zwei Teilen besteht eine prädikatenlogische Formel in pränexer Normalform? | Aus Präfix und Kern |
| Was ist der erste Schritt, um eine Formel in Negationsnormalform in pränexe Normalform zu überführen? | konsistente Umbenennung bis verschiedene Quantoren sich auf verschiedene Variablen beziehen und keine Variable sowohl frei als auch gebunden auftritt. |
| Was ist der zweite Schritt, um eine Formel in Negationsnormalform in pränexe Normalform zu überführen? | Quantizierung der Formeln bis dies nicht mehr weiter möglich ist. |
| Wann liegt der Kern einer prädikatenlogischen Formel in konjunktive Normalform vor? | Analog zur Aussagenlogik, nur dass die Primformeln den Atomen in der Aussagenlogik entsprechen |
| Was ist ein Literal in der Prädikatenlogik? | Eine Primformel oder ihre Negation |
| Was ist eine Klausel in der Prädikatenlogik? | genauso wie in der Aussagenlogik: Eine Disjunktion von Literalen |
| Was ist eine konjunktive Normalform in der Prädikatenlogik? | wie in der Aussagenlogik: eine Konjunktion von Klauseln |
Möchten Sie mit GoConqr kostenlos Ihre eigenen Karteikarten erstellen? Mehr erfahren.