Flashcards
21.2.4 Prädikatenlogik, Normalformen
Flashcards do conjunto (12)
- 1Wann ist eine prädikatenlogische Formel in Negationsnormalform ?Eine Formel \(\alpha\) ist in Negationsnormalform, wenn jedes
Negationszeichen direkt vor einer Primformel steht - 2Worauf 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
- 3Wann ist eine Formel in pränexer Normalform?Wenn alle Quantoren am Anfang der Formel stehen.
- 4Wie werden die Quantoren bezeichnet, welche in pränexer Normalform am zusammen am Anfang der Formel stehen?Als Präfix.
- 5Was ist der "Kern" einer Formel in pränexer Normelform?Der Teil der Formel, nach den Quantoren, der selbst keine Quantoren mehr enthält
- 6Aus welchen zwei Teilen besteht eine prädikatenlogische Formel in pränexer Normalform?Aus Präfix und Kern
- 7Was 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. - 8Was 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.
- 9Wann liegt der Kern einer prädikatenlogischen Formel in konjunktive Normalform vor?Analog zur Aussagenlogik, nur dass die Primformeln den Atomen in der Aussagenlogik entsprechen
- 10Was ist ein Literal in der Prädikatenlogik?Eine Primformel oder ihre Negation
- 11Was ist eine Klausel in der Prädikatenlogik?genauso wie in der Aussagenlogik:
Eine Disjunktion von Literalen - 12Was ist eine konjunktive Normalform in der Prädikatenlogik?wie in der Aussagenlogik:
eine Konjunktion von Klauseln
Informações
- Descrição
- Mathematik (Grundlagen KE 7) FlashCards sobre 21.2.4 Prädikatenlogik, Normalformen, criado por David Bratschke em 05-07-2017.
- Criado por
- David Bratschke
- Visualizações
- 6
- Avaliação