Diferencia entre revisiones de «R10»
De Lógica matemática y fundamentos (2014-15)
m (Protegió «R10» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) |
|
(Sin diferencias)
| |
Revisión actual del 10:43 17 abr 2015
Relación 10: Cuestiones
Ejercicio 1. Demostrar o refutar la siguiente afirmación:
- Sean G₁ una forma normal disyuntiva de F₁ y G₂ una forma normal disyuntiva de F₂. Si F₁ y F₂ son equivalentes, entonces G₁ y G₂ son fórmulas iguales.
- Para toda fórmula F se tiene que si G₁ es una forma normal conjuntiva de F y G₂ es una forma normal normal disyuntiva de F, entonces G₁ y G₂ son fórmulas distintas.
Solución:
Ejercicio 2. Demostrar o refutar la siguientes afirmaciones:
- Existen cláusulas C₁, C₂ y D tales que D es una resolvente de C₁ y C₂, D ⊂ C₁ y D ≠ C₁.
- Existen cláusulas C₁, C₂ y D tales que D es una resolvente de C₁ y C₂ y D = C₁.
- Existen cláusulas C₁, C₂ y D tales que D es una resolvente de C₁ y C₂, C₁ ⊂ D y C₂ no
es una tautología
Solución: