Relación 6 - Historial de revisiones

Josgutbar en 11:15 5 nov 2014

2014-11-05T11:15:31Z

Andjimrio: /* Relación 6: Temas 1 a 5 */

2014-11-03T14:49:02Z

‎Relación 6: Temas 1 a 5

Andjimrio: /* Relación 6: Temas 1 a 5 */

2014-11-03T14:46:31Z

‎Relación 6: Temas 1 a 5

Mjoseh en 11:38 31 oct 2014

2014-10-31T11:38:48Z

Mjoseh en 11:36 31 oct 2014

2014-10-31T11:36:51Z

Andjimrio en 15:39 30 oct 2014

2014-10-30T15:39:00Z

Mjoseh: Página creada con '=== Relación 6: Temas 1 a 5 === ---- '''Ejercicio 1.''' Demostrar o refutar: Si T es un tablero de S1, I es un modelo de una hoja abierta de T y S2 es un subconjunto de S1, en...'

2014-10-29T11:34:41Z

Página creada con '=== Relación 6: Temas 1 a 5 === ---- '''Ejercicio 1.''' Demostrar o refutar: Si T es un tablero de S1, I es un modelo de una hoja abierta de T y S2 es un subconjunto de S1, en...'

Página nueva

=== Relación 6: Temas 1 a 5 ===

----
'''Ejercicio 1.''' Demostrar o refutar: Si T es un tablero de S1, I es un
modelo de una hoja abierta de T y S2 es un subconjunto de S1, entonces, I es
modelo de S2.
----

'''Solución:'''

----
'''Ejercicio 2.''' Decidir la consistencia del siguiente conjunto de fórmulas,
mediante resolución proposicional y tableros semánticos
: {p ↔ ¬q, q → p, r → q, q → r ∧ p, (¬q → r) ∨ p }
----

'''Solución:'''

----
'''Ejercicio 3.''' Demostrar o refutar las siguientes sentencias:
* Existen cláusulas C1, C2 y D tales que D es una resolvente de C1 y C2, D ⊂ C1 y D ≠ C1.
* Existen cláusulas C1, C2 y D tales que D es una resolvente de C1 y C2 y D = C1.
* Existen cláusulas C1, C2 y D tales que D es una resolvente de C1 y C2, C1 ⊂ D y C2 no es una tautología.
----

'''Solución:'''

----
'''Ejercicio 4.''' Demostrar que mediante deducción natural, tableros semánticos, formas normales y resolución
:{C → A, G → D, ¬(B ∧ C ∧ G → E)} ⊧ A ∧ B ∧ C,

----

'''Solución:'''

@@ Línea 22: / Línea 22: @@
 '''Solución:'''
+[[Archivo:Tablero ejercicio 2 relacion 6.JPG]]
 [[Archivo:Ejercicio2.PNG]]
 [[Archivo:Ejercicio2b.PNG]]

← Revisión anterior		Revisión del 14:46 3 nov 2014
Línea 31:		Línea 31:

	'''Solución:'''		'''Solución:'''
		+	*Cierto, ya que por la regla general de la resolución, una resolvente será el resultado de la unión de dos cláusulas quitando previamente un par de átomos complementarios. D, en este caso, será resolvente de C1 y de C2 y por ello, posee elementos de la primera cláusula sin llegar a identificarse, por haber quitado un literal.
		+	C_1={p,q}
		+	C_2={¬p}
		+	D={q}
		+	*Falso, ya que posee elementos de la primera cláusula sin llegar a identificarse, por haber quitado un literal.
		+	*Falso. Al no poder ser C2 tautología, no podrá poseer átomos complementarios. Al hacer la resolvente, a D se le añadirán los átomos de C1 y C1, pero siempre perderá uno. Así, no podrá contener todos los átomos de C1.

	----		----

@@ Línea 33: / Línea 33: @@
 ----
-'''Ejercicio 4.''' Demostrar que mediante tableros semánticos, formas normales y resolución
+'''Ejercicio 4.''' Decidir, mediante tableros semánticos, formas normales y resolución
 :{C → A, G → D, ¬(B ∧ C ∧ G → E)} ⊧ A ∧ B ∧ C,
@@ Línea 42: / Línea 42: @@
 ----
-'''Ejercicio 5.''' Formalizar el siguiente razonamiento y probar que es
+'''Ejercicio 5.''' Formalizar el siguiente razonamiento y probar, mediante deducción natural, que es
-correcto, mediante deducción natural.
+correcto.
 <blockquote>
 Si el general era leal, hubiera obedecido las órdenes, y si era inteligente las

← Revisión anterior		Revisión del 15:39 30 oct 2014
Línea 8:		Línea 8:

	'''Solución:'''		'''Solución:'''
		+
		+	I⊨S_1 ↦ I⊨{S_1,1 , S_1,1 , … , S_(1,n)} ↦ I⊨S_1,1∧ S_1,1∧…∧S_(1,n)
		+
		+	En el operador ∧ con que uno de sus operandos sea falso todo es falso. Si existe un una interpretación para S_1, ese modelo también lo será para cualquier subconjunto, en este caso, S_2
		+
		+

	----		----