Beweis syntaktische Vollständigkeit
Frage:
Beweise die syntaktische Vollständigkeit von $ag$ bzgl. $ab$!
Wenn $H \in ag$, so ist $ab(ag \cup \{H\}) =ausd$
Antwort:
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Kommentare
Nur angemeldete Nutzer dürfen kommentieren.
Hier geht's zur kostenlosen Registrierung.