Logik - Ungleichung

06.03.2005, 18:04	Ledro	Auf diesen Beitrag antworten »
Logik - Ungleichung Hallo, im Zuge einer InvariantenBestimmung (Informatik) ergibt sich folgende Formel: $\begin{eqnarray} 4=4 \wedge 1 \leq x \Leftrightarrow 0 < x \end{eqnarray}$ Und nun stehe ich völlig auf dem Schlauch: wieso ist $\begin{eqnarray} true \wedge 1 \leq x \end{eqnarray}$ identisch mit $\begin{eqnarray} 0 < x \end{eqnarray}$ . Warum kleiner und nicht mehr kleiner gleich und warum 0??? Ich freue mich wieder über jeden Tipp und sage schon mal danke! ciao Ledro
06.03.2005, 18:13	Leopold	Auf diesen Beitrag antworten »
Ich vermute, daß $\begin{eqnarray} x \end{eqnarray}$ eine ganze Zahl sein soll. Dann ist doch klar, daß $\begin{eqnarray} x \geq 1 \end{eqnarray}$ dasselbe bedeutet wie $\begin{eqnarray} x>0 \end{eqnarray}$ .
06.03.2005, 18:30	Tobias	Auf diesen Beitrag antworten »
Schleifeninvarianten? Hoare-Kalkül? $\begin{eqnarray} [(4 = 4) \wedge (1 \leq x)] \leftrightarrow (0 < x) \end{eqnarray}$ $\begin{eqnarray} \equiv (1 \leq x) \leftrightarrow (0 < x) \end{eqnarray}$ $\begin{eqnarray} \equiv (0 \leq x-1) \leftrightarrow (0 < x) \end{eqnarray}$ Unter der Voraussetzung, dass du mit positiven ganzen Zahlen rechnest. (Was ja bei Schleifeninvarianten häufig der Fall ist).
06.03.2005, 18:44	Ledro	Auf diesen Beitrag antworten »
genau so ist es, erwischt danke und ciao Ledro

1

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »