Seite 1 von 1

Hausübung 3.2 a - Tippfehler?

Verfasst: 25. Dez 2011 14:15
von Matthias Senker
Sollte der letzte Teil der Relation nicht eher so aussehen:
\(<\{\neg?0(x), \neg?0(pred(x))\}, \{\{x/pred(x)\}, \{x/pred(pred(x))\}\}>\)

anstatt so:
\(<\{\neg?0(x), \neg?0(pred(x))\}, \{\{x/pred(x), x/pred(pred(x))\}\}>\)

???

Re: Hausübung 3.2 a - Tippfehler?

Verfasst: 25. Dez 2011 15:16
von Christoph Walther
Sie haben recht, das ist ein schreibfehler.