https://www.glc.us.es/~jalonso/LMF2018/index.php?action=history&feed=atom&title=Relaci%C3%B3n_10Relación 10 - Historial de revisiones2026-07-22T18:46:14ZHistorial de revisiones para esta página en el wikiMediaWiki 1.31.14https://www.glc.us.es/~jalonso/LMF2018/index.php?title=Relaci%C3%B3n_10&diff=199&oldid=prevMjoseh: Página creada con ' === Relación 10: Cuestiones === ---- '''Ejercicio 1.''' Demostrar o refutar la siguiente afirmación: Sea T un tablero de S₁, I un modelo de una hoja abierta de T y S₂ ...'2018-05-07T14:18:00Z<p>Página creada con ' === Relación 10: Cuestiones === ---- '''Ejercicio 1.''' Demostrar o refutar la siguiente afirmación: Sea T un tablero de S₁, I un modelo de una hoja abierta de T y S₂ ...'</p>
<p><b>Página nueva</b></p><div><br />
=== Relación 10: Cuestiones ===<br />
<br />
----<br />
'''Ejercicio 1.''' Demostrar o refutar la siguiente afirmación:<br />
<br />
Sea T un tablero de S₁, I un modelo de una hoja abierta de T y S₂ ⊆ S₁. Entonces,<br />
I ⊧ S₂.<br />
----<br />
<br />
'''Solución:''' <br />
<br />
----<br />
'''Ejercicio 2.''' Demostrar o refutar la siguientes afirmaciones:<br />
<br />
* Existen cláusulas C₁, C₂ y D tales que D es una resolvente de C₁ y C₂, D ⊂ C₁ y D ≠ C₁.<br />
* Existen cláusulas C₁, C₂ y D tales que D es una resolvente de C₁ y C₂ y D = C₁.<br />
* 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<br />
<br />
----<br />
<br />
'''Solución:'''<br />
<br />
<br />
----<br />
'''Ejercicio 3.''' Demostrar o refutar las siguientes proposiciones:<br />
* Para todo conjunto de fórmula S y para toda fórmula F se verifica que si S ̸⊧ F, entonces S ⊧ ¬ F.<br />
* Para toda fórmula F se tiene que si G es una forma de Skolem de F entonces ⊧ F ↔ G.<br />
<br />
<br />
----<br />
<br />
'''Solución:'''<br />
<br />
----<br />
'''Ejercicio 4.''' Hallar las formas prenexa, de Skolem y clausal de la fórmula: ¬∃ x ∀ z [ P ( x ) → ¬ Q ( z )] ∨ ∃ z (A ( y, z) → ∃ u B ( y, u ))<br />
<br />
<br />
----<br />
<br />
'''Solución:'''<br />
<br />
<br />
----<br />
'''Ejercicio 5.''' Demostrar o refutar las siguientes sentencias:<br />
<br />
* Existe un conjunto finito de cláusulas S que es inconsistente y tiene un conjunto infinito de resolventes; es decir, existe una sucesión infinita de cláusulas C₁ , C₂ , ... tal que para todo i se tiene que Cᵢ ∈ S o existen j, k < i tales que Cᵢ es una resolvente de Cⱼ y Cₖ.<br />
<br />
* Todo conjunto inconsistente de cláusula tiene una refutación por resolución positiva.<br />
<br />
<br />
----<br />
<br />
'''Solución:'''</div>Mjoseh