Mathematik (Grundlagen KE 7) Karteikarten am 21.2.5 Prädikatenlogik, formale Beweise, erstellt von David Bratschke am 05/07/2017.
|
Erstellt von David Bratschke
vor mehr als 9 Jahre
|
|
Schließen
|
|
Erstellt von David Bratschke
vor mehr als 9 Jahre
|
|
Nenne die fünf Äquivalenzregeln, die sowohl in der Aussagenlogik als auch in der Prädikatenlogik für formale Beweise gelten.
Welche Schlussregeln gelten in der Prädikatenlogik?
Welche Äquivalenzregeln kommen bei der Prädikatenlogik zusätzlich zur Aussagenlogik hinzu?
Welche Schlussregeln kommen in der Prädikatenlogik dazu?
Wie lautet die Schlussregel
\(\forall\) Instantiierung?
Ergänze:
Die Regel der \(\forall\)-Instantiierung erlaubt es, ..
Was besagt die Schlussregel der
\(exists\)-Instantiierung?
Darf man Schlussregeln auch auf Teilformeln anwenden?
Welche Voraussetzung muss gelten, damit man die \(\forall\)-Instantiierung anwenden kann?
Wann darf man die \(\exists\)-Instantiierung anwenden?
