Yo tome el mismo conjunto T que dice Augusto T = Cons({¬p2} U Γ) pero la consistencia maximal la vi por el lado de que si vos te tomas un conjunto T'=T U {p3}, podes ver que tomando una valuacion tal que v(p0)=v(p1)=v(¬p2)=v(p3)=1, T' es consistente, pero T ⊂ T', o sea T ≠ T' y por lo tanto T no es consistente maximal