0 Daumen
21 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

Bitte logge dich ein oder registriere dich, um die Frage zu beantworten.

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Stacklounge! Stell deine Frage sofort und kostenfrei

x
Made by a lovely community