|
|
| Línea 1: |
Línea 1: |
| − | <noinclude>{{Manual Page|version=5.0}}</noinclude>{{command|geometry|CompruebaDetalles}}
| + | #REDIRECT[[Comando DemuestraDetalles]] |
| − | | |
| − | ;CompruebaDetalles( <Expresión booleana> ): Devuelve algunos detalles del resultado de la demostración automática.
| |
| − | | |
| − | Normalmente, GeoGebra decide el valor de verdad de una [[Valores Lógicos|proposición]] a partir de computaciones numéricas. Sin embargo, el comando CompruebaDetalles 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 [[Comando Comprueba|Comprueba]], pero también devuelve algunos detalles del resultado como una [[Listas|lista]]:
| |
| − | *Una lista vacía '''{}''' si GeoGebra no puede determinar la respuesta.
| |
| − | *Una lista con un elemento: '''{false}''', si la proposición no es verdadera en general.
| |
| − | *Una lista con un elemento: '''{true}''', si la proposición es siempre verdadera.
| |
| − | *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.
| |
| − | *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.
| |
| − | :{{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>CompruebaDetalles[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>}}
| |
| − | 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.
| |
| − | {{Note| Ver también el comando [[Comando Comprueba|Comprueba]], [[Valores Lógicos|valores lógicos]] y [http://dev.geogebra.org/trac/wiki/TheoremProving detalles técnicos de los algoritmos].}}
| |
