0 Daumen
26 Aufrufe

Aufgabe:

Erstellen und begründen Sie im Sequenzenkalkül Links- und Rechts- Regeln für:


if P then Q else R := P ∧ Q ∨ ¬P ∧ R.


ich komme bei der Aufgabe leider nicht mehr weiter und brauche Hilfe. Weiß leider überhaupt nicht wie das geht.

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