Hola, en este ejercicio tomé Γ = {p1} entonces p2 es independiente de Γ.
Para ver esto : Γ⊬ p2 entonces por correctitud Γ⊭ p2, luego tomo una valuación tal que v(p1) = 1 y v(p2) = 0.
Luego para Γ⊬¬ p2 sigo por correctitud Γ⊭¬p2, pero aquí tendría que la valuación debería darme v(p1)= 1 y v(p2)=1.
Podría tomarme una valuación así ? O tomarme distintas? Creo que el camino que elegí para resolverlo es incorrecto, Gracias