Inferenz-Systeme (Beispiel 1)

• Grundbereich = mathend000# Zahlenpaare $\mathbb {Z}$×$\mathbb {Z}$ mathend000#
• Axiom:
  $${\frac{{}}{{(13,5)}}}$$

  mathend000#

• Regel-Schemata:
  $${\frac{{(x,y)}}{{(x-y,y)}}}$$,    $${\frac{{(x,y)}}{{(x,y-x)}}}$$

  mathend000#

kann man (1, 1) mathend000# ableiten?     (- 1, 5) mathend000#? (2, 4) mathend000#?