Prädikatenlogik/Ausdrücke/Kleinstes Symbolalphabet/1/Aufgabe

Bestimme die kleinsten Symbolmengen, mit denen die folgenden Ausdrücke formulierbar sind.

1. ${}\exists y{\left(fx=y\right)}$,
2. ${}\forall x{\left(fx=gyc\right)}\wedge \exists z{\left(Rzxy\right)}$,
3. ${}\forall x\exists ySxhuy$.

Eine Lösung erstellen