0 Daumen
33 Aufrufe

Aufgabe:

-> man soll hier im Sequenziellkalkül die Links-und Rechts-regeln erstellen und begründen für:

P ⊗ Q := P ∧ ¬Q ∨ ¬P ∧ Q


leider keine Ansärze. Tut mir Leid.

LG

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