Diferencia entre revisiones de «Plantilla:Hl1»

De GeoGebra Manual
Saltar a: navegación, buscar
m (try)
m (Restitución)
 
(No se muestran 4 ediciones intermedias de otro usuario)
Línea 1: Línea 1:
<noinclude>{{Manual Page|version=5.0}}</noinclude>{{command|logical| DemuestraDetalles}}{{DISPLAYTITLE:DemuestraDetalles}}{{GGb5u|1=<div>
+
bgcolor="#C5D8FC"<noinclude>[[Category:Plantillas Utilitarias|{{PAGENAME}}]]</noinclude>
;'''DemuestraDetalles'''( <Expresión Booleana> ):Da por resultado una lista con el valor lógico y algunos detalles derivados de la prueba simbólica automática. <hr>DemuestraDetalles es así un comando de lógica dedicado a comprobaciones de ''expresiones booleanas'' geométricas en particular</div>}}
 
{{Note|1=Ver también el comando  [[Comentarios:Comando_Comprueba|'''Demuestra''']] y/o [[Comentarios:Comando_Prueba|'''Comprueba''']]<!--([[Comentarios:Comando Comprueba|Comprueba]])-->, el artículo sobre [[Valores Lógicos|Valores Lógicos o ''Booleanos'']] y las siguientes páginas (en inglés)<div>
 
*[https://github.com/kovzol/gg-art-doc/tree/master/pdf/english.pdf GeoGebra Automated Reasoning Tools: A Tutorial] (tutorial sobre sobre ''razonamientos automatizados'')
 
*[http://dev.geogebra.org/trac/wiki/TheoremProving technical details of the algorithms] (detalles técnicos sobre algoritmos).</div>}}
 
<h3>Demuestra/Comprueba y Detalla</h3>
 
'''DemuestraDetalles''', comando también conocido como '''CompruebaDetalles''', opera de modo similar a  '''Demuestra''' (o '''Comprueba''') pero suma, además, algunos detalles del resultado como una lista:
 
*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>.
 
*de un elemento:
 
**'''{false}''', si la sentencia, en general, no es verdadera
 
**'''{true}''', si la sentencia es siempre verdadera
 
*dos listas:
 
**una [[:Categoría:Comandos_de_Listas|lista]] con más elementos, incluyendo el valor ''booleano'' ''cierto''<sup><small>''true''</small></sup>
 
**otra, para las así llamadas  ''condiciones degeneradas'' para las que la sentencia resulta cierta
 
***<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  sean colineales"'', ''"los segmentos c, d sean iguales"'', etc.).
 
::Entonces, si ninguna de las condiciones listadas fuera verdadera, la sentencia lo sería.</small><br>
 
*una lista '''{true,{"..."}}''',  si la declaración fuera cierta bajo ciertas condiciones pero tales condiciones no pudieran, por alguna razón, ser ''transcribible'' (o de formato ''legible'').
 
{{OJo|1= Desde ya, resulta '''''indefinido''''' cuando falten medios para establecer el valor por una u otra vía.}}__NoToc__
 
{{Example|1=<div>Definiendo un triángulo con vértices ''A'', ''B'' y ''C'',  y estableciendo que...
 
*'''<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>'''
 
:... entonces
 
:*'''<code><nowiki>DemuestraDetalles(SonParalelas(p, q))</nowiki></code>'''  da por resultado '''''true''''' y una sentencia  que significa que en caso de poder construirse el diagrama, entonces la base media  ''DE'' del triángulo sería paralela al lado ''AB'').</div>}}
 
<h2>Metodología de Control</h2>
 
'''''GeoGebra''''' emplea varios métodos para decidir si una [[Valores Lógicos|expresión ''booleana'']] es verdadera o no:
 
*en  general, los de cálculo numérico
 
*en particular, como para este comando y para '''Comprueba''' [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=<br> Es posible que la lista de condiciones degeneradas exceda a un conjunto acotado, suficiente para confirmar la sentencia.<br>Entonces, solo puede establecerse que suponiendo en general condiciones no degeneradas, sería verdadera.}}
 
<h4>Ejemplos Adicionales</h4>
 
{{example| 1=<div>Siendo ''AB'' el segmento ''a'', 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)</nowiki></code> da por resultado <nowiki>{true,{"SonIgualesA,B"}}</nowiki>: esto implica que aún si los puntos ''A'' y ''B'' difieren, entonces ''C'' y ''D'' coincidirán.</div>}}<hr>{{Hint|1=¿Qué ocurriría si A coincidiera con B, eventualmente como señala la lista adicional en la respuesta?}}
 
{{example| 1=<div>Siendo ''AB'' el segmento ''a'', se define <code><nowiki>l=Recta(A, B)</nowiki></code>. Se establece C como punto arbitrario sobre  la recta ''l'', además, <code><nowiki>b=Segmento(B, C)</nowiki></code>, <code><nowiki>c=Segmento(A,C)</nowiki></code>. Ahora <code><nowiki>DemuestraDetalles(a==b+c)</nowiki></code> returns <nowiki>{true,{"a+b==c", "b==a+c"}}</nowiki>: esto implica que cuando ni <math>a+b=c</math>, ni <math>b=a+c</math>, entonces  <math>a=b+c</math>.</div>}}
 
<!--::*'''<nowiki>{true,{ SonIguales(A, B) } }</nowiki>'''.<br><hr>
 
<center>'''''<u>For the above example, the simplest set would be the empty set.</u>'''''</center><hr><br>
 
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''.}}-->
 
=== Consideraciones Preliminares ===
 
En algunos casos, no todos los incidentes están siendo considerados.
 
{{Example|1=Definiendo un cuadrilátero  con vértices ''A'', ''B'', ''C'' y ''D'',  y estableciendo que...
 
*'''<code><nowiki>E=PuntoMedio(A, B)</nowiki></code>'''
 
*'''<code><nowiki>F=PuntoMedio(B, C)</nowiki></code>'''... y luego ''G'' y ''H'' como los puntos medios de los dos lados restantes.
 
... entonces
 
*'''<code><nowiki>DemuestraDetalles(SonIguales(Segmento(E, H), Segmento(F, G)))</nowiki></code>''' da por resultado
 
::*'''<nowiki>{true,{ "PolígonoDegenerado[A, B, C, D]", "SonIguales(A, B)"} }</nowiki>'''}}<small>
 
{{warning|1=Como este comando está en desenvolvimiento persistente, acaso 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.}}</small>
 
[[Category:Comandos de Lógica]]
 

Revisión actual del 19:11 14 ago 2020

bgcolor="#C5D8FC"

© 2021 International GeoGebra Institute