Beweis Abschwächung des Deduktionstheorems
Frage:
Beweise das $aba$ eine Abschwächung des Deduktionstheorems erfüllt:
Wenn $ag \subseteq aba(X)$, dann:
Wenn $X \cup \{H\} \ abla \ H'$, so $ X \ abla \ H \rightarrow 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.