Relación 2 - Historial de revisiones

Marmesmar en 15:31 17 feb 2015

2015-02-17T15:31:42Z

2015-02-15T20:21:32Z

2015-02-15T20:12:05Z

2015-02-15T20:08:42Z

2015-02-14T23:46:50Z

‎Relación 2: Representación del conocimiento proposicional

2015-02-14T23:45:47Z

‎Relación 2: Representación del conocimiento proposicional

2015-02-13T18:56:45Z

2015-02-13T17:59:41Z

2015-02-12T23:37:31Z

‎Relación 2: Representación del conocimiento proposicional

2015-02-12T23:04:15Z

‎Relación 2: Representación del conocimiento proposicional

@@ Línea 26: / Línea 26: @@
 (Yo opino igual, más que nada para seguir manteniendo la notación vista en clase, al igual que opino que sería conveniente usar '|=' para Por tanto, notación también vista en clase, más que nada para que no haya mucha diferencia entre la clase y los ejercicios que resolvemos por aquí) José Martín Delgado
 ----
 '''Ejercicio 2.''' Formalizar el siguiente argumento

@@ Línea 225: / Línea 225: @@
 '''Pablo José Gerlach Mena'''
 '''Solución2:'''
@@ Línea 239: / Línea 241: @@
 '''Manuel Soriano Trigueros'''
 ----

← Revisión anterior		Revisión del 20:12 15 feb 2015
Línea 201:		Línea 201:

	'''Pablo José Gerlach Mena'''		'''Pablo José Gerlach Mena'''
		+
		+	Comentario: ¿El conjunto vacío es consistente?

	----		----

← Revisión anterior		Revisión del 20:08 15 feb 2015
Línea 88:		Línea 88:

	''' He utilizado los símbolos -> (condicional), - (negación), v (disyunción), & (conjunción) y \|\|- (por tanto). '''		''' He utilizado los símbolos -> (condicional), - (negación), v (disyunción), & (conjunción) y \|\|- (por tanto). '''
		+
		+	Comentario: La formalización de la primera frase no es correcta.
		+
	----		----

@@ Línea 101: / Línea 101: @@
 Emilio Martinez Rivero
---
+----
 '''Ejercicio 5.''' Definir por recursión sobre fórmulas las siguientes funciones

@@ Línea 89: / Línea 89: @@
 ''' He utilizado los símbolos -> (condicional), - (negación), v (disyunción), & (conjunción)  y ||- (por tanto). '''
 ----
 '''Ejercicio 5.''' Definir por recursión sobre fórmulas las siguientes funciones

← Revisión anterior		Revisión del 18:56 13 feb 2015
Línea 207:		Línea 207:

	'''Pablo José Gerlach Mena'''		'''Pablo José Gerlach Mena'''
		+
		+	'''Solución2:'''
		+
		+	Contraejemplo:
		+
		+	F=p
		+
		+	Q=q&-q
		+
		+	F->Q = p->(q&-q)
		+
		+	F es satsfacible si p=1, F->Q es satisfacible si p=0 pero Q es insatisfacible.
		+
		+	'''Manuel Soriano Trigueros'''

	----		----

@@ Línea 23: / Línea 23: @@
 (Observación: Sería mas conveniente en mi opinión usar el símbolo '¬' para la negación,
 aunque simplemente es una cuestión de notación) Emilio Martínez Rivero
 ----

@@ Línea 128: / Línea 128: @@
-        '''Caso base:''' (F atómico)
+       Caso base: (F atómico)
 	nv(F) = 1 y 2^prof(F)= 2^0 = 1  ==> nv(F)≤ 2^prof(F) [De hecho es igual]
-         '''Hipótesis de inducción:''' Supongamos que nv(F)≤ 2^prof(F) y nv(G)≤ 2^prof(G).
+         Hipótesis de inducción: Supongamos que nv(F)≤ 2^prof(F) y nv(G)≤ 2^prof(G).
-	Entonces '''1)''' nv(¬F)= nv(F) y 2^(prof(¬F)) = 2^(1+prof(F))=2*2^(prof(F))
+	Entonces 1) nv(¬F)= nv(F) y 2^(prof(¬F)) = 2^(1+prof(F))=2*2^(prof(F))
 	nv(F) ≤ 2^(prof(F) por H.I. ===> nv(¬F)=nv(F) ≤2*2^(prof(F)) = 2^(prof(¬F)
-	'''2)''' nv(F*G) = nv(F)+nv(G) y 2^prof(F*G)= 2^(1+max{prof(F),prof(G)})
+) nv(F*G) = nv(F)+nv(G) y 2^prof(F*G)= 2^(1+max{prof(F),prof(G)})
       Tenemos ahora dos posibles casos:
-	'''Caso1:''' prof(F)≤prof(G):: H1
+	Caso1: prof(F)≤prof(G):: H1
@@ Línea 149: / Línea 149: @@
 	Luego nv(F*G) = nv(G)+nv(F)≤2*2^(prof(G))=2^(1+max{prof(G),prof(F)}) = 2^prof(G*F)
 	Por tanto nv(F*G)≤2^prof(F*G)
-	'''Caso2:''' Es análogo al Caso1.
+	Caso2: Es análogo al Caso1.