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

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Stacklounge! Stell deine Frage sofort und kostenfrei

x
Made by a lovely community