Ableitbarkeit: Unterschied zwischen den Versionen
Aus Byte-Welt Wiki
Keine Bearbeitungszusammenfassung |
Keine Bearbeitungszusammenfassung |
||
| Zeile 14: | Zeile 14: | ||
A) Wenn <math>\ H \in X</math>, so <math>\ X able H </math><br/> | A) Wenn <math>\ H \in X</math>, so <math>\ X able H </math><br/> | ||
I) Wenn <math>\ X able H </math> und <math> H^* \in ausd</math>, so <math>\ X able H ( p_i \vert _{H^*} ) </math><br/> | I) Wenn <math>\ X able H </math> und <math> H^* \in ausd</math>, so <math>\ X able H ( p_i \vert _{H^*} ) </math><br/> | ||
<math>\ abe </math> | <math>\ abe </math><br/> | ||
Die Operation <math>{\ abe }</math> ist definiert als: <math> abe ( X ) := \{ H \vert X able H \} </math> | Die Operation <math>{\ abe }</math> ist definiert als: <math> abe ( X ) := \{ H \vert X able H \} </math> | ||
| Zeile 25: | Zeile 25: | ||
(Abtrennungsregel) | (Abtrennungsregel) | ||
b) Wenn <math>\ X able H </math> und <math> H^* \in ausd</math>, so <math>\ X able H ( p_i \vert _{H^*} ) </math> | b) Wenn <math>\ X able H </math> und <math> H^* \in ausd</math>, so <math>\ X able H ( p_i \vert _{H^*} ) </math> | ||
(Einsetzungsregel) | (Einsetzungsregel)<br/> | ||
<math>\ ab </math> | <math>\ ab </math><br/> | ||
Die Operation <math>{\ ab }</math> ist definiert als: <math> ab ( X ) := \{ H \vert X abl H \} </math> | Die Operation <math>{\ ab }</math> ist definiert als: <math> ab ( X ) := \{ H \vert X abl H \} </math> | ||
Aktuelle Version vom 27. Juli 2007, 13:42 Uhr
Ableitbarkeit
[Bearbeiten | Quelltext bearbeiten]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^{*}) $
$ able\ $
A) Wenn $ \ H\in X $, so $ \ XableH $
I) Wenn $ \ XableH $ und $ H^{*}\in ausd $, so $ \ XableH(p_{i}\vert _{H^{*}}) $
$ \ abe $
Die Operation $ {\ abe} $ ist definiert als: $ abe(X):=\{H\vert XableH\} $
Ableiten
mit der Abtrennungs- und Einsetzungsregel
$ \ abl $
Die Relation wird induktiv definiert:
A) Wenn $ \ H\in X $, so $ \ XablH $
I) a) Wenn $ {Xabla(H\rightarrow H^{*})} $ und $ XablaH\ $, so $ XablaH^{*}\ $ (Abtrennungsregel) b) Wenn $ \ XableH $ und $ H^{*}\in ausd $, so $ \ XableH(p_{i}\vert _{H^{*}}) $ (Einsetzungsregel)
$ \ ab $
Die Operation $ {\ ab} $ ist definiert als: $ ab(X):=\{H\vert XablH\} $
