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
Mit dem Quantor ∀ müssen Sie ’?’ ersetzen, damit die genannte Äquivalenz gilt.
Es handelt sich übrigens um Prädikatenlogik, nicht um Aussagenlogik.
Ein anderes Problem?
Willkommen bei der Stacklounge! Stell deine Frage einfach und kostenlos