Äquivalenzen in Aussagenlogik

Question

Aufgabe:

Mit welchen Quantor (∀ oder ∃) müssen Sie ’?’ ersetzen, damit die folgende Äquivalenz gilt. Zeigen Sie anschließend die Äquivalenz.

Text erkannt:

\( \mathfrak{A} \bmod e l s_{\alpha} \exists x . \forall x . F \Longleftrightarrow \mathfrak{A} \bmod e l s_{\alpha} ? x . F \)

Wäre für jede Hilfe dankbar.

LG

Answer 1

Mit dem Quantor ∀ müssen Sie ’?’ ersetzen, damit die genannte Äquivalenz gilt.

Es handelt sich übrigens um Prädikatenlogik, nicht um Aussagenlogik.