https://www.glc.us.es/~jalonso/RA2010/index.php?action=history&feed=atom&title=Rel_2 2026-07-17T14:11:46Z Historial de revisiones para esta página en el wiki MediaWiki 1.31.14 https://www.glc.us.es/~jalonso/RA2010/index.php?title=Rel_2&diff=317&oldid=prev 2018-07-16T07:49:28Z

<p></p> <table class="diff diff-contentalign-left" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="es"> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Revisión anterior</td> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revisión del 07:49 16 jul 2018</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Línea 1:</td> <td colspan="2" class="diff-lineno">Línea 1:</td></tr> <tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>&lt;source lang=&quot;<del class="diffchange diffchange-inline">isar</del>&quot;&gt;</div></td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>&lt;source lang=&quot;<ins class="diffchange diffchange-inline">isabelle</ins>&quot;&gt;</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>header {* 2ª relación de ejercicios *}</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>header {* 2ª relación de ejercicios *}</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr> </table>

Jalonso https://www.glc.us.es/~jalonso/RA2010/index.php?title=Rel_2&diff=161&oldid=prev 2011-02-14T22:47:12Z

<p>Protegió «<a href="/~jalonso/RA2010/index.php/Rel_2" title="Rel 2">Rel 2</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:47 14 feb 2011</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/RA2010/index.php?title=Rel_2&diff=160&oldid=prev 2011-02-14T22:46:58Z

<p>Página creada con &#039;&lt;source lang=&quot;isar&quot;&gt; header {* 2ª relación de ejercicios *} theory Relacion_2 imports Main begin text {* Demostrar o refutar los siguientes lemas usando sólo las reglas ...&#039;</p> <p><b>Página nueva</b></p><div>&lt;source lang=&quot;isar&quot;&gt;<br /> header {* 2ª relación de ejercicios *}<br /> <br /> theory Relacion_2<br /> imports Main <br /> begin<br /> <br /> text {*<br /> Demostrar o refutar los siguientes lemas usando sólo las reglas<br /> básicas de deducción natural de la lógica proposicional y de la lógica<br /> de predicados (allI, allE, exI y exE). <br /> *}<br /> <br /> lemma &quot;(∃x. ∀y. P x y) ⟶ (∀y. ∃x. P x y)&quot;<br /> oops<br /> <br /> lemma &quot;(∀x. P x ⟶ Q) = ((∃x. P x) ⟶ Q)&quot;<br /> oops<br /> <br /> lemma &quot;((∀ x. P x) ∧ (∀ x. Q x)) = (∀ x. (P x ∧ Q x))&quot;<br /> oops<br /> <br /> lemma &quot;((∀ x. P x) ∨ (∀ x. Q x)) = (∀ x. (P x ∨ Q x))&quot;<br /> oops<br /> <br /> lemma &quot;((∃ x. P x) ∨ (∃ x. Q x)) = (∃ x. (P x ∨ Q x))&quot;<br /> oops<br /> <br /> lemma &quot;(∀x. ∃y. P x y) ⟶ (∃y. ∀x. P x y)&quot;<br /> oops<br /> <br /> lemma &quot;(¬ (∀ x. P x)) = (∃ x. ¬ P x)&quot;<br /> oops<br /> <br /> end<br /> &lt;/source&gt;</div>

Jalonso