Aufgaben

(evtl. autotool) bestimme wfmAs für

• Peano-Multiplikation (Variante A: ohne Additionsregeln, B: mit)
• symbolisches Differenzieren
• {p∧(q₁∨q₂)→(p∧q₁)∨(p∧q₂), (p₁∨p₂)∧q→(p₁∧q)∨(p₂∧q)} .

beweise:

• das Verifikationsproblem für lineare Interpretationen (über $\mathbb {N}$ , über $\mathbb {N}$^d ) ist entscheidbar
• das Syntheseproblem für lineare Interpretationen mit Anstieg 1 (d.h. [f](x₁,…, x_k) = x₁ + … + x_k + c_f ) ist entscheidbar.