0 Daumen
292 Aufrufe

Aufgabe:

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


Bildschirmfoto 2019-12-21 um 16.50.57.png

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

Avatar von

1 Antwort

0 Daumen

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

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

Avatar von 5,6 k

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Stacklounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community