https://www.glc.us.es/~jalonso/ejerciciosLI2014/index.php?action=history&feed=atom&title=R9 2026-09-19T03:42:31Z Historial de revisiones para esta página en el wiki MediaWiki 1.31.0 https://www.glc.us.es/~jalonso/ejerciciosLI2014/index.php?title=R9&diff=226&oldid=prev 2014-11-25T22:05:25Z

<p>Protegió «<a href="/~jalonso/ejerciciosLI2014/index.php/R9" title="R9">R9</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 22:05 25 nov 2014</td> </tr><tr><td colspan="2" class="diff-notice" lang="es"><div class="mw-diff-empty">(Sin diferencias)</div> </td></tr></table>

Jalonso https://www.glc.us.es/~jalonso/ejerciciosLI2014/index.php?title=R9&diff=225&oldid=prev 2014-11-25T22:04:56Z

<p>Página creada con &#039;=== Relación 9: Temas 1 a 7 === ---- &#039;&#039;&#039;Ejercicio 1.&#039;&#039;&#039; Formalizar el siguiente argumento &lt;blockquote&gt; Todos los participantes son vencedores. Hay como máximo un vencedor. Ha...&#039;</p> <p><b>Página nueva</b></p><div>=== Relación 9: Temas 1 a 7 ===<br /> <br /> ----<br /> &#039;&#039;&#039;Ejercicio 1.&#039;&#039;&#039; Formalizar el siguiente argumento<br /> &lt;blockquote&gt;<br /> Todos los participantes son vencedores. Hay como máximo un vencedor. Hay como máximo un participante. Por lo tanto, hay exactamente un participante.<br /> &lt;/blockquote&gt;<br /> <br /> Nota: Comprobar la formalización con [http://bit.ly/1pkvwsf APLI2]. <br /> ----<br /> <br /> &#039;&#039;&#039;Solución:&#039;&#039;&#039; <br /> <br /> ----<br /> &#039;&#039;&#039;Ejercicio 2.&#039;&#039;&#039; Demostrar o refutar la siguiente proposición <br /> &lt;blockquote&gt;<br /> Si la fórmula F se puede demostrar por deducción natural a partir del conjunto de fórmulas S y también se puede demostrar a partir del conjunto de fórmulas T, entonces F se puede demostrar por deducción natural a partir de la intersección de S y T.<br /> &lt;/blockquote&gt;<br /> ----<br /> <br /> &#039;&#039;&#039;Solución:&#039;&#039;&#039; <br /> <br /> ----<br /> &#039;&#039;&#039;Ejercicio 3.&#039;&#039;&#039; Demostrar por deducción natural<br /> : ((p → q ∧ ¬ r) → p) → p<br /> ----<br /> <br /> &#039;&#039;&#039;Solución:&#039;&#039;&#039; <br /> <br /> ----<br /> &#039;&#039;&#039;Ejercicio 4.&#039;&#039;&#039; Decidir, mediante tableros semánticos, si la fórmula<br /> : F : (p ∧ q → r ∨ ¬ s) → (¬ r ∧ q → ¬ p)<br /> es una tautología. Si no lo es, calcular a partir del tablero, un modelo de ¬F, una forma normal conjuntiva de F y una forma clausal de F.<br /> ----<br /> <br /> &#039;&#039;&#039;Solución:&#039;&#039;&#039; <br /> <br /> ----<br /> &#039;&#039;&#039;Ejercicio 5.&#039;&#039;&#039; Probar por resolución proposicional que<br /> : {p ∨ q ↔ ¬r, ¬p → s, ¬t → q, s ∧ t → u } ⊢ r → u. <br /> ----<br /> <br /> &#039;&#039;&#039;Solución:&#039;&#039;&#039;</div>

Jalonso