Aufgabe:
Zeigen Sie, dass die folgende klassische Schlussregel im Sequenzenkalkül gültig ist:
Text erkannt:
\( \frac{\Delta \vdash \neg F 1, \Gamma \quad \Delta \vdash F 1 \vee F 2, \Gamma}{\Delta \vdash F 2, \Gamma} \)
Leider keine Ahnung wie das geht. Brauche Hilfe.