Beweis syntaktische Vollständigkeit
Frage:
Beweise die syntaktische Vollständigkeit von ag bzgl. ab!
Wenn H∈ag, so ist ab(ag∪{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.