Beweis Abschwächung des Deduktionstheorems
Frage:
Beweise das aba eine Abschwächung des Deduktionstheorems erfüllt:
Wenn ag⊆aba(X), dann:
Wenn X∪{H} abla H′, so X abla H→H′
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.