0 Daumen
328 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.

Avatar von

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Stacklounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community