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
Ein anderes Problem?
Willkommen bei der Stacklounge! Stell deine Frage einfach und kostenlos