https://wiki.geogebra.org/s/es/index.php?title=Comando_DemuestraDetalles&feed=atom&action=historyComando DemuestraDetalles - Historial de revisiones2024-03-28T10:27:28ZHistorial de revisiones de esta página en el wikiMediaWiki 1.35.1https://wiki.geogebra.org/s/es/index.php?title=Comando_DemuestraDetalles&diff=73020&oldid=prevCecilia russo en 21:03 31 ago 20202020-08-31T21:03:38Z<p></p>
<table class="diff diff-contentalign-left diff-editfont-monospace" 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: #202122; text-align: center;">← Revisión anterior</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revisión del 21:03 31 ago 2020</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l7" >Línea 7:</td>
<td colspan="2" class="diff-lineno">Línea 7:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>*Una lista con un elemento: '''{false}''', si la proposición no es verdadera en general.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>*Una lista con un elemento: '''{false}''', si la proposición no es verdadera en general.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>*Una lista con un elemento: '''{true}''', si la proposición es siempre verdadera.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>*Una lista con un elemento: '''{true}''', si la proposición es siempre verdadera.</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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>*Una lista con más elementos, que contiene el valor booleano ''true'' y otra lista que podría denominarse de ''condiciones de no degeneramiento'', si la proposición es verdadera bajo ciertas condiciones, p. ej. {true, {''SonColineales<del class="diffchange diffchange-inline">[</del>A,B,C<del class="diffchange diffchange-inline">]</del>, SonIguales<del class="diffchange diffchange-inline">[</del>C,D<del class="diffchange diffchange-inline">]</del>''}}. Esto significa que si ninguna de las condiciones es verdadera, entonces la proposición es verdadera.</div></td><td class='diff-marker'>+</td><td style="color: #202122; 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>*Una lista con más elementos, que contiene el valor booleano ''true'' y otra lista que podría denominarse de ''condiciones de no degeneramiento'', si la proposición es verdadera bajo ciertas condiciones, p. ej. {true, {''SonColineales<ins class="diffchange diffchange-inline">(</ins>A,B,C<ins class="diffchange diffchange-inline">)</ins>, SonIguales<ins class="diffchange diffchange-inline">(</ins>C,D<ins class="diffchange diffchange-inline">)</ins>''}}. Esto significa que si ninguna de las condiciones es verdadera, entonces la proposición es verdadera.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>*Una lista '''{true,{"..."}}''' si la proposición es verdadera bajo ciertas condiciones, pero estas condiciones no pueden ser expresadas de forma comprensible para el usuario por alguna razón.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>*Una lista '''{true,{"..."}}''' si la proposición es verdadera bajo ciertas condiciones, pero estas condiciones no pueden ser expresadas de forma comprensible para el usuario por alguna razón.</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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>:{{example| 1=<div>Definamos el triángulo de vértices ''A'', ''B'' y ''C'', y definamos <code><nowiki>D=PuntoMedio<del class="diffchange diffchange-inline">[</del>B,C<del class="diffchange diffchange-inline">]</del></nowiki></code>, <code><nowiki>E=PuntoMedio<del class="diffchange diffchange-inline">[</del>A,C<del class="diffchange diffchange-inline">]</del></nowiki></code>, <code><nowiki>p=Recta<del class="diffchange diffchange-inline">[</del>A,B<del class="diffchange diffchange-inline">]</del></nowiki></code>, <code><nowiki>q=Recta<del class="diffchange diffchange-inline">[</del>D,E<del class="diffchange diffchange-inline">]</del></nowiki></code>. En este caso <code><nowiki> DemuestraDetalles<del class="diffchange diffchange-inline">[SonParalelas[</del>p∥q<del class="diffchange diffchange-inline">]]</del></nowiki></code> devuelve <nowiki>{true,{"SonIguales<del class="diffchange diffchange-inline">[</del>A,B<del class="diffchange diffchange-inline">]</del>"}}</nowiki><del class="diffchange diffchange-inline">, lo cual </del>significa que si los puntos ''A'' y ''B'' son diferentes, entonces <del class="diffchange diffchange-inline">la recta </del>''<del class="diffchange diffchange-inline">DE</del>'' <del class="diffchange diffchange-inline">es paralela </del>a la recta ''<del class="diffchange diffchange-inline">AB</del>''.</div>}}</div></td><td class='diff-marker'>+</td><td style="color: #202122; 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>:{{example| 1=<div>Definamos el triángulo de vértices ''A'', ''B'' y ''C'', y definamos <code><nowiki>D=PuntoMedio<ins class="diffchange diffchange-inline">(</ins>B,C<ins class="diffchange diffchange-inline">)</ins></nowiki></code>, <code><nowiki>E=PuntoMedio<ins class="diffchange diffchange-inline">(</ins>A,C<ins class="diffchange diffchange-inline">)</ins></nowiki></code>, <code><nowiki>p=Recta<ins class="diffchange diffchange-inline">(</ins>A,B<ins class="diffchange diffchange-inline">)</ins></nowiki></code>, <code><nowiki>q=Recta<ins class="diffchange diffchange-inline">(</ins>D,E<ins class="diffchange diffchange-inline">)</ins></nowiki></code>. En este caso <code><nowiki> DemuestraDetalles<ins class="diffchange diffchange-inline">(</ins>p∥q<ins class="diffchange diffchange-inline">)</nowiki></code> devuelve <nowiki>{true}</nowiki>, lo cual significa que si la cosntrucción puede ser realizada, entonces recta ''DE'' es paralela al lado ''AB''.</div>}}</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; 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 class="diffchange diffchange-inline">:{{example| 1=<div>Sea ''AB'' el segmento ''a'', y se define <code><nowiki>C=PuntoMedio(A,B)</nowiki></code>, <code><nowiki>b=Mediatriz(A,B)</nowiki></code>, <code><nowiki>D=Interseca(a,b)</nowiki></code>. Entonces <code><nowiki>DemuestraDetalles(C==D)</ins></nowiki></code> devuelve <nowiki>{true,{"SonIguales<ins class="diffchange diffchange-inline">(</ins>A,B<ins class="diffchange diffchange-inline">)</ins>"}}</nowiki><ins class="diffchange diffchange-inline">: esto </ins>significa que si los puntos ''A'' y ''B'' son diferentes, entonces <ins class="diffchange diffchange-inline">los puntos ''C'' y ''D'' coinciden.</div>}}</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; 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 class="diffchange diffchange-inline">:{{example| 1=<div>Sea ''AB</ins>'' <ins class="diffchange diffchange-inline">el segmento </ins>''a<ins class="diffchange diffchange-inline">'', y se define <code><nowiki>l=Recta(A,B)</nowiki></code>. Sea ''C'' un punto cualquiera en </ins>la recta ''<ins class="diffchange diffchange-inline">l</ins>''<ins class="diffchange diffchange-inline">, además sea <code><nowiki>b=Segmento(B,C)</nowiki></code>, <code><nowiki>c=Segmento(A,C)</nowiki></code>. Entonces <code><nowiki>DemuestraDetalle(a==b+c)</nowiki></code> devuelve <nowiki>{true,{"a+b==c", "b==a+c"}}</nowiki>: lo que significa que si ni <math>a+b=c</math>, ni <math>b=a+c</math>, entonces <math>a=b+c</math></ins>.</div>}}</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; 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> </div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>Es posible que la lista de condiciones de no degeneramiento no sea el conjunto más sencillo. Para el ejemplo anterior, el conjunto más sencillo habría sido el conjunto vacío.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>Es posible que la lista de condiciones de no degeneramiento no sea el conjunto más sencillo. Para el ejemplo anterior, el conjunto más sencillo habría sido el conjunto vacío.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>{{Note| Ver también el comando [[Comando Demuestra|Demuestra]], [[Valores Lógicos|valores lógicos]] y [http://dev.geogebra.org/trac/wiki/TheoremProving detalles técnicos de los algoritmos].}}</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>{{Note| Ver también el comando [[Comando Demuestra|Demuestra]], [[Valores Lógicos|valores lógicos]] y [http://dev.geogebra.org/trac/wiki/TheoremProving detalles técnicos de los algoritmos].}}</div></td></tr>
</table>Cecilia russohttps://wiki.geogebra.org/s/es/index.php?title=Comando_DemuestraDetalles&diff=51944&oldid=prevFvitabar: Unificación de versiones de traducción a "DemuestraDetalles"2018-02-15T12:41:10Z<p>Unificación de versiones de traducción a "DemuestraDetalles"</p>
<table class="diff diff-contentalign-left diff-editfont-monospace" 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: #202122; text-align: center;">← Revisión anterior</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revisión del 12:41 15 feb 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: #202122; 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><del class="diffchange diffchange-inline">#REDIRECT</del>[[Comando <del class="diffchange diffchange-inline">CompruebaDetalles</del>]]</div></td><td class='diff-marker'>+</td><td style="color: #202122; 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 class="diffchange diffchange-inline"><noinclude>{{Manual Page|version=5.0}}</noinclude>{{command|geometry|DemuestraDetalles}}</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; 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> </div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; 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 class="diffchange diffchange-inline">; DemuestraDetalles( <Expresión lógica> ): Devuelve algunos detalles del resultado de la demostración automática.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; 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> </div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; 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 class="diffchange diffchange-inline">Normalmente, GeoGebra decide el valor de verdad de una [[Valores Lógicos|proposición]] a partir de computaciones numéricas. Sin embargo, el comando DemuestraDetalles utiliza [[w:es:Cálculo_simbólico|métodos simbólicos]] para determinar si la proposición es verdadera o falsa en general. Este comando opera como el comando </ins>[[Comando <ins class="diffchange diffchange-inline">Demuestra|Demuestra</ins>]]<ins class="diffchange diffchange-inline">, pero también devuelve algunos detalles del resultado como una [[Listas|lista]]:</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; 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 class="diffchange diffchange-inline">*Una lista vacía '''{}''' si GeoGebra no puede determinar la respuesta.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; 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 class="diffchange diffchange-inline">*Una lista con un elemento: '''{false}''', si la proposición no es verdadera en general.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; 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 class="diffchange diffchange-inline">*Una lista con un elemento: '''{true}''', si la proposición es siempre verdadera.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; 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 class="diffchange diffchange-inline">*Una lista con más elementos, que contiene el valor booleano ''true'' y otra lista que podría denominarse de ''condiciones de no degeneramiento'', si la proposición es verdadera bajo ciertas condiciones, p. ej. {true, {''SonColineales[A,B,C], SonIguales[C,D]''}}. Esto significa que si ninguna de las condiciones es verdadera, entonces la proposición es verdadera.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; 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 class="diffchange diffchange-inline">*Una lista '''{true,{"..."}}''' si la proposición es verdadera bajo ciertas condiciones, pero estas condiciones no pueden ser expresadas de forma comprensible para el usuario por alguna razón.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; 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 class="diffchange diffchange-inline">:{{example| 1=<div>Definamos el triángulo de vértices ''A'', ''B'' y ''C'', y definamos <code><nowiki>D=PuntoMedio[B,C]</nowiki></code>, <code><nowiki>E=PuntoMedio[A,C]</nowiki></code>, <code><nowiki>p=Recta[A,B]</nowiki></code>, <code><nowiki>q=Recta[D,E]</nowiki></code>. En este caso <code><nowiki> DemuestraDetalles[SonParalelas[p∥q]]</nowiki></code> devuelve <nowiki>{true,{"SonIguales[A,B]"}}</nowiki>, lo cual significa que si los puntos ''A'' y ''B'' son diferentes, entonces la recta ''DE'' es paralela a la recta ''AB''.</div>}}</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; 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 class="diffchange diffchange-inline">Es posible que la lista de condiciones de no degeneramiento no sea el conjunto más sencillo. Para el ejemplo anterior, el conjunto más sencillo habría sido el conjunto vacío.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; 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 class="diffchange diffchange-inline">{{Note| Ver también el comando [[Comando Demuestra|Demuestra]], [[Valores Lógicos|valores lógicos]] y [http://dev.geogebra.org/trac/wiki/TheoremProving detalles técnicos de los algoritmos].}}</ins></div></td></tr>
</table>Fvitabarhttps://wiki.geogebra.org/s/es/index.php?title=Comando_DemuestraDetalles&diff=49049&oldid=prevFvitabar: Página redirigida a Comando CompruebaDetalles2015-09-13T09:12:31Z<p>Página redirigida a <a href="/es/Comando_CompruebaDetalles" class="mw-redirect" title="Comando CompruebaDetalles">Comando CompruebaDetalles</a></p>
<table class="diff diff-contentalign-left diff-editfont-monospace" 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: #202122; text-align: center;">← Revisión anterior</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revisión del 09:12 13 sep 2015</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: #202122; 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><del class="diffchange diffchange-inline"><noinclude>{{Manual Page|version=5.0}}</noinclude><small>{{beta_manual|version=5.0|<center>En desarrollo</center>}}</small><small><small>También conocido como </del>[[Comando CompruebaDetalles<del class="diffchange diffchange-inline">|'''''CompruebaDetalles''''']]</small></small>{{warning|1=<small>Este comando, en desarrollo preliminar, puede ser modificado aún (en su sintaxis y/o salidas). En el ínterin, acaso manifieste inconsistencias.</small>}}{{command|logical|DemuestraDetalles}}{{GGb5u|1=<div> </del></div></td><td class='diff-marker'>+</td><td style="color: #202122; 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 class="diffchange diffchange-inline">#REDIRECT</ins>[[Comando CompruebaDetalles]]</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline">;DemuestraDetalles[ <Expresión Booleana> ]:Da por resultado algunos detalles derivados de la prueba simbólica automática.</div>}}</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline"><h2>Metodología de Control</h2></del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline">'''''GeoGebra''''' emplea varios métodos para decidir si una [[Valores Lógicos|expresión ''booleana'']] es verdadera o no:</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline">*en general, los de cálculo numérico</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline">*en particular, como para este comando y para [[Comando Demuestra|Demuestra]] [http://pt.wikipedia.org/wiki/Matem%C3%A1tica_simb%C3%B3lica los de índole simbólica] para determinar un valor de verdad cierto o falso.</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline">{{OJo|1= Queda '''''indefinido''''' cuando falten medios para establecer uno u otro valor.}}</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline"><h3>Demuestra/Comprueba y Detalla</h3></del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline">'''DemuestraDetallles''' opera de modo similar a [[Comando Demuestra|Demuestra]] pero suma, además, algunos detalles del resultado como una [[Listas|lista]]:</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline">*vacía '''<code>{}</code>''' si no se puede determinar la respuesta <small>(la expresión no puede ser probada; no se cuenta con medios de lógica constituida para operar en esta situación o el cálculo demandaría demasiado tiempo)</small>.</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline">*de un elemento: </del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline">**'''{false}''', si la sentencia, en general, no es verdadera</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline">**'''{true}''', si la sentencia es siempre verdadera</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline">*dos listas:</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline">**una, con más elementos, conteniendo el valor booleano verdadero - ''true'' - </del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline">**otra, para las así llamadas ''condiciones no-degeneradas'' para las que la sentencia resulta cierta</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline">***<small>Por ejemplo, {true, {"PolígonoDegenerado[A, B, C, D]"}} siendo la excepción la de "PolígonoDegenerado"<sup>cuya traducción aún no se ha implementado o sea que aparecería en inglés</sup>). Es decir, se listan los casos en que la sentencia que es "genéricamente verdadera", puede no serlo. Son excepciones las condiciones listadas (que ''"los puntos A, B, C no sean colineales"'', ''"los segmentos c, d no sean iguales"'', etc.).</small><br>Entonces, si ninguna de las condiciones listadas fuera verdadera, la sentencia lo sería.</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline">*una [[Listas|lista]] con más elementos, incluyendo el valor ''booleano'' ''cierto''<sup><small>''true''</small></sup> y otra para alguna de las denominadas ''condiciones no-degeneradas'', si la declaración es cierta bajo ciertas condiciones como {true, {"EstánAlineados[A,B,C], SonIguales[C,D]"}}. Esto significa que si ninguna de las condiciones fuera cierta, entonces la declaración lo sería</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline">*una [[Listas|lista]] '''{true,{"..."}}''', si la declaración fuera cierta bajo ciertas condiciones pero pero tales condiciones no pudieran, por alguna razón, ser ''traducidas'' a un formato ''humanamente legible''</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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 colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline">{{Example|1=Definiendo un triángulo con vértices ''A'', ''B'' y ''C'', y estableciendo que...</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline">*'''<code><nowiki>D=PuntoMedio[B, C]</nowiki></code>'''</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline">*'''<code><nowiki>E=PuntoMedio[A, C]</nowiki></code>'''</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline">*'''<code><nowiki>p=Recta[A, B]</nowiki></code>'''</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline">*'''<code><nowiki>q=Recta[D, E]</nowiki></code>'''</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline">:... entonces</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline">:*'''<code><nowiki>DemuestraDetalles[SonParalelas[p, q]]</nowiki></code>''' da por resultado</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline">::*'''<nowiki>{true,{ SonIguales[A, B] } }</nowiki>'''.<br><hr></del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline"><center>'''''<u>For the above example, the simplest set would be the empty set.</u>'''''</center><hr><br></del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline">Esto implica que si el triángulo ''ABC'' lo es efectivamente y no son iguales '''A''' y '''B''', su base media, tal como ''DE'', es paralela a la recta del lado ''AB''.}}</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline">{{OJo|1=<br> Es posible que la lista de condiciones no-degeneradas no sea necesariamente un simple conjunto acotado y suficiente para confirmar la sentencia.<br>Entonces, solo puede establecerse que suponiendo en general condiciones no degeneradas, sería verdadera.<br>Para alguno de los ejemplos, el conjunto vacío de ''condiciones no degeneradas'' sería el más simple.}}</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline">===Consideraciones Preliminares===</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline">En algunos casos, no todos los incidentes están siendo considerados.</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline">{{Example|1=Definiendo un cuadrilátero con vértices ''A'', ''B'', ''C'' y ''D'', y estableciendo que...</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline">*'''<code><nowiki>E=PuntoMedio[A, B]</nowiki></code>'''</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline">*'''<code><nowiki>F=PuntoMedio[B, C]</nowiki></code>'''... y luego ''G'' y ''H'' como los puntos medios de los dos lados restantes.</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline">... entonces</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline">*'''<code><nowiki>DemuestraDetalles[SonIguales[Segmento[E, H], Segmento[F, G]]]</nowiki></code>''' da por resultado</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline">::*'''<nowiki>{true,{ "PolígonoDegenerado[A, B, C, D]", "SonIguales[A, B]"} }</nowiki>'''}}<small></del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline">{{warning|1=Como este comando está en desarrollo aún, posiblemente permanezcan incidentes de ''excepción'' sin incluir y, por ejemplo, la sentencia aparezca como verdadera incluso para un cuadrilátero que hubiera degenerado en triángulo porque cuando coinciden ''A'' y ''B'' su punto medio ''E'' sigue existiendo y el segmento [EH] es igual a [AH] y de la misma longitud que el [FG] a nivel métrico.<br>Sobre todo que, si en lugar de controlar la igualdad de longitud se verificará si hay paralelismo - '''<code><nowiki>DemuestraDetalles[SonParalelas[Recta[E, H], Recta[F, G</del>]]<del class="diffchange diffchange-inline">]</nowiki></code>''' - habría que contemplar si la salida sería verdadera sin casos particulares o, en el caso del polígono degenerado, con superposición de ''B'' y ''D'', las rectas en juego no quedan definidas.</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline">}}</small></del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline">{{Note|1=Ver también el comando [[Comando Demuestra|Demuestra]], el artículo destinado a [[Valores Lógicos|Valores Lógicos o ''Booleanos'']] y la página (en inglés) con [http://dev.geogebra.org/trac/wiki/TheoremProving los detalles técnicos de los algoritmos].}}</del></div></td><td colspan="2"> </td></tr>
</table>Fvitabarhttps://wiki.geogebra.org/s/es/index.php?title=Comando_DemuestraDetalles&diff=44683&oldid=prevSpanish1 en 17:43 24 dic 20142014-12-24T17:43:53Z<p></p>
<table class="diff diff-contentalign-left diff-editfont-monospace" 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: #202122; text-align: center;">← Revisión anterior</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revisión del 17:43 24 dic 2014</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="background-color: #f8f9fa; color: #202122; 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><noinclude>{{Manual Page|version=5.0}}</noinclude><small>{{beta_manual|version=5.0|<center>En desarrollo</center>}}</small><small><small>También conocido como [[Comando CompruebaDetalles|'''''CompruebaDetalles''''']]</small></small>{{warning|1=<small>Este comando, en desarrollo preliminar, puede ser modificado aún (en su sintaxis y/o salidas). En el ínterin, acaso manifieste inconsistencias.</small>}}{{command|logical|DemuestraDetalles}}{{GGb5u|1=<div> </div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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><noinclude>{{Manual Page|version=5.0}}</noinclude><small>{{beta_manual|version=5.0|<center>En desarrollo</center>}}</small><small><small>También conocido como [[Comando CompruebaDetalles|'''''CompruebaDetalles''''']]</small></small>{{warning|1=<small>Este comando, en desarrollo preliminar, puede ser modificado aún (en su sintaxis y/o salidas). En el ínterin, acaso manifieste inconsistencias.</small>}}{{command|logical|DemuestraDetalles}}{{GGb5u|1=<div> </div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>;DemuestraDetalles[ <Expresión Booleana> ]:Da por resultado algunos detalles derivados de la prueba simbólica automática.</div>}}</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>;DemuestraDetalles[ <Expresión Booleana> ]:Da por resultado algunos detalles derivados de la prueba simbólica automática.</div>}}</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><<del class="diffchange diffchange-inline">h3</del>>Metodología de Control</<del class="diffchange diffchange-inline">h3</del>></div></td><td class='diff-marker'>+</td><td style="color: #202122; 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 class="diffchange diffchange-inline">h2</ins>>Metodología de Control</<ins class="diffchange diffchange-inline">h2</ins>></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>'''''GeoGebra''''' emplea varios métodos para decidir si una [[Valores Lógicos|expresión ''booleana'']] es verdadera o no:</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>'''''GeoGebra''''' emplea varios métodos para decidir si una [[Valores Lógicos|expresión ''booleana'']] es verdadera o no:</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>*en general, los de cálculo numérico</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>*en general, los de cálculo numérico</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>*en particular, como para este comando y para [[Comando Demuestra|Demuestra]] [http://pt.wikipedia.org/wiki/Matem%C3%A1tica_simb%C3%B3lica los de índole simbólica] para determinar un valor de verdad cierto o falso.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>*en particular, como para este comando y para [[Comando Demuestra|Demuestra]] [http://pt.wikipedia.org/wiki/Matem%C3%A1tica_simb%C3%B3lica los de índole simbólica] para determinar un valor de verdad cierto o falso.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>{{OJo|1= Queda '''''indefinido''''' cuando falten medios para establecer uno u otro valor.}}</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>{{OJo|1= Queda '''''indefinido''''' cuando falten medios para establecer uno u otro valor.}}</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><<del class="diffchange diffchange-inline">h4</del>>Demuestra/Comprueba y Detalla</<del class="diffchange diffchange-inline">h4</del>></div></td><td class='diff-marker'>+</td><td style="color: #202122; 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 class="diffchange diffchange-inline">h3</ins>>Demuestra/Comprueba y Detalla</<ins class="diffchange diffchange-inline">h3</ins>></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>'''DemuestraDetallles''' opera de modo similar a [[Comando Demuestra|Demuestra]] pero suma, además, algunos detalles del resultado como una [[Listas|lista]]:</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>'''DemuestraDetallles''' opera de modo similar a [[Comando Demuestra|Demuestra]] pero suma, además, algunos detalles del resultado como una [[Listas|lista]]:</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>*vacía '''<code>{}</code>''' si no se puede determinar la respuesta <small>(la expresión no puede ser probada; no se cuenta con medios de lógica constituida para operar en esta situación o el cálculo demandaría demasiado tiempo)</small>.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>*vacía '''<code>{}</code>''' si no se puede determinar la respuesta <small>(la expresión no puede ser probada; no se cuenta con medios de lógica constituida para operar en esta situación o el cálculo demandaría demasiado tiempo)</small>.</div></td></tr>
</table>Spanish1https://wiki.geogebra.org/s/es/index.php?title=Comando_DemuestraDetalles&diff=44681&oldid=prevSpanish1 en 17:43 24 dic 20142014-12-24T17:43:00Z<p></p>
<table class="diff diff-contentalign-left diff-editfont-monospace" 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: #202122; text-align: center;">← Revisión anterior</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revisión del 17:43 24 dic 2014</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="background-color: #f8f9fa; color: #202122; 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><noinclude>{{Manual Page|version=5.0}}</noinclude><small>{{beta_manual|version=5.0|<center>En desarrollo</center>}}</small><small><small>También conocido como [[Comando CompruebaDetalles|'''''CompruebaDetalles''''']]</small></small>{{warning|1=<small>Este comando, en desarrollo preliminar, puede ser modificado aún (en su sintaxis y/o salidas). En el ínterin, acaso manifieste inconsistencias.</small>}}{{command|logical|DemuestraDetalles}}{{GGb5u|1=<div> </div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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><noinclude>{{Manual Page|version=5.0}}</noinclude><small>{{beta_manual|version=5.0|<center>En desarrollo</center>}}</small><small><small>También conocido como [[Comando CompruebaDetalles|'''''CompruebaDetalles''''']]</small></small>{{warning|1=<small>Este comando, en desarrollo preliminar, puede ser modificado aún (en su sintaxis y/o salidas). En el ínterin, acaso manifieste inconsistencias.</small>}}{{command|logical|DemuestraDetalles}}{{GGb5u|1=<div> </div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>;DemuestraDetalles[ <Expresión Booleana> ]:Da por resultado algunos detalles derivados de la prueba simbólica automática.</div>}}</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>;DemuestraDetalles[ <Expresión Booleana> ]:Da por resultado algunos detalles derivados de la prueba simbólica automática.</div>}}</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><<del class="diffchange diffchange-inline">h4</del>>Metodología de Control</<del class="diffchange diffchange-inline">h4</del>></div></td><td class='diff-marker'>+</td><td style="color: #202122; 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 class="diffchange diffchange-inline">h3</ins>>Metodología de Control</<ins class="diffchange diffchange-inline">h3</ins>></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>'''''GeoGebra''''' emplea varios métodos para decidir si una [[Valores Lógicos|expresión ''booleana'']] es verdadera o no:</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>'''''GeoGebra''''' emplea varios métodos para decidir si una [[Valores Lógicos|expresión ''booleana'']] es verdadera o no:</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>*en general, los de cálculo numérico</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>*en general, los de cálculo numérico</div></td></tr>
<tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l30" >Línea 30:</td>
<td colspan="2" class="diff-lineno">Línea 30:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>Esto implica que si el triángulo ''ABC'' lo es efectivamente y no son iguales '''A''' y '''B''', su base media, tal como ''DE'', es paralela a la recta del lado ''AB''.}}</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>Esto implica que si el triángulo ''ABC'' lo es efectivamente y no son iguales '''A''' y '''B''', su base media, tal como ''DE'', es paralela a la recta del lado ''AB''.}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>{{OJo|1=<br> Es posible que la lista de condiciones no-degeneradas no sea necesariamente un simple conjunto acotado y suficiente para confirmar la sentencia.<br>Entonces, solo puede establecerse que suponiendo en general condiciones no degeneradas, sería verdadera.<br>Para alguno de los ejemplos, el conjunto vacío de ''condiciones no degeneradas'' sería el más simple.}}</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>{{OJo|1=<br> Es posible que la lista de condiciones no-degeneradas no sea necesariamente un simple conjunto acotado y suficiente para confirmar la sentencia.<br>Entonces, solo puede establecerse que suponiendo en general condiciones no degeneradas, sería verdadera.<br>Para alguno de los ejemplos, el conjunto vacío de ''condiciones no degeneradas'' sería el más simple.}}</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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><del class="diffchange diffchange-inline">=</del>=== Consideraciones Preliminares <del class="diffchange diffchange-inline">=</del>===</div></td><td class='diff-marker'>+</td><td style="color: #202122; 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>===Consideraciones Preliminares===</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>En algunos casos, no todos los incidentes están siendo considerados.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>En algunos casos, no todos los incidentes están siendo considerados.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>{{Example|1=Definiendo un cuadrilátero con vértices ''A'', ''B'', ''C'' y ''D'', y estableciendo que...</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>{{Example|1=Definiendo un cuadrilátero con vértices ''A'', ''B'', ''C'' y ''D'', y estableciendo que...</div></td></tr>
</table>Spanish1https://wiki.geogebra.org/s/es/index.php?title=Comando_DemuestraDetalles&diff=38505&oldid=prevSpanish1 en 03:42 3 oct 20142014-10-03T03:42:38Z<p></p>
<table class="diff diff-contentalign-left diff-editfont-monospace" 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: #202122; text-align: center;">← Revisión anterior</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revisión del 03:42 3 oct 2014</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: #202122; 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><noinclude>{{Manual Page|version=5.0}}</noinclude><small>{{beta_manual|version=5.0|<center>En desarrollo</center>}}</small><small><small>También conocido como [[Comando CompruebaDetalles|'''''CompruebaDetalles''''']]</small></small>{{warning|1=<small>Este comando, en desarrollo preliminar, puede ser modificado aún (en su sintaxis y/o salidas). En el ínterin, acaso manifieste inconsistencias.</small>}}{{command|logical|DemuestraDetalles}};DemuestraDetalles[ <Expresión Booleana> ]:Da por resultado algunos detalles derivados de la prueba simbólica automática.</div></td><td class='diff-marker'>+</td><td style="color: #202122; 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><noinclude>{{Manual Page|version=5.0}}</noinclude><small>{{beta_manual|version=5.0|<center>En desarrollo</center>}}</small><small><small>También conocido como [[Comando CompruebaDetalles|'''''CompruebaDetalles''''']]</small></small>{{warning|1=<small>Este comando, en desarrollo preliminar, puede ser modificado aún (en su sintaxis y/o salidas). En el ínterin, acaso manifieste inconsistencias.</small>}}{{command|logical|DemuestraDetalles}}<ins class="diffchange diffchange-inline">{{GGb5u|1=<div> </ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; 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>;DemuestraDetalles[ <Expresión Booleana> ]:Da por resultado algunos detalles derivados de la prueba simbólica automática.<ins class="diffchange diffchange-inline"></div>}}</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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><h4>Metodología de Control</h4></div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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><h4>Metodología de Control</h4></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>'''''GeoGebra''''' emplea varios métodos para decidir si una [[Valores Lógicos|expresión ''booleana'']] es verdadera o no:</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>'''''GeoGebra''''' emplea varios métodos para decidir si una [[Valores Lógicos|expresión ''booleana'']] es verdadera o no:</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>*en general, los de cálculo numérico</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>*en general, los de cálculo numérico</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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>*en particular, como para este comando y para [[Comando Demuestra|Demuestra]] [http://pt.wikipedia.org/wiki/Matem%C3%A1tica_simb%C3%B3lica los de índole simbólica] para determinar un valor de verdad cierto o falso.{{OJo|1= Queda '''''indefinido''''' cuando falten medios para establecer uno u otro valor.}}</div></td><td class='diff-marker'>+</td><td style="color: #202122; 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>*en particular, como para este comando y para [[Comando Demuestra|Demuestra]] [http://pt.wikipedia.org/wiki/Matem%C3%A1tica_simb%C3%B3lica los de índole simbólica] para determinar un valor de verdad cierto o falso.</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; 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>{{OJo|1= Queda '''''indefinido''''' cuando falten medios para establecer uno u otro valor.}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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><h4>Demuestra/Comprueba y Detalla</h4></div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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><h4>Demuestra/Comprueba y Detalla</h4></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>'''DemuestraDetallles''' opera de modo similar a [[Comando Demuestra|Demuestra]] pero suma, además, algunos detalles del resultado como una [[Listas|lista]]:</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>'''DemuestraDetallles''' opera de modo similar a [[Comando Demuestra|Demuestra]] pero suma, además, algunos detalles del resultado como una [[Listas|lista]]:</div></td></tr>
</table>Spanish1https://wiki.geogebra.org/s/es/index.php?title=Comando_DemuestraDetalles&diff=37708&oldid=prevSpanish1 en 06:01 14 sep 20142014-09-14T06:01:23Z<p></p>
<table class="diff diff-contentalign-left diff-editfont-monospace" 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: #202122; text-align: center;">← Revisión anterior</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revisión del 06:01 14 sep 2014</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: #202122; 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><noinclude>{{Manual Page|version=5.0}}</noinclude><small>{{beta_manual|version=5.0|<center>En desarrollo</center>}}</small><small><small>También conocido como '''''CompruebaDetalles'''''</small></small>{{warning|1=<small>Este comando, en desarrollo preliminar, puede ser modificado aún (en su sintaxis y/o salidas). En el ínterin, acaso manifieste inconsistencias.</small>}}{{<del class="diffchange diffchange-inline">commañd</del>|logical|DemuestraDetalles}};DemuestraDetalles[ <Expresión Booleana> ]:Da por resultado algunos detalles derivados de la prueba simbólica automática.</div></td><td class='diff-marker'>+</td><td style="color: #202122; 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><noinclude>{{Manual Page|version=5.0}}</noinclude><small>{{beta_manual|version=5.0|<center>En desarrollo</center>}}</small><small><small>También conocido como <ins class="diffchange diffchange-inline">[[Comando CompruebaDetalles|</ins>'''''CompruebaDetalles'''''<ins class="diffchange diffchange-inline">]]</ins></small></small>{{warning|1=<small>Este comando, en desarrollo preliminar, puede ser modificado aún (en su sintaxis y/o salidas). En el ínterin, acaso manifieste inconsistencias.</small>}}{{<ins class="diffchange diffchange-inline">command</ins>|logical|DemuestraDetalles}};DemuestraDetalles[ <Expresión Booleana> ]:Da por resultado algunos detalles derivados de la prueba simbólica automática.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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><h4>Metodología de Control</h4></div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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><h4>Metodología de Control</h4></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>'''''GeoGebra''''' emplea varios métodos para decidir si una [[Valores Lógicos|expresión ''booleana'']] es verdadera o no:</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>'''''GeoGebra''''' emplea varios métodos para decidir si una [[Valores Lógicos|expresión ''booleana'']] es verdadera o no:</div></td></tr>
</table>Spanish1https://wiki.geogebra.org/s/es/index.php?title=Comando_DemuestraDetalles&diff=35599&oldid=prevSpanish1 en 02:56 6 feb 20142014-02-06T02:56:19Z<p></p>
<table class="diff diff-contentalign-left diff-editfont-monospace" 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: #202122; text-align: center;">← Revisión anterior</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revisión del 02:56 6 feb 2014</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="background-color: #f8f9fa; color: #202122; 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><noinclude>{{Manual Page|version=5.0}}</noinclude><small>{{beta_manual|version=5.0|<center>En desarrollo</center>}}</small><small><small>También conocido como '''''CompruebaDetalles'''''</small></small>{{warning|1=<small>Este comando, en desarrollo preliminar, puede ser modificado aún (en su sintaxis y/o salidas). En el ínterin, acaso manifieste inconsistencias.</small>}}{{commañd|logical|DemuestraDetalles}};DemuestraDetalles[ <Expresión Booleana> ]:Da por resultado algunos detalles derivados de la prueba simbólica automática.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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><noinclude>{{Manual Page|version=5.0}}</noinclude><small>{{beta_manual|version=5.0|<center>En desarrollo</center>}}</small><small><small>También conocido como '''''CompruebaDetalles'''''</small></small>{{warning|1=<small>Este comando, en desarrollo preliminar, puede ser modificado aún (en su sintaxis y/o salidas). En el ínterin, acaso manifieste inconsistencias.</small>}}{{commañd|logical|DemuestraDetalles}};DemuestraDetalles[ <Expresión Booleana> ]:Da por resultado algunos detalles derivados de la prueba simbólica automática.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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><h4>Metodología de Control</h4></div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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><h4>Metodología de Control</h4></div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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>'''''GeoGebra''''' emplea varios métodos para decidir si una [[Valores <del class="diffchange diffchange-inline">Booleanos</del>|expresión <del class="diffchange diffchange-inline"> </del>booleana]] es verdadera o no:</div></td><td class='diff-marker'>+</td><td style="color: #202122; 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>'''''GeoGebra''''' emplea varios métodos para decidir si una [[Valores <ins class="diffchange diffchange-inline">Lógicos</ins>|expresión <ins class="diffchange diffchange-inline">''</ins>booleana<ins class="diffchange diffchange-inline">''</ins>]] es verdadera o no:</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>*en general, los de cálculo numérico</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>*en general, los de cálculo numérico</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>*en particular, como para este comando y para [[Comando Demuestra|Demuestra]] [http://pt.wikipedia.org/wiki/Matem%C3%A1tica_simb%C3%B3lica los de índole simbólica] para determinar un valor de verdad cierto o falso.{{OJo|1= Queda '''''indefinido''''' cuando falten medios para establecer uno u otro valor.}}</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>*en particular, como para este comando y para [[Comando Demuestra|Demuestra]] [http://pt.wikipedia.org/wiki/Matem%C3%A1tica_simb%C3%B3lica los de índole simbólica] para determinar un valor de verdad cierto o falso.{{OJo|1= Queda '''''indefinido''''' cuando falten medios para establecer uno u otro valor.}}</div></td></tr>
<tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l38" >Línea 38:</td>
<td colspan="2" class="diff-lineno">Línea 38:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>{{warning|1=Como este comando está en desarrollo aún, posiblemente permanezcan incidentes de ''excepción'' sin incluir y, por ejemplo, la sentencia aparezca como verdadera incluso para un cuadrilátero que hubiera degenerado en triángulo porque cuando coinciden ''A'' y ''B'' su punto medio ''E'' sigue existiendo y el segmento [EH] es igual a [AH] y de la misma longitud que el [FG] a nivel métrico.<br>Sobre todo que, si en lugar de controlar la igualdad de longitud se verificará si hay paralelismo - '''<code><nowiki>DemuestraDetalles[SonParalelas[Recta[E, H], Recta[F, G]]]</nowiki></code>''' - habría que contemplar si la salida sería verdadera sin casos particulares o, en el caso del polígono degenerado, con superposición de ''B'' y ''D'', las rectas en juego no quedan definidas.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>{{warning|1=Como este comando está en desarrollo aún, posiblemente permanezcan incidentes de ''excepción'' sin incluir y, por ejemplo, la sentencia aparezca como verdadera incluso para un cuadrilátero que hubiera degenerado en triángulo porque cuando coinciden ''A'' y ''B'' su punto medio ''E'' sigue existiendo y el segmento [EH] es igual a [AH] y de la misma longitud que el [FG] a nivel métrico.<br>Sobre todo que, si en lugar de controlar la igualdad de longitud se verificará si hay paralelismo - '''<code><nowiki>DemuestraDetalles[SonParalelas[Recta[E, H], Recta[F, G]]]</nowiki></code>''' - habría que contemplar si la salida sería verdadera sin casos particulares o, en el caso del polígono degenerado, con superposición de ''B'' y ''D'', las rectas en juego no quedan definidas.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>}}</small></div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>}}</small></div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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>{{Note|1=Ver también el comando [[Comando Demuestra|Demuestra]], el artículo [[Valores Booleanos]] y la página (en inglés) con [http://dev.geogebra.org/trac/wiki/TheoremProving los detalles técnicos de los algoritmos].}}</div></td><td class='diff-marker'>+</td><td style="color: #202122; 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>{{Note|1=Ver también el comando [[Comando Demuestra|Demuestra]], el artículo <ins class="diffchange diffchange-inline">destinado a </ins>[[Valores <ins class="diffchange diffchange-inline">Lógicos|Valores Lógicos o ''</ins>Booleanos<ins class="diffchange diffchange-inline">''</ins>]] y la página (en inglés) con [http://dev.geogebra.org/trac/wiki/TheoremProving los detalles técnicos de los algoritmos].}}</div></td></tr>
</table>Spanish1https://wiki.geogebra.org/s/es/index.php?title=Comando_DemuestraDetalles&diff=35517&oldid=prevSpanish1 en 06:42 4 feb 20142014-02-04T06:42:05Z<p></p>
<table class="diff diff-contentalign-left diff-editfont-monospace" 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: #202122; text-align: center;">← Revisión anterior</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revisión del 06:42 4 feb 2014</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: #202122; 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><noinclude>{{Manual Page|version=5.0}}</noinclude><small>{{beta_manual|version=5.0|<center>En desarrollo</center>}}</small>{{warning|1=<small>Este comando, en desarrollo preliminar, puede ser modificado aún (en su sintaxis y/o salidas). En el ínterin, acaso manifieste inconsistencias.</small>}}{{commañd|logical|<del class="diffchange diffchange-inline">CompruebaDetalles|ÉS_version=</del>DemuestraDetalles<del class="diffchange diffchange-inline">|non-ÉS_version=CompruebaDetalles</del>}};DemuestraDetalles[ <Expresión Booleana> ]:Da por resultado algunos detalles derivados de la prueba simbólica automática.</div></td><td class='diff-marker'>+</td><td style="color: #202122; 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><noinclude>{{Manual Page|version=5.0}}</noinclude><small>{{beta_manual|version=5.0|<center>En desarrollo</center>}}<ins class="diffchange diffchange-inline"></small><small><small>También conocido como '''''CompruebaDetalles'''''</small></ins></small>{{warning|1=<small>Este comando, en desarrollo preliminar, puede ser modificado aún (en su sintaxis y/o salidas). En el ínterin, acaso manifieste inconsistencias.</small>}}{{commañd|logical|DemuestraDetalles}};DemuestraDetalles[ <Expresión Booleana> ]:Da por resultado algunos detalles derivados de la prueba simbólica automática.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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><h4>Metodología de Control</h4></div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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><h4>Metodología de Control</h4></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>'''''GeoGebra''''' emplea varios métodos para decidir si una [[Valores Booleanos|expresión booleana]] es verdadera o no:</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>'''''GeoGebra''''' emplea varios métodos para decidir si una [[Valores Booleanos|expresión booleana]] es verdadera o no:</div></td></tr>
</table>Spanish1https://wiki.geogebra.org/s/es/index.php?title=Comando_DemuestraDetalles&diff=34501&oldid=prevSpanish1 en 18:26 11 ene 20142014-01-11T18:26:02Z<p></p>
<table class="diff diff-contentalign-left diff-editfont-monospace" 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: #202122; text-align: center;">← Revisión anterior</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revisión del 18:26 11 ene 2014</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l27" >Línea 27:</td>
<td colspan="2" class="diff-lineno">Línea 27:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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><center>'''''<u>For the above example, the simplest set would be the empty set.</u>'''''</center><hr><br></div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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><center>'''''<u>For the above example, the simplest set would be the empty set.</u>'''''</center><hr><br></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>Esto implica que si el triángulo ''ABC'' lo es efectivamente y no son iguales '''A''' y '''B''', su base media, tal como ''DE'', es paralela a la recta del lado ''AB''.}}</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>Esto implica que si el triángulo ''ABC'' lo es efectivamente y no son iguales '''A''' y '''B''', su base media, tal como ''DE'', es paralela a la recta del lado ''AB''.}}</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; 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>{{OJo|1=<br> Es posible que la lista de condiciones no-degeneradas no sea necesariamente un simple conjunto acotado y suficiente para confirmar la sentencia.<br>Entonces, <del class="diffchange diffchange-inline">sólo </del>puede establecerse que suponiendo en general condiciones no degeneradas, sería verdadera.<br>Para alguno de los ejemplos, el conjunto vacío de ''condiciones no degeneradas'' sería el más simple.}}</div></td><td class='diff-marker'>+</td><td style="color: #202122; 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>{{OJo|1=<br> Es posible que la lista de condiciones no-degeneradas no sea necesariamente un simple conjunto acotado y suficiente para confirmar la sentencia.<br>Entonces, <ins class="diffchange diffchange-inline">solo </ins>puede establecerse que suponiendo en general condiciones no degeneradas, sería verdadera.<br>Para alguno de los ejemplos, el conjunto vacío de ''condiciones no degeneradas'' sería el más simple.}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>==== Consideraciones Preliminares ====</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>==== Consideraciones Preliminares ====</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>En algunos casos, no todos los incidentes están siendo considerados.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; 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>En algunos casos, no todos los incidentes están siendo considerados.</div></td></tr>
</table>Spanish1