Ableitbarkeit - Versionsgeschichte

SeannWilliamScott am 27. Juli 2007 um 13:42 Uhr

2007-07-27T13:42:10Z

← Nächstältere Version		Version vom 27. Juli 2007, 13:42 Uhr
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>

SeannWilliamScott am 27. Juli 2007 um 13:38 Uhr

2007-07-27T13:38:51Z

← Nächstältere Version		Version vom 27. Juli 2007, 13:38 Uhr
Zeile 6:		Zeile 6:
	A) Wenn <math>{ H \in X }</math>, so <math>{ X abla H }</math><br/>		A) Wenn <math>{ H \in X }</math>, so <math>{ X abla H }</math><br/>
	I) Wenn <math>{ X abla ( H \rightarrow H^* ) }</math> und <math> X abla H\ </math>, so <math> X abla H^*\ </math><br/>		I) Wenn <math>{ X abla ( H \rightarrow H^* ) }</math> und <math> X abla H\ </math>, so <math> X abla H^*\ </math><br/>
	<math>{\ aba }</math><br/>		<math>\ aba</math><br/>
	Die Operation <math>{ aba }</math> ist definiert als: <math> aba( X ) := \{ H \vert X abla H \} </math>		Die Operation <math>{\ aba }</math> ist definiert als: <math>\ aba( X ) := \{ H \vert X abla H \} </math>

			<b>Ableiten mit Einsetzungsregel</b><br/>
			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><br/>
			<math> able\ </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/>
			<math>\ abe </math>
			Die Operation <math>{\ abe }</math> ist definiert als: <math> abe ( X ) := \{ H \vert X able H \} </math>

	<b>Ableiten mit Einsetzungsregel</b><br/>		<b>Ableiten</b><br/>
	~~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>		mit der Abtrennungs- und Einsetzungsregel<br/>
			<math>\ abl</math><br/>
			Die Relation wird induktiv definiert:<br/>
			A) Wenn <math>\ H \in X</math>, so <math>\ X abl H </math><br/>
			I) a) Wenn <math>{ X abla ( H \rightarrow H^* ) }</math> und <math> X abla H\ </math>, so <math> X abla H^*\ </math>
			(Abtrennungsregel)
			b) Wenn <math>\ X able H </math> und <math> H^* \in ausd</math>, so <math>\ X able H ( p_i \vert _{H^*} ) </math>
			(Einsetzungsregel)
			<math>\ ab </math>
			Die Operation <math>{\ ab }</math> ist definiert als: <math> ab ( X ) := \{ H \vert X abl H \} </math>


	~~<b>Ableiten</b><br/>~~


	[[Kategorie:Aussagenlogik]]		[[Kategorie:Aussagenlogik]]

SeannWilliamScott: Die Seite wurde neu angelegt: ='''Ableitbarkeit'''= Ableiten mit Abtrennungsregel
Aus Ausdrücken der Form $\ H , (H \rightarrow H^* )$ ist $\ H^*\$ ableitbar.<...

2007-07-27T09:43:14Z

Die Seite wurde neu angelegt: ='''Ableitbarkeit'''= Ableiten mit Abtrennungsregel Aus Ausdrücken der Form <math>\ H , (H \rightarrow H^* )</math> ist <math>\ H^*\ </math> ableitbar.<...

Neue Seite

='''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 

[[Kategorie:Aussagenlogik]]

Ableitbarkeit - Versionsgeschichte

SeannWilliamScott am 27. Juli 2007 um 13:42 Uhr

SeannWilliamScott am 27. Juli 2007 um 13:38 Uhr

SeannWilliamScott: Die Seite wurde neu angelegt: ='''Ableitbarkeit'''= Ableiten mit Abtrennungsregel Aus Ausdrücken der Form \ H , (H \rightarrow H^* ) ist \ H^*\ ableitbar.<...

SeannWilliamScott: Die Seite wurde neu angelegt: ='''Ableitbarkeit'''= Ableiten mit Abtrennungsregel
Aus Ausdrücken der Form $\ H , (H \rightarrow H^* )$ ist $\ H^*\$ ableitbar.<...