https://www.glc.us.es/~jalonso/LMF2016/index.php?action=history&feed=atom&title=R13 2026-07-19T18:59:29Z Historial de revisiones para esta página en el wiki MediaWiki 1.31.14 https://www.glc.us.es/~jalonso/LMF2016/index.php?title=R13&diff=215&oldid=prev 2016-05-03T12:37:33Z

<p>Protegió «<a href="/~jalonso/LMF2016/index.php/R13" title="R13">R13</a>» ([edit=sysop] (indefinido) [move=sysop] (indefinido))</p> <table class="diff diff-contentalign-left" data-mw="interface"> <tr class="diff-title" lang="es"> <td colspan="1" style="background-color: #fff; color: #222; text-align: center;">← Revisión anterior</td> <td colspan="1" style="background-color: #fff; color: #222; text-align: center;">Revisión del 12:37 3 may 2016</td> </tr><tr><td colspan="2" class="diff-notice" lang="es"><div class="mw-diff-empty">(Sin diferencias)</div> </td></tr></table>

Mjoseh https://www.glc.us.es/~jalonso/LMF2016/index.php?title=R13&diff=213&oldid=prev 2016-05-03T12:37:08Z

<p>Página creada con &#039; === Relación 13: Cuestiones === ---- &#039;&#039;&#039;Ejercicio 1.&#039;&#039;&#039; Demostrar o refutar la siguiente afirmación: * Para toda fórmula F se tiene que si G es una forma de Skolem de F e...&#039;</p> <p><b>Página nueva</b></p><div><br /> === Relación 13: Cuestiones ===<br /> <br /> ----<br /> &#039;&#039;&#039;Ejercicio 1.&#039;&#039;&#039; Demostrar o refutar la siguiente afirmación:<br /> <br /> * Para toda fórmula F se tiene que si G es una forma de Skolem de F entonces ⊧ F ⇔ G.<br /> ----<br /> <br /> &#039;&#039;&#039;Solución:&#039;&#039;&#039;<br /> <br /> ----<br /> &#039;&#039;&#039;Ejercicio 2.&#039;&#039;&#039; Dar una fórmula F, tal que todo modelo de F tenga al menos 3 elementos. Generalizarlo a n cualquiera.<br /> <br /> ----<br /> <br /> &#039;&#039;&#039;Solución:&#039;&#039;&#039;<br /> <br /> ----<br /> &#039;&#039;&#039;Ejercicio 3.&#039;&#039;&#039; Dar una fórmula F satisfacible, tal que todos sus modelos sean necesariamante infinitos.<br /> <br /> ----<br /> <br /> &#039;&#039;&#039;Solución:&#039;&#039;&#039;<br /> <br /> ----<br /> &#039;&#039;&#039;Ejercicio 4.&#039;&#039;&#039; ¿Cuántos elementos han de tener los modelos de la fórmula F = ∀x f(f(x))= x ∧ ∀x f(x) ≠ x?<br /> ----<br /> <br /> &#039;&#039;&#039;Solución:&#039;&#039;&#039;</div>

Mjoseh