Lineare Gleichungen

eingeschränkte Syntax ($\approx$ Signatur)

Terme:

• Summand $\to$ ganze Zahl ^. Variable
• Summe $\to$ Summand ( + Summand)^*

Formeln:

• Gleichung $\to$ Summe = Summe
• Gleichungssystem $\to$ Gleichung ( $\wedge$ Gleichung)^*

Struktur: rationale Zahlen, übliche Operationen.

Erfüllbarkeit ist entscheidbar (durch Gauß-Elimination).

Jede Lösungsmenge ist (leer oder) affin linear.