Matematické Fórum

Zdravím, nevím si rady s následujícím příkladem z predikátové logiky:



Prvním krokem bude určitě nalezení konstantní struktury. Její universum něco jako A = { F(c), F(d); F náleží {f}* }, triviálně realizace konstantních symbolů c^A = c, d^A = d, a zobrazení f^A z A do A, tedy designátoru F(c) přiřadí f(F(c)) a F(d) přiřadí f(F(d)) a nakonec U^A = {}. Jak teď přejít ke kanonické struktuře? Mělo by se snad to dělat vyfaktorizováním podle ekvivalence na A... což nevím, jak.. :(

Mockrát děkuju za jakoukoli radu.