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

Avatar von

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Stacklounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community