Created by David Bratschke
about 7 years ago
|
||
Question | Answer |
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 |
Want to create your own Flashcards for free with GoConqr? Learn more.