Processing math: 100%

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.