Endliche Erfüllbarkeit

Question

Seien \( \Sigma_{0} \subseteq \Sigma_{1} \subseteq \ldots \) endlich erfüllbare Formelmengen. Zeigen Sie: \( \Sigma=\bigcup_{i \in \mathbb{N}} \Sigma_{i} \) ist auch endlich erfüllbar.

Hat dort jemand eine Lösung.

Gruß

Answer 1

Guckst du hier: https://www.mathelounge.de/837638/zeigen-sie-ui-i-ist-auch-endlich-e…