Umgang mit Quantoren

Neue Frage »

dubbox Auf diesen Beitrag antworten »
Umgang mit Quantoren
Meine Frage:
Nicht ganz sicher ob das hier im richtigen Unterforum ist aber dennoch:

Ich soll für eine Logikvorlesung, Prädikatenlogik, folgendes zeigen oder wiederlegen:



mit
a)
b)

Meine Ideen:
Ich bin mir hier ziemlich unsicher über den Ansatz.

Momentan habe ich mir folgende Unterschiede klar gemacht.


wobei wir hier f neu als 1-stelliges Funktionssymbol einführen.
wobei c eine konstante ist.

Ich habe irgendwie ein "Gefühl", dass a) richtig ist und b) falsch. Die Annahme kommt, weil ich in a) keine Abhängigkeit von x und y erkennen kann, wenn man sich jedoch b) wie folgt anschaut wäre es

mit und

Durch eine solche Abhängigkeit dürfe es Unterschiede machen, jedoch komme ich einfach auf keine gute Begründung.
Neue Frage »
Antworten »



Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »