Formale Problemspezifikation /ggt

Question

Aufgabe:

Zu zwei gegebenen natürlichen Zahlen, soll der größte gemeinsame Teiler gefunden werden.

Problem/Ansatz:

Gegeben  a,b
Gesucht: g – eine natürliche Zahl, es gilt => g|a ∧ g|b ∧ ꓯf(f ϵ N ∧ f|a ∧ f | b) => f  ≤ g

Stimmt dieser Ansatz?

Danke und SG Keita

Answer 1

Vielleich besser so:

a,b,g,f ∈ℕ
Gesucht: g mit g|a ∧ g|b ∧ (ꓯf( f|a ∧ f | b) => f  ≤ g )

Comments

Danke für die Antwort, grundsätzlich wurde aber das Problem richtig spezifiziert oder? g|a ∧ g|b würde stimmen bzw, mit  f  ≤ g wird der größte g.t. bestimmt oder?

---

So ist es...............