Beweis per struktureller Induktion

Hi Leute,

ich steh momentan vor folgender Aufgabe:

"Zeigen Sie: Für alle Teilformeln ψ von φ gilt: vars(ψ) ⊆ vars(φ)."

Leider hab ich gelinde gesagt einfach mal gar keinen Plan, wie ich da am besten vorgehen soll.

Naja, ich weiß immerhin, dass ich mit ner Basiswertezuordnung anfangen muss, also quasi vars( ⊤)=0, vars( ⊥)=0 und vars(Xi) = Xi mit i ∈ ℕ.


Aber wie geh ich am Besten weiter vor?

MfG Marcus