Que tal:
Si queremos probar que un conjunto 
es inconsistente lo más
sencillo suele ser construir una derivación de 
.
También se puede seguir el camino semántico: suponemos
que existe un modelo de y llegamos a una contradicción.
Ahora bien, para esto último debemos razonar con una estructura genérica.
En tu solución, elegís una estructura particular.
Lo que terminás probando es que esa estructura no es modelo de .
Pero debemos probar algo más fuerte: que ninguna estructura es modelo de
.
Si quedan dudas, volvé a preguntar.
saludos