Ableitbarkeit
Aus Byte-Welt Wiki
Version vom 27. Juli 2007, 09:43 Uhr von SeannWilliamScott (Diskussion | Beiträge) (Die Seite wurde neu angelegt: ='''Ableitbarkeit'''= <b>Ableiten mit Abtrennungsregel</b><br/> Aus Ausdrücken der Form <math>\ H , (H \rightarrow H^* )</math> ist <math>\ H^*\ </math> ableitbar.<...)
Ableitbarkeit
Ableiten mit Abtrennungsregel
Aus Ausdrücken der Form <math>\ H , (H \rightarrow H^* )</math> ist <math>\ H^*\ </math> ableitbar.
<math> abla\ </math>
A) Wenn <math>{ H \in X }</math>, so <math>{ X abla H }</math>
I) Wenn <math>{ X abla ( H \rightarrow H^* ) }</math> und <math> X abla H\ </math>, so <math> X abla H^*\ </math>
<math>{\ aba }</math>
Die Operation <math>{ aba }</math> ist definiert als: <math> aba( X ) := \{ H \vert X abla H \} </math>
Ableiten mit Einsetzungsregel
Aus dem Ausdruck <math>{ H\ }</math>, der die Aussagenvariable <math>\ p_{i} </math> enthält, entsteht der Ausdruck <math>\ H ( p_{i} \vert H^* )</math>
Ableiten
