Aufgabe:
F := A1 ∧ A3 → (¬A2 ∨ ¬A1),
G1 := A1 → A2, G2 := A1 ∨ A2 und
α:=[A1 → 1, A2 → 0, A3 →1]
wir sollen hier für folgendes bestimmen:
F dann unter derm F in eckigen Klammern [G1/A1, G2/A2]
Problem und Lösungsansatz:
Falls F = A1 dann F[G1/A1] = A1[G1/A1] = G1 Falls F = A2 dann F[G2/A2] = A2[G!/A2] = G2
Falls F != A2 dann F[G1/A1] = F analog für F != A2
a[A1 → a(G1), A2 → a(G2)]
Mein Problem ist jetzt wie die erste Zeile des Beweises aussehen soll, weil hier handelt es sich um eine gleichzeitige Einsetzung mehrere Variablen und das verwirrt mich sehr stark. Soll das z.B so aussehen:
a[A1 → a(G1), A2 → a(G2)]
= a( [A1 → (A1 → A2)] v [A2 → (A2 v A2)] )
das scheint mir falsch zu sein, weil ich lasse ja hier F komplett raus? Ich darf die Belegungen für A1, A2 und A3 nicht sofort eisetzen. Wir sollen erst vereinfachen und zum Schluss die Belegungen einsetzen.
Ich dnake jedem für seine Hilfe
LG