0 Daumen
42 Aufrufe

Aufgabe:

Zeigen Sie, dass die folgende klassische Schlussregel im Sequenzenkalkül gültig ist: 

Bildschirmfoto 2019-12-14 um 18.59.37.png

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.

von

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Stacklounge! Stell deine Frage sofort und kostenfrei

x
Made by a lovely community