https://www.glc.us.es/~jalonso/LMF2016/index.php?action=history&feed=atom&title=R9R9 - Historial de revisiones2026-07-18T13:01:30ZHistorial de revisiones para esta página en el wikiMediaWiki 1.31.14https://www.glc.us.es/~jalonso/LMF2016/index.php?title=R9&diff=201&oldid=prevMjoseh en 06:19 28 abr 20162016-04-28T06:19:49Z<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 06:19 28 abr 2016</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> </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>=== Relación <ins class="diffchange diffchange-inline">9</ins>: Cuestiones  ===</div></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>=== Relación <del class="diffchange diffchange-inline">10</del>: Cuestiones  ===</div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'> </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'> </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>
<tr><td class='diff-marker'> </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>----</div></td><td class='diff-marker'> </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>----</div></td></tr>
</table>Mjosehhttps://www.glc.us.es/~jalonso/LMF2016/index.php?title=R9&diff=199&oldid=prevMjoseh: Protegió «R9» ([edit=sysop] (indefinido) [move=sysop] (indefinido))2016-04-28T06:19:20Z<p>Protegió «<a href="/~jalonso/LMF2016/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 06:19 28 abr 2016</td>
</tr><tr><td colspan="2" class="diff-notice" lang="es"><div class="mw-diff-empty">(Sin diferencias)</div>
</td></tr></table>Mjosehhttps://www.glc.us.es/~jalonso/LMF2016/index.php?title=R9&diff=198&oldid=prevMjoseh: Página creada con ' === 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 norma...'2016-04-28T06:19:13Z<p>Página creada con ' === 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 norma...'</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 />
* Sean G₁ una forma normal disyuntiva de F₁ y G₂ una forma normal disyuntiva de F₂. Si<br />
F₁ y F₂ son equivalentes, entonces G₁ y G₂ son fórmulas iguales.<br />
* Para toda fórmula F se tiene que si G₁ es una forma normal conjuntiva de F y G₂ es una<br />
forma normal normal disyuntiva de F, entonces G₁ y G₂ son fórmulas distintas.<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<br />
es una tautología<br />
<br />
----<br />
<br />
'''Solución:'''</div>Mjoseh