Prädikatenlogik / Hoare < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 21:03 Mi 03.07.2013 | | Autor: | starki |
| Aufgabe | Gegeben sei folgende Aussage:
(m >= n AND m > n) |
Dann ist doch
(m >= n AND m > n) = (m > n) ? Oder wie kann ich das anders umformen ?
Also ich meine, ich hab folgende Hoare-Aussage:
[mm] \{ m >= n AND m > n\} [/mm] n = n + 1 [mm] \{ m >= n \}
[/mm]
Dann kommt Zuweisungsregel
[mm] \{ m >= n AND m > n\} \{m >= n + 1\}
[/mm]
Nur die Formel ist nur dann gültig, wenn m > n....
Oder habe ich hier was falsch gemacht?
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 21:20 Fr 05.07.2013 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
