Ableitbarkeit

Ableitbarkeit

Ableiten mit Abtrennungsregel

Aus Ausdrücken der Form $ \ H,(H\rightarrow H^{*}) $ ist $ \ H^{*}\  $ ableitbar.

$ abla\  $

A) Wenn $ {H\in X} $, so $ {XablaH} $

I) Wenn $ {Xabla(H\rightarrow H^{*})} $ und $ XablaH\  $, so $ XablaH^{*}\  $

$ {\ aba} $

Die Operation $ {aba} $ ist definiert als: $ aba(X):=\{H\vert XablaH\} $

Ableiten mit Einsetzungsregel

Aus dem Ausdruck $ {H\ } $, der die Aussagenvariable $ \ p_{i} $ enthält, entsteht der Ausdruck $ \ H(p_{i}\vert H^{*}) $

Ableiten