Axiome, Modelle

Axiom: prädikatenlogische Formel, die (nur) Funktionssymbole der Signatur benutzt.

∧ ∀x, y, z : F(F(x, y), z) = F(x, F(y, z))

∧ ∀x : G(B, x) = x∧G(x, B) = x

∧ ∀x : G(A, x) = A∧G(x, A) = A

∧ ∀x, y, z : G(G(x, y), z) = G(x, G(y, z))

∧ ∀x, y, z : G(F(x, y), z) = F(G(x, z), G(y, z))

∧ ∀x, y, z : G(x, F(y, z)) = F(G(x, y), G(x, z))

Modell: eine Σ-Algebra, die die Axiome erfüllt.

Ü: Gesucht: alle Modelle von A mit Träger {F, T}.