21.2.5 Prädikatenlogik, formale Beweise

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?