Relación 2a - Historial de revisiones

Albromgon: Otra opción para la función esConsecuencia

2016-06-16T19:06:34Z

Otra opción para la función esConsecuencia

Albromgon: Función unionGeneral usando composición

2016-06-16T18:05:09Z

Función unionGeneral usando composición

Anggonmar1 en 08:41 1 mar 2016

2016-03-01T08:41:06Z

Marvalrod4 en 18:18 29 feb 2016

2016-02-29T18:18:41Z

Marvalrod4 en 18:08 29 feb 2016

2016-02-29T18:08:27Z

Marvalrod4 en 17:41 29 feb 2016

2016-02-29T17:41:31Z

Angruigon2: alternativas en los ejercicios 7,8,12,20 y 21.

2016-02-28T11:59:53Z

alternativas en los ejercicios 7,8,12,20 y 21.

Fravalher1 en 23:09 25 feb 2016

2016-02-25T23:09:56Z

Edupalhid en 19:29 24 feb 2016

2016-02-24T19:29:41Z

Soccuacre en 02:46 24 feb 2016

2016-02-24T02:46:25Z

Mostrar los cambios

← Revisión anterior		Revisión del 19:06 16 jun 2016
Línea 486:		Línea 486:

	-}		-}
		+	-- Una forma legible
		+	esConsecuencia2 :: [Prop] -> Prop -> Bool
		+	esConsecuencia2 s f = all (`esModeloFormula` f) (modelosConjunto s)

	</source>		</source>

@@ Línea 343: / Línea 343: @@
 unionGeneral [] = []
 unionGeneral (xs:xss) = union xs (unionGeneral xss)
 -- ---------------------------------------------------------------------
 -- Ejercicio 16: Definir la función

@@ Línea 132: / Línea 132: @@
 simbolosPropFormAUX (Impl f g)= (simbolosPropFormAUX f) ++ (simbolosPropFormAUX g)
 simbolosPropFormAUX (Equi f g)= (simbolosPropFormAUX f) ++ (simbolosPropFormAUX g)
 -- ---------------------------------------------------------------------
 -- Interpretaciones                                                   --

← Revisión anterior		Revisión del 18:18 29 feb 2016
Línea 464:		Línea 464:
	esConsecuencia s f = and[esModeloFormula i f\|i<- modelosConjunto s]		esConsecuencia s f = and[esModeloFormula i f\|i<- modelosConjunto s]

		+	{- Otra forma (usando map):
		+
		+	esConsecuencia s f = and (map fun (modelosConjunto s))
		+	where fun i = esModeloFormula i f
		+
		+	-}

	</source>		</source>

@@ Línea 383: / Línea 383: @@
 esModeloConjunto i s =  and [esModeloFormula i f|f<-s]
 -- ---------------------------------------------------------------------
 -- Ejercicio 19: Definir la función
@@ Línea 397: / Línea 403: @@
 modelosConjunto s = [i|i<-interpretacionesConjunto s, esModeloConjunto i s]
 -- ---------------------------------------------------------------------
 -- Conjuntos consistentes e inconsistentes de fórmulas                --

@@ Línea 345: / Línea 345: @@
 simbolosPropConj =nub.concat.map(simbolosPropForm)
 -}
 -- ---------------------------------------------------------------------
 -- Interpretaciones de un conjunto de fórmulas                        --

@@ Línea 181: / Línea 181: @@
 significado (Equi x y) xs = significado x xs == significado y xs
 -}
 -- ---------------------------------------------------------------------
 -- Interpretaciones de una fórmula                                    --
@@ Línea 196: / Línea 209: @@
 subconjuntos [] = [[]]
 subconjuntos (x:xs) = (map (x:) (subconjuntos xs))++(subconjuntos xs)
 -- ---------------------------------------------------------------------
@@ Línea 259: / Línea 278: @@
 esValida f = length(modelosFormula f)==length(interpretacionesForm f)
 -}
 -- ---------------------------------------------------------------------
 -- Ejercicio 13: Definir la función
@@ Línea 387: / Línea 410: @@
 esConsistente :: [Prop] -> Bool
 esConsistente s = not.null.modelosConjunto
 -- ---------------------------------------------------------------------
@@ Línea 401: / Línea 429: @@
 esInconsistente :: [Prop] -> Bool
 esInconsistente s = not.esConsistente
+-- usando el comando null tambien lo tendriamos:
 -- ---------------------------------------------------------------------
 -- Consecuencia lógica                                                --

@@ Línea 109: / Línea 109: @@
 simbolosPropForm (Equi f g) = union (simbolosPropForm f) (simbolosPropForm g)
 -- ---------------------------------------------------------------------
 -- Interpretaciones                                                   --

@@ Línea 108: / Línea 108: @@
 simbolosPropForm (Impl f g) = union (simbolosPropForm f) (simbolosPropForm g)
 simbolosPropForm (Equi f g) = union (simbolosPropForm f) (simbolosPropForm g)
 -- ---------------------------------------------------------------------
 -- Interpretaciones                                                   --
@@ Línea 142: / Línea 144: @@
+{-Otra opción:
 -- ---------------------------------------------------------------------
 -- Interpretaciones de una fórmula                                    --
@@ Línea 169: / Línea 185: @@
 interpretacionesForm :: Prop -> [Interpretacion]
 interpretacionesForm f = subconjuntos (simbolosPropForm f)
 -- ---------------------------------------------------------------------
@@ Línea 213: / Línea 233: @@
 esValida :: Prop -> Bool
 esValida f = null((interpretacionesForm f)\\( modelosFormula f))
-−
 -- ---------------------------------------------------------------------
 -- Ejercicio 13: Definir la función
@@ Línea 225: / Línea 248: @@
 esInsatisfacible :: Prop -> Bool
 esInsatisfacible f = null (modelosFormula f)
 -- ---------------------------------------------------------------------
@@ Línea 237: / Línea 264: @@
 esSatisfacible :: Prop -> Bool
 esSatisfacible f = not( null (modelosFormula f))
 -- ---------------------------------------------------------------------
@@ Línea 265: / Línea 296: @@
 simbolosPropConj :: [Prop] -> [Prop]
 simbolosPropConj s = unionGeneral [simbolosPropForm f|f<-s]
 -- ---------------------------------------------------------------------
 -- Interpretaciones de un conjunto de fórmulas                        --
@@ Línea 281: / Línea 314: @@
 interpretacionesConjunto :: [Prop] -> [Interpretacion]
-interpretacionesConjunto s = undefined
+interpretacionesConjunto s = subconjuntos.simbolosPropConj
 -- ---------------------------------------------------------------------
@@ Línea 299: / Línea 332: @@
 esModeloConjunto :: Interpretacion -> [Prop] -> Bool
-esModeloConjunto i s = undefined
+esModeloConjunto i s =  and [esModeloFormula i f|f<-s]
 -- ---------------------------------------------------------------------
@@ Línea 313: / Línea 346: @@
 modelosConjunto :: [Prop] -> [Interpretacion]
-modelosConjunto s = undefined
+modelosConjunto s = [i|i<-interpretacionesConjunto s, esModeloConjunto i s]
 -- ---------------------------------------------------------------------
@@ Línea 331: / Línea 364: @@
 esConsistente :: [Prop] -> Bool
-esConsistente s = undefined
+esConsistente s = not.null.modelosConjunto
 -- ---------------------------------------------------------------------
@@ Línea 345: / Línea 378: @@
 esInconsistente :: [Prop] -> Bool
-esInconsistente s = undefined
+esInconsistente s = not.esConsistente
 -- ---------------------------------------------------------------------
@@ Línea 361: / Línea 394: @@
 esConsecuencia :: [Prop] -> Prop -> Bool
-esConsecuencia s f = undefined
+esConsecuencia s f = and[esModeloFormula i f|i<- modelosConjunto s]
 </source>