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.:
Text erkannt:
(a) \( \neg \exists x A=\forall \vDash \forall x \neg A \)
Wie muss ich vorgehen? Danke im Voraus!
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?
Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos
