Umformen von Implikation

06.11.2012, 10:54

Randomwsrt

Umformen von Implikation

Hallo,

wie beweise ich durch Umformung folgende Implikation?

$\begin{eqnarray*} R^{-1} \circ \overline T \subseteq \overline S \to R \circ S \subseteq T \end{eqnarray*}$ ?

$\begin{eqnarray*} R^{-1} \circ \overline T => (a,c) \in R^{-1} \circ \overline S => bRa \wedge b\overline T c \end{eqnarray*}$
und
$\begin{eqnarray*} (a,c) \in \overline S \end{eqnarray*}$

Aber wie kann und darf ich das nun weiter umformen?

Als Tipp wurde gegeben, dass $\begin{eqnarray*} R^{-1} \circ R^{-1} \end{eqnarray*}$ gleich der identischen Relation sei.

Danke für die Hilfe Wink

07.11.2012, 23:47

Abakus

Auf diesen Beitrag antworten »

RE: Umformen von Implikation

Zitat:

Original von Randomwsrt
$\begin{eqnarray*} R^{-1} \circ \overline T \subseteq \overline S \to R \circ S \subseteq T \end{eqnarray*}$ ?

Hallo,

das -1 soll die inverse Relation sein, aber was bedeutet der Querstrich oben? Bedenke bitte, dass wir deine Bezeichnungen nicht notwendig kennen.

Abakus smile

Neue Frage »

Antworten »

Umformen von Implikation

Verwandte Themen