Zeigen Sie: Σ = Ui∈ℕ Σi ist auch endlich erfüllbar

Question

Aufgabe:

Seien Σ₀ ⊆ Σ₁ ⊆ ...endlich erfüllbare Formelmengen.

Zeigen Sie: Σ = U_i∈ℕ Σ_i ist auch endlich erfüllbar

Problem/Ansatz:

Habe Schwierigkeiten einen Ansatz für die Aufgabe zu finde, wäre dankbar für jede Hilfstellung oder Lösungsansatz.

schon einmal danke im voraus.

Answer 1

Sei \(M\subseteq \Sigma\) endlich.

Sei \(n\in \mathbb{N}\) mit \(M \subseteq \Sigma_n\).