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!