Lösung von Aufgabe 2.2 SoSe 2018 - Versionsgeschichte

m.g.: /* Lösung */

2018-05-21T15:22:24Z

Lösung

← Nächstältere Version		Version vom 21. Mai 2018, 15:22 Uhr
Zeile 10:		Zeile 10:
	=Lösung=		=Lösung=
	a) <math>t \mid (a+b) \Rightarrow t \mid a \land t \mid b</math><br />		a) <math>t \mid (a+b) \Rightarrow t \mid a \land t \mid b</math><br />
	b) Folgende Versionen sind möglich:<br />		b) 3 teilt (4+5) aber weder 4 noch 5 <br />

			c) Folgende Versionen sind möglich:<br />
	<math>		<math>
	\begin{matrix}		\begin{matrix}

2018-05-21T15:20:58Z

← Nächstältere Version		Version vom 21. Mai 2018, 15:20 Uhr
Zeile 1:		Zeile 1:
			<div style="margin:0; margin-right:4px; border:1px solid #27408B; padding: 1em 1em 1em 1em; background-color:#FFFF99; align:left;">
			{\|width=90%\| style="background-color:#FFFF99; padding:1em"
			\| valign="top" \|
			<!--- Was hier drüber steht muss stehen bleiben --->

	=Aufgabe 2.2 SoSe 2018=		=Aufgabe 2.2 SoSe 2018=
	a) Bilden Sie sie Umkehrung von Satz S aus Aufgabe 2.1.<br />		a) Bilden Sie sie Umkehrung von Satz S aus Aufgabe 2.1.<br />
Zeile 8:		Zeile 13:
	<math>		<math>
	\begin{matrix}		\begin{matrix}
	(I) & \neg t \vert (a+b) & \Rightarrow & \neg (t \vert a \land t \vert b) \\		(a) & \neg t \vert (a+b) & \Rightarrow & \neg (t \vert a \land t \vert b) \\
	(II) & t \not\vert (a+b) & \Rightarrow & \neg (t \vert a \land t \vert b) \\		(b) & t \not\vert (a+b) & \Rightarrow & \neg (t \vert a \land t \vert b) \\
	(~~III~~) & t \not\vert (a+b) &\Rightarrow & t \not\vert a \lor t \not \vert b \\		(c) & t \not\vert (a+b) &\Rightarrow & t \not\vert a \lor t \not \vert b \\
	\end{matrix}		\end{matrix}
	</math><br />		</math><br />


			<!--- Was hier drunter steht muss stehen bleiben --->
			\|}
			</div>
			[[Kategorie:Einführung_S]]

2018-05-21T15:19:24Z

Lösung

← Nächstältere Version		Version vom 21. Mai 2018, 15:19 Uhr
Zeile 5:		Zeile 5:
	=Lösung=		=Lösung=
	a) <math>t \mid (a+b) \Rightarrow t \mid a \land t \mid b</math><br />		a) <math>t \mid (a+b) \Rightarrow t \mid a \land t \mid b</math><br />
	b) <math> t \not\vert (a+b) \Rightarrow t \not\vert a \~~land~~ t \not \vert b</math><br />		b) Folgende Versionen sind möglich:<br />
			<math>
			\begin{matrix}
			(I) & \neg t \vert (a+b) & \Rightarrow & \neg (t \vert a \land t \vert b) \\
			(II) & t \not\vert (a+b) & \Rightarrow & \neg (t \vert a \land t \vert b) \\
			(III) & t \not\vert (a+b) &\Rightarrow & t \not\vert a \lor t \not \vert b \\
			\end{matrix}
			</math><br />