0 Daumen
260 Aufrufe

Aufgabe: Strukturelle Induktion

Beweisen Sie durch strukturelle Induktion über den Aufbau Boolescher Terme, dass für alle Booleschen Terme tBT und Variablen X, Y ∈ V gilt:

t [X ↦ Y ][Y ↦ X] = t

sofern Y eine Variable ist, die nicht in t vorkommt.


Ich stehe leider komplett auf dem Schlauch. Kann mir jemand weiterhelfen?

Avatar von

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community