R6 - Historial de revisiones

Mjoseh en 11:40 31 oct 2014

2014-10-31T11:40:20Z

Mjoseh: Protegió «R6» ([edit=sysop] (indefinido) [move=sysop] (indefinido))

2014-10-29T11:36:06Z

Protegió «R6» ([edit=sysop] (indefinido) [move=sysop] (indefinido))

Mjoseh en 11:34 29 oct 2014

2014-10-29T11:34:21Z

Mjoseh en 11:28 29 oct 2014

2014-10-29T11:28:01Z

Mjoseh en 11:27 29 oct 2014

2014-10-29T11:27:16Z

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:26:22Z

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 27: / Línea 27: @@
 ----
-'''Ejercicio 4.''' Demostrar que mediante deducción natural, 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,
 ----
 '''Solución:'''

← Revisión anterior	Revisión del 11:36 29 oct 2014
(Sin diferencias)

@@ Línea 12: / Línea 12: @@
 '''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 }
+: {p  ↔  ¬q, q → p, r → q, q → r ∧ p, (¬q → r) ∨ p }
 ----

@@ Línea 19: / Línea 19: @@
 ----
 '''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,
+* Existen cláusulas C1, C2 y D tales que D es una resolvente de C1 y C2, D ⊂ C1 y D ≠ C1.
-      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 y
+* 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.
 ----