Diferencia entre revisiones de «R6»
De Lógica informática (2014-15)
(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...') |
|||
| Línea 19: | Línea 19: | ||
---- | ---- | ||
'''Ejercicio 3.''' Demostrar o refutar las siguientes sentencias: | '''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 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. |
| − | |||
| − | * Existen cláusulas C1, C2 y D tales que D es una resolvente de C1 y C2, | ||
| − | |||
---- | ---- | ||
Revisión del 13:27 29 oct 2014
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: