Edición de «Práctica 4 (LyC Verano)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 200: | Línea 200: | ||
<br>b)->c) Esto implica que no hay valuacion que satisfaga {α1,..,αn}, por lo tanto no es satisfacible -> no es consistente -> <math>\exists</math>β tq {α1,..αn}|=β y {α1,..,αn}|=¬β | <br>b)->c) Esto implica que no hay valuacion que satisfaga {α1,..,αn}, por lo tanto no es satisfacible -> no es consistente -> <math>\exists</math>β tq {α1,..αn}|=β y {α1,..,αn}|=¬β | ||
<br>c)->d) (<math>\forall</math>β) β ε Con({α1,..αn}) -> (<math>\forall</math>v) v({α1,..αn})=1 -> v(β)=1. Como {α1,..αn} es insatisfacible, no hay v que cumpla esto -> la implicacion siempre es verdadera | <br>c)->d) (<math>\forall</math>β) β ε Con({α1,..αn}) -> (<math>\forall</math>v) v({α1,..αn})=1 -> v(β)=1. Como {α1,..αn} es insatisfacible, no hay v que cumpla esto -> la implicacion siempre es verdadera | ||
<br>d)->a) Como (<math>\forall</math>β) {α1,..αn}|=β, en particular {α1,..,αn}|=F. Entonces α1 ٨ .. ٨ αn |= F. Por teorema de la deduccion, |= α1 ٨ .. ٨ αn -> F, entonces |= | <br>d)->a) Como (<math>\forall</math>β) {α1,..αn}|=β, en particular {α1,..,αn}|=F. Entonces α1 ٨ .. ٨ αn |= F. Por teorema de la deduccion, |= α1 ٨ .. ٨ αn -> F, entonces |= ~(α1 ٨ .. ٨ αn). Con lo cual ¬(α1 ٨ .. ٨ αn) ε Con(Ø) | ||
== Ejercicio 15 == | == Ejercicio 15 == |