Hola Santiago:
Es correcto tu planteo para la parte b) (por el absurdo).
- Te faltaría probar que (SENT - B) es inconsistente.
- La prueba del absurdo se debe hacer para un Γ genérico consistente.
Con respecto a esta pregunta:
me gustaría saber si se cumple que MOD(Γ) ≠ ∅ si y solo si Γ consistente.
Sí, esa propiedad se cumple. Es la caracterización semántica de consistencia para SENT.
En la parte c) podés usar como propiedad conocida que si un conjunto es inconsistente entonces su CONS es SENT.