|
|
| Línea 1: |
Línea 1: |
| − | <noinclude>{{Manual Page|version=5.0}}</noinclude>
| + | #REDIRECT[[Comando Demuestra]] |
| − | | |
| − | {{command|geometry|Demuestra}}
| |
| − | ;Demuestra( <Proposición lógica> ):Da por resultado el valor de verdad ''true'' ('''cierto''') o ''false'' ('''falso''') en general, de la proposición.
| |
| − | Normalmente, GeoGebra decide en forma numérica si la [[Valores Lógicos|proposición]] es verdadera o no. Sin embargo, el comando Demuestra opera [http://pt.wikipedia.org/wiki/Matem%C3%A1tica_simb%C3%B3lica de forma simbólica] para determinar el valor de verdad de manera general. Si GeoGebra no puede determinar la respuesta, el resultado que arroja es ''indefinido''.
| |
| − | {{example|1=<div>Si se definen tres puntos libres <code><nowiki>A = (1, 2)</nowiki></code>, <code><nowiki>B = (3, 4)</nowiki></code>, <code><nowiki>C = (5, 6)</nowiki></code>, el comando <code><nowiki>EstánAlineados(A, B, C)</nowiki></code> da un resultado verdadero - ''true'' -, dado que el control numérico empleado para tales coordenadas así lo indica. En cambio <code><nowiki> Demuestra(EstánAlineados(A, B, C))</nowiki></code>, da como resultado falso -''false''- dado que los tres puntos no son colineales en general y dejarán de serlo al cambiar sus posiciones.</div>}}
| |
| − | {{example| 1=<div>Sea un triángulo con vértices ''A'', ''B'' y ''C''. Se define <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>p∥q</nowiki></code> y <code><nowiki> Demuestra(p∥q)</nowiki></code> dan ambos como resultado verdadero -''true''-, dado que la base media será siempre paralela al lado correspondiente, aún si se modifica la posición de los vértices del triángulo.
| |
| − | <ggb_applet width="525" height="366" version="5.0" id="40121" enableRightClick="false" showAlgebraInput="false" enableShiftDragZoom="false" showMenuBar="false" showToolBar="false" showToolBarHelp="true" enableLabelDrags="false" showResetIcon="false"/>
| |
| − | </div>}}
| |
| − | | |
| − | {{Note|1=Ver también el comando [[Comando DemuestraDetalles| CompruebaDetalles]]; el artículo acerca de [[Valores Lógicos|Valores Lógicos o ''Booleanos'']]
| |
| − | y [http://dev.geogebra.org/trac/wiki/TheoremProving los detalles técnicos de los algoritmos].}}
| |
