En el ejercicio te dan un conjunto formado:
p ⇒ q ∧ r, r ⇒ s ∧ t, u ⇒ p
Me preguntan si el Cons de este conjunto es maximal. Un conjunto es maximal si es teoria y existe una unica valuacion que hace verdadera todas las formulas. Al ser el Cons de algo es facil ver que es teoria, pero se me complica ver si existe una unica valuacion o no. ¿Cómo podría verlo? o sino ¿Cómo podría llegar a la respuesta?
Desde ya, muchas gracias.
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!