Relación 8 - Historial de revisiones

Pedrosrei en 07:44 14 may 2013

2013-05-14T07:44:47Z

2013-05-14T07:30:49Z

2013-04-26T09:57:12Z

2013-04-24T13:20:39Z

2013-04-24T13:13:44Z

2013-04-24T11:31:38Z

2013-04-24T11:26:43Z

2013-04-24T11:24:32Z

2013-04-24T11:22:16Z

2013-04-24T11:13:09Z

@@ Línea 184: / Línea 184: @@
 --    sucesores [p1,p2,r,(q \/ s)]           => [[q,p1,p2,r],[s,p1,p2,r]]
 -- ---------------------------------------------------------------------
+-- Pedro Ros
 sucesores :: [Prop] -> [[Prop]]
 sucesores fs |[f|f<-fs, dobleNegacion f]/=[] = expansionDN fs (head([f|f<-fs,dobleNegacion f]))
@@ Línea 202: / Línea 202: @@
 -- ---------------------------------------------------------------------
 modelosTab :: [Prop] -> [[Prop]]
-modelosTab fs = undefined
+modelosTab fs |[f|f<-fs, not(literal f)]/=[] = concat [modelosTab (nub x) | x<-(sucesores fs)]
 -- ---------------------------------------------------------------------

@@ Línea 186: / Línea 186: @@
 sucesores :: [Prop] -> [[Prop]]
-sucesores fs = undefined
+sucesores fs |[f|f<-fs, dobleNegacion f]/=[] = expansionDN fs (head([f|f<-fs,dobleNegacion f]))
 -- ---------------------------------------------------------------------

@@ Línea 211: / Línea 211: @@
 -- ---------------------------------------------------------------------
 subconjunto :: Eq a => [a] -> [a] -> Bool
-subconjunto xs ys = undefined
+subconjunto xs ys = and [elem x ys | x <- xs]
 -- ---------------------------------------------------------------------

@@ Línea 170: / Línea 170: @@
 --    expansiónBeta [q, (p1 \/ p2) , r] (p1 \/ p2)  ==>  [[p1,q,r],[p2,q,r]]
 -- ---------------------------------------------------------------------
 -- ---------------------------------------------------------------------

@@ Línea 157: / Línea 157: @@
 --    expansiónAlfa [q, (p1 /\ p2) , r] (p1 /\ p2)  ==>  [[p1,p2,q,r]]
 -- ---------------------------------------------------------------------
 -- ---------------------------------------------------------------------

@@ Línea 142: / Línea 142: @@
 --    expansiónDN [p, no(no q), r] (no(no q))  ==>  [[q,p,r]]
 -- ---------------------------------------------------------------------
+--José María Contreras
-expansiónDN :: [Prop] -> Prop -> [[Prop]]
+elim (Neg(Neg f)) = f
-expansiónDN fs f = undefined
 -- ---------------------------------------------------------------------

← Revisión anterior		Revisión del 11:26 24 abr 2013
Línea 134:		Línea 134:
	tieneContradiccion2 fs = or [elem (no x) fs \| x <- fs]		tieneContradiccion2 fs = or [elem (no x) fs \| x <- fs]

−	~~-- Alejandro ballesteros~~
−	~~tieneContradiccion :: [Prop] -> Bool~~
−	~~tieneContradiccion []= False~~
−	~~tieneContradiccion (x:xs) =(elem (no (x)) xs)\|\|(tieneContradiccion xs)~~
−	~~tc :: [Prop] -> Bool~~
−	~~tc xs = tieneContradiccion xs \|\| tieneContradiccion (reverse xs)~~

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

@@ Línea 133: / Línea 133: @@
 tieneContradiccion2 :: [Prop] -> Bool
 tieneContradiccion2 fs = or [elem (no x) fs | x <- fs]
 -- ---------------------------------------------------------------------

@@ Línea 122: / Línea 122: @@
 -- Pedro Ros
 tieneContradiccion :: [Prop] -> Bool
-tieneContradiccion [x] = False
+tieneContradiccion [f] = False
-tieneContradiccion (x:xs)= if elem (no x) xs then True else
+tieneContradiccion ((Neg f):fs) = if elem f fs then True else
-                                tieneContradiccion xs
+                                      tieneContradiccion fs

@@ Línea 112: / Línea 112: @@
 conjuntoDeLiterales (x:xs)= if literal x then conjuntoDeLiterales xs
                              else False
 -- ---------------------------------------------------------------------
@@ Línea 129: / Línea 125: @@
 tieneContradiccion (x:xs)= if elem (no x) xs then True else
                                 tieneContradiccion xs
 -- ---------------------------------------------------------------------