https://www.glc.us.es/~jalonso/LMF2013/index.php?action=history&feed=atom&title=Problema_2 2026-07-17T15:24:09Z Historial de revisiones para esta página en el wiki MediaWiki 1.31.14 https://www.glc.us.es/~jalonso/LMF2013/index.php?title=Problema_2&diff=73&oldid=prev 2013-02-19T18:35:51Z

<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 18:35 19 feb 2013</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l4" >Línea 4:</td> <td colspan="2" class="diff-lineno">Línea 4:</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> <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>== Soluciones colaborativas ==</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>== Soluciones colaborativas ==</div></td></tr> <tr><td colspan="2">&#160;</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><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</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><ins style="font-weight: bold; text-decoration: none;">-Raúl Montes Pajuelo.</ins></div></td></tr> <tr><td colspan="2">&#160;</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><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</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><ins style="font-weight: bold; text-decoration: none;">Nota: Utilizaré para la conjunción el símbolo &#039;y&#039;, para la disyunción el símbolo &#039;o&#039;, para la negación el símbolo &#039;¬&#039; y para el condicional el símbolo &#039;-&gt;&#039;. Las variables proposicionales son p, q y r.</ins></div></td></tr> <tr><td colspan="2">&#160;</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><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</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><ins style="font-weight: bold; text-decoration: none;">Sea el conjunto S={(p o q) y (¬q o r), p -&gt; r , ¬r} de tres fórmulas, estas son F1=(p o q) y (¬q o r), F2=(p -&gt; r) y F3= ¬r. Los posibles subconjuntos de S son S1={F1}, S2={F2}, S3={F3}, S4={F1,F2}, S5={F1,F3}, S6={F2,F3} y S7={F1,F2,F3}.</ins></div></td></tr> <tr><td colspan="2">&#160;</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><ins style="font-weight: bold; text-decoration: none;">El único subconjunto inconsistente es S7, pues todos los demás tienen algún modelo. La tabla de verdad para las 8 diferentes interpretaciones se puede consultar en la página 23 de los apuntes de la asignatura. Por lo tanto, la respuesta es que sí.</ins></div></td></tr> </table>

Raumonpaj https://www.glc.us.es/~jalonso/LMF2013/index.php?title=Problema_2&diff=66&oldid=prev 2013-02-18T19:35:24Z

<p>Página creada con &#039;== Enunciado == ¿Existe un conjunto S de tres fórmulas tal que de todos los subconjuntos de S sólo uno es inconsistente? == Soluciones colaborativas ==&#039;</p> <p><b>Página nueva</b></p><div>== Enunciado ==<br /> <br /> ¿Existe un conjunto S de tres fórmulas tal que de todos los subconjuntos de S sólo uno es inconsistente? <br /> <br /> == Soluciones colaborativas ==</div>

Jalonso