Relación 2a - Historial de revisiones

Nikdro en 16:31 6 jun 2015

2015-06-06T16:31:06Z

Luipalbla en 19:15 8 mar 2015

2015-03-08T19:15:26Z

Luipalbla en 17:37 8 mar 2015

2015-03-08T17:37:40Z

Luipalbla en 17:34 8 mar 2015

2015-03-08T17:34:19Z

Marmesmar en 11:12 28 feb 2015

2015-02-28T11:12:46Z

Jaialbjai en 16:03 21 feb 2015

2015-02-21T16:03:02Z

Jaialbjai en 13:16 21 feb 2015

2015-02-21T13:16:49Z

Fracarmol1 en 11:24 17 feb 2015

2015-02-17T11:24:32Z

Marmatceb en 20:10 16 feb 2015

2015-02-16T20:10:14Z

Marmatceb en 22:40 15 feb 2015

2015-02-15T22:40:30Z

← Revisión anterior		Revisión del 16:31 6 jun 2015
Línea 161:		Línea 161:

	--María Dolores Mateo Ceballos		--María Dolores Mateo Ceballos
		+
		+
		+
		+	significado (Impl p q) i = (significado p i) <= (significado q i)
		+
		+	--Nikola Drousie (el resto sería igual que María Dolores)

	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

← Revisión anterior		Revisión del 19:15 8 mar 2015
Línea 526:		Línea 526:

	--María Dolores Mateo Ceballos		--María Dolores Mateo Ceballos
		+
		+	esConsecuencia :: [Prop] -> Prop -> Bool
		+	esConsecuencia s f = or [elem x (modelosConjunto s)\| x<-(modelosFormula f)]
		+
		+	-- Luis Palma Blanco

	</source>		</source>

@@ Línea 371: / Línea 371: @@
 simbolosPropConj :: [Prop] -> [Prop]
-simbolosPropConj s = unionGeneral (map (simbolosPropForm) s)
+simbolosPropConj s = unionGeneral (map simbolosPropForm s)
 -- Luis Palma Blanco

← Revisión anterior		Revisión del 17:34 8 mar 2015
Línea 369:		Línea 369:

	-- Francisco Javier Carmona		-- Francisco Javier Carmona
		+
		+	simbolosPropConj :: [Prop] -> [Prop]
		+	simbolosPropConj s = unionGeneral (map (simbolosPropForm) s)
		+
		+	-- Luis Palma Blanco

	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

← Revisión anterior		Revisión del 11:12 28 feb 2015
Línea 338:		Línea 338:

	-- Elisa Mazuelos Jiménez		-- Elisa Mazuelos Jiménez
		+
		+
		+
		+
		+	unionGeneral :: Eq a => [[a]] -> [a]
		+	unionGeneral [] = []
		+	unionGeneral (xs:xss) = union xs (unionGeneral xss)
		+
		+	-- Maria del Carmen Mesa Marquez
		+

	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

← Revisión anterior		Revisión del 16:03 21 feb 2015
Línea 413:		Línea 413:

	-- Francisco Javier Carmona		-- Francisco Javier Carmona
		+
		+	-- Jaime Alberto
		+	esModeloConjunto :: Interpretacion -> [Prop] -> Bool
		+	esModeloConjunto i [f] = esModeloFormula i f
		+	esModeloConjunto i (x:xs) \| esModeloFormula i x = esModeloConjunto i xs
		+	\| otherwise = False

	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

@@ Línea 180: / Línea 180: @@
                        where sub = subconjuntos xs
 -- Me acordaba de primero (seguro) Javier Rodríguez Vivas
 -- ---------------------------------------------------------------------

@@ Línea 211: / Línea 211: @@
 -- Luis Curquejo
 -- ---------------------------------------------------------------------
@@ Línea 232: / Línea 233: @@
 --María Dolores Mateo Ceballos
 -- ---------------------------------------------------------------------
@@ Línea 257: / Línea 266: @@
 -- María Dolores Mateo Ceballos
 -- ---------------------------------------------------------------------
@@ Línea 270: / Línea 280: @@
 esInsatisfacible f = null (modelosFórmula f)
 --Emilio Martinez Rivero
 -- ---------------------------------------------------------------------
 -- Ejercicio 14: Definir la función
@@ Línea 282: / Línea 299: @@
 esSatisfacible = not . EsInsatisfacible
 --Emilio Martinez Rivero
 -- ---------------------------------------------------------------------
 -- Símbolos proposicionales de un conjunto de fórmulas                --
@@ Línea 301: / Línea 325: @@
 --Javier Rodríguez Vivas
 -- Comentario: La definición se puede mejorar usando la función union.
@@ Línea 321: / Línea 346: @@
 --Emilio Martinez Rivero
 -- ---------------------------------------------------------------------
@@ Línea 367: / Línea 400: @@
 --María Dolores Mateo Ceballos
 -- ---------------------------------------------------------------------
@@ Línea 403: / Línea 444: @@
 -- Comentario: La definición se puede mejorar.
 -- ---------------------------------------------------------------------
@@ Línea 424: / Línea 470: @@
 -- María Dolores Mateo Ceballos
 -- ---------------------------------------------------------------------

← Revisión anterior		Revisión del 20:10 16 feb 2015
Línea 444:		Línea 444:

	-- Comentario: la definición no es correcta.		-- Comentario: la definición no es correcta.
		+
		+	esConsecuencia :: [Prop] -> Prop -> Bool
		+	esConsecuencia s f = esInconsistente ((no f):s)
		+
		+	--María Dolores Mateo Ceballos

	</source>		</source>

@@ Línea 150: / Línea 150: @@
 -- Comentario: la definición se puede simplificar.
 -- ---------------------------------------------------------------------
@@ Línea 216: / Línea 227: @@
 -- Comentario: la definición se puede simplificar usando interpretacionesForm.
 -- ---------------------------------------------------------------------
@@ Línea 237: / Línea 253: @@
 -- Comentario: la definición se puede simplificar usando interpretacionesForm.
 -- ---------------------------------------------------------------------
 -- Ejercicio 13: Definir la función
@@ Línea 341: / Línea 362: @@
 -- Comentario: la definición se puede mejorar.
 -- ---------------------------------------------------------------------
@@ Línea 393: / Línea 419: @@
 -- Elisa Mazuelos Jiménez
 -- ---------------------------------------------------------------------