Buenas que tal?
Me gustaria saber si encare bien la parte b: lo que hice fue tomar 2 estructuras A=<N,0> y B=<{0},0> ambas con símbolos c para representar al 0 luego tome la formula Q=(para todo x1)(x1=`c) y demostré por absurdo que A|=Q no se cumple y que B|= no Q tampoco se cumple.