herleitbar

herleitbar

Frage:

 Wann ist eine Menge von Aussagen $T$ aus einer Menge von Aussagen $A$ im Deduktionssystem $i$ herleitbar?

Nenne die Kurzschreibweise!

Antwort:

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