Diferencia entre revisiones de «R6»
De Lógica informática (2014-15)
| (No se muestran 3 ediciones intermedias del mismo usuario) | |||
| Línea 11: | Línea 11: | ||
---- | ---- | ||
'''Ejercicio 2.''' Decidir la consistencia del siguiente conjunto de fórmulas, | '''Ejercicio 2.''' Decidir la consistencia del siguiente conjunto de fórmulas, | ||
| − | mediante resolución proposicional y tableros semánticos | + | mediante resolución proposicional y tableros semánticos |
| − | : {p | + | : {p ↔ ¬q, q → p, r → q, q → r ∧ p, (¬q → r) ∨ p } |
---- | ---- | ||
| Línea 27: | Línea 27: | ||
---- | ---- | ||
| − | '''Ejercicio 4.''' | + | '''Ejercicio 4.''' Decidir, mediante tableros semánticos, formas normales y resolución |
| − | |||
:{C → A, G → D, ¬(B ∧ C ∧ G → E)} ⊧ A ∧ B ∧ C, | :{C → A, G → D, ¬(B ∧ C ∧ G → E)} ⊧ A ∧ B ∧ C, | ||
| + | ---- | ||
| + | |||
| + | '''Solución:''' | ||
| + | |||
| + | |||
| + | ---- | ||
| + | '''Ejercicio 5.''' Formalizar el siguiente razonamiento y probar que es | ||
| + | correcto, mediante deducción natural. | ||
| + | <blockquote> | ||
| + | Si el general era leal, hubiera obedecido las órdenes, y si era inteligente las | ||
| + | hubiera comprendido. O el general desobedeció las órdenes o no las | ||
| + | comprendió. Por lo tanto, el general era desleal o no era inteligente. | ||
| + | </blockquote> | ||
| + | |||
---- | ---- | ||
'''Solución:''' | '''Solución:''' | ||
Revisión actual del 13:40 31 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. Decidir, mediante tableros semánticos, formas normales y resolución
- {C → A, G → D, ¬(B ∧ C ∧ G → E)} ⊧ A ∧ B ∧ C,
Solución:
Ejercicio 5. Formalizar el siguiente razonamiento y probar que es correcto, mediante deducción natural.
Si el general era leal, hubiera obedecido las órdenes, y si era inteligente las hubiera comprendido. O el general desobedeció las órdenes o no las comprendió. Por lo tanto, el general era desleal o no era inteligente.
Solución: