Aufgabe :
Betrachten Sie die Formel:
\( \varphi=(\mathrm{R}(\mathrm{g}(\mathrm{d}, \mathrm{f}(\mathrm{y}))) \wedge \neg \mathrm{S}(\mathrm{c}, \mathrm{f}(\mathrm{x}))) \)
mit der Signatur \( \tau=\left\{\mathrm{S}_{2}, \mathrm{R}_{1}, \mathrm{f}_{1}, \mathrm{~g}_{2}, \mathrm{c}, \mathrm{d}\right\} \) und den Variablen \( \mathrm{x}, \mathrm{y} \).
a) Geben Sie ein Universum U und eine Struktur s an, so dass \( \varphi \) erfüllbar ist.
b) Zeigen Sie, dass \( \varphi \) nicht allgemeingültig ist.
Problem/Ansatz:
Ich habe bezüglich dieser Aufgabe nichts im Internet gefunden und hoffe, dass mir jemand die Aufgabe erklären kann. Ich habe noch mehr aufgaben dieses Typs und hätte gerne ein Beispiel an was ich mich orientieren kann. LG
