2.4 Ableiten und Cut-Ableiten

Ziel Ableiten

Frage:

Gib an, was das Ziel vom Ableiten ist!

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Regeln Ableiten

Frage:

Welche Ableitungsregeln gibt es? 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Ziel Cut-Ableiten

Frage:

Was ist das Ziel von Cut- Ableitungen?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Syntaktische Umformung zu Klauseln

Frage:

Gib das Vorgehen zum erstellen einer KNF an!

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Schnittregel

Frage:

Gib an, was unter der Schnittregel zu verstehen ist!

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Beweis Schnittregel

Frage:

Beweise die Schnittregel!

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Cut-Ableiten

Frage:

Definiere die Cut-Ableitung!

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Eigenschaften Cut-Ableiten

Frage:

Nenne Eigenschaften von Cut-Ableitungen!

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Vergleich Folgern und Ableiten

Frage:

Vergleiche Folgern und Ableiten!

Nenne Gemeinsamkeiten und Unterschiede!

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Eigenschaften Ableitungsregeln

Frage:

Was sind die Eigenschaften der Ableitungsregeln?  

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Ableiten Hülleneigenschaften

Frage:

 Welche Hülleneiegenschaften gelten für das Ableiten?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Deduktionstheorem Ableitung

Frage:

Gilt das Deduktionstheorem für die Ableitungsregeln?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Satz von der Rückverlegbarkeit der Einsetzungsregel

Frage:

Was versteht man unter dem Satz von der Rückverlegbarkeit der Einsetzungsregel?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Ableitbarkeitstheorem

Frage:

 Für welche Ableitungsregeln gilt das Ableitbarkeitstheorem?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

syntaktische Vollständigkeit

Frage:

Was besagt die syntaktische Vollständigkeit von $ag$ bzgl. $ab$?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

abschwächung Deduktion

Frage:

Was besagt die Abschwächung des Deduktionstheorems?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Beweis Rückverlegbarkeit der Einsetzungsregel

Frage:

Beweise den Satz von der Rückverlegbarkeit der Einsetzungsregel!

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Beweis Abschwächung des Deduktionstheorems

Frage:

Beweise das $aba$ eine Abschwächung des Deduktionstheorems erfüllt:

Wenn $ag \subseteq aba(X)$, dann:

Wenn $X \cup \{H\} \  abla \ H'$, so $ X \ abla \ H \rightarrow H'$

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Beweis syntaktische Vollständigkeit

Frage:

Beweise die syntaktische Vollständigkeit von $ag$ bzgl. $ab$!

Wenn $H \in ag$, so ist $ab(ag \cup \{H\}) =ausd$

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.