Logik und Striche (Informatik)

Question

ggT(m,n) | m ∧

ggT(m,n) | n ∧

∀ k> 0

 ( k | m ∧ k | n ⇒ k | ggT(m,n) )

das kam heute schlagartig in praktischer Informatik 2 vor. Bin mir nicht mal genau sicher ob wir das brauchen aber insbesondere die letzte Zeile verstehe ich nicht. Warum sind da so viele Striche? Ich dachte es gibt nur Element | Eigenschaft ... so wie in der ersten Zeile.

Answer 1

Der vertikale Strich ist in diesem "Text" zu lesen als "teilt" oder genauer "ist Teiler von".

Also

ggT(m,n) | m ∧                "der grösste gemeinsame Teiler von m und n "teilt" m " UND

ggT(m,n) | n ∧

                                                    "der grösste gemeinsame Teiler von m und n "teilt" n " UND

∀ k> 0                                       "für alle k grösser als 0 gilt: "

 ( k | m ∧ k | n ⇒ k | ggT(m,n) )

     "Wenn k m teilt UND k n teilt, so teilt k auch den ggT von m und n. "

Answer 2

das ist die Definition vom größten gemeinsamen Teiler zweier natürlicher Zahlen.

Keine Ahnung warum du die Umbrüche eingebaut hast aber da steht:

ggT von m und n ist ein Teiler von m UND ein Teiler von n (deswegen auch gemeinsamer Teiler) UND für alle natürlichen Zahlen größer als 0, die ebenfalls gemeinsame Teiler von m und n sind gilt, dass diese Zahlen Teiler vom ggT sind (deswegen auch größter gemeinsamer Teiler).

Gruß

Answer 3

Der Strich bedeutet wahrscheinlich "ist Teiler von". Dann ergibt das nämlich Sinn:

Der ggT von m und n ist ein Teiler von m und ein Teiler von n und jede Zahl >0, die sowohl Teiler von m als auch Teiler von n ist, ist auch Teiler vom ggT von m und n.

Comments

"nämlich" ...

---

Oh man, bin ich dähmlich.