Disculpa, una pregunta, como ves que CONS(p ⇒ q ∧ r, r ⇒ s ∧ t, u ⇒ p) es teoria??
Con respecto a la unicidad de la valuación, en el ejercicio 10 del practico 5 lo ves.
Yo tengo una resolucion para ese ejercicio que dice
V(Gamma) =1 y W(Gamma) =1
-->
(ParaTodo Pi: V(Pi)=1 sii Pi pertenece a Gamma) y (ParaTodo Pi: W(Pi)=1 sii Pi pertenece a Gamma)
--> (teorema 1.2.2)
V='W
Quizas te ayude, saludos!
Te agradezco si me explicas lo que te pregunte al principio!