Processing math: 100%

Beweis Abschwächung des Deduktionstheorems

Beweis Abschwächung des Deduktionstheorems

Frage:

Beweise das aba eine Abschwächung des Deduktionstheorems erfüllt:

Wenn agaba(X), dann:

Wenn X{H} abla H, so X abla HH

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.