En la parte A, defini el conjunto: δ ={∀xR(F(x)) ; ∀x∀y(¬x='y → ¬F(x)='F(y))}, como hago para probar que cumple con lo que me pide?
En la parte A, defini el conjunto: δ ={∀xR(F(x)) ; ∀x∀y(¬x='y → ¬F(x)='F(y))}, como hago para probar que cumple con lo que me pide?