Aufgabe:
Bestimmen Sie explizite hybride Ableitungen im Kalkül K_0 von
(A → B) → C ⊢ B → C
Kann mir jemand bitte bei dieser Aufgabe helfen? Ich weiß es nicht, wie ich das lösen kann :(
Ein anderes Problem?
Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos
