Flashcards
21.2.5 Prädikatenlogik, formale Beweise
Cards in this deck (10)
- 1Nenne die fünf Äquivalenzregeln, die sowohl in der Aussagenlogik als auch in der Prädikatenlogik für formale Beweise gelten.Kommutativität, Assoziativität, De Morgan, doppelte Negation, Implikation
- 2Welche Schlussregeln gelten in der Prädikatenlogik?die gleichen Regeln wie in der Aussagenlogik
- 3Welche Äquivalenzregeln kommen bei der Prädikatenlogik zusätzlich zur Aussagenlogik hinzu?Alle Äquivalenzregeln, die sich auf Quantoren beziehen:
Quantorwechsel, Quantortausch, Quantorzusammenfassung, Quantorelimination, Quantifizierung - 4Welche Schlussregeln kommen in der Prädikatenlogik dazu?\( \forall \) Instantiierung
und
\(\exists\) Instantiierung - 5Wie lautet die Schlussregel \(\forall\) Instantiierung?dass man von
\(\forall x \alpha\) auf die einzelnen Formeln im Quantor schließen kann:
\alpha_{[x, a]}, \alpha_{[x, f(a,b)]} .. - 6Ergänze: Die Regel der \(\forall\)-Instantiierung erlaubt es, ..Der Allquantor "abzustreifen"
- 7Was besagt die Schlussregel der \(exists\)-Instantiierung?Sie besagt, dass man von
∃xα auf α[x/a] schließen kann,
falls a ein völlig neues Konstantensymbol ist. - 8Darf man Schlussregeln auch auf Teilformeln anwenden?Nein.
- 9Welche Voraussetzung muss gelten, damit man die \(\forall\)-Instantiierung anwenden kann?Der Term muss ein variablenfreier Term sein.
- 10Wann darf man die \(\exists\)-Instantiierung anwenden?Nur auf ein neues Variablensymbol bzw. eines, was vorher noch nicht verwendet wurde.
Information
- Description
- Mathematik (Grundlagen KE 7) Flashcards on 21.2.5 Prädikatenlogik, formale Beweise, created by David Bratschke on 05/07/2017.
- Created by
- David Bratschke
- Views
- 8
- Rating