0 Daumen
217 Aufrufe

Hallo, ich sitze hier gerade vor einer logischen Aufgabenstellung und komme nicht weiter:

Die Aufgabe lautet: Ex komme x nicht frei in B vor. A sei beliebig.

z.z.:Bildschirmfoto 2023-06-26 um 12.01.56.png

Text erkannt:

(a) \( \neg \exists x A=\forall \vDash \forall x \neg A \)

Wie muss ich vorgehen? Danke im Voraus!

Avatar von

Was bedeutet das |= ?

Sag es mal in Worten.

Das ominöse Zeichen steht wohl für logische Äquivalenz?

Ansonsten soll hier die DeMorgan-Regel für Quantoren

bewiesen werden. Aber welcher Kalkül soll/darf verwendet werden?

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community