Buenas
En primer lugar tengo una consulta sobre la letra. Cuando se define le conjunto ∆ = {pj ∧ pm → ¬pn / {pj , pm} ⊂ Γ y n = i + m}, donde dice "n= i + m" no seria "n= j + m"?
Segundo, en la parte d), esta bien definir como conjunto consistente maximal el ∆ ∪ Γ∪ {p0}? Pregunto porque no estoy seguro de como justificarlo.
Saludos