Diferencia entre revisiones de «Comando Demuestra»

De GeoGebra Manual
Saltar a: navegación, buscar
 
(No se muestran 8 ediciones intermedias del mismo usuario)
Línea 1: Línea 1:
 
<noinclude>{{Manual Page|version=5.0}}</noinclude>
 
<noinclude>{{Manual Page|version=5.0}}</noinclude>
 
 
{{command|geometry|Demuestra}}
 
{{command|geometry|Demuestra}}
 
;Demuestra( <Proposición lógica> ):Da por resultado el valor de verdad ''true'' ('''verdadero''') o ''false'' ('''falso''') de la proposición en general.
 
;Demuestra( <Proposición lógica> ):Da por resultado el valor de verdad ''true'' ('''verdadero''') o ''false'' ('''falso''') de la proposición en general.
 
Normalmente, GeoGebra decide en forma numérica si la [[Valores Lógicos|proposición]] es verdadera o no. Sin embargo, el comando Demuestra utiliza [[w:es:Cálculo simbólico|cálculo simbólico]] para determinar si una proposición es ''verdadera'' o ''falsa'' en general. Si GeoGebra no puede determinar la respuesta, el resultado es ''indefinido''.
 
Normalmente, GeoGebra decide en forma numérica si la [[Valores Lógicos|proposición]] es verdadera o no. Sin embargo, el comando Demuestra utiliza [[w:es:Cálculo simbólico|cálculo simbólico]] para determinar si una proposición es ''verdadera'' o ''falsa'' en general. Si GeoGebra no puede determinar la respuesta, el resultado es ''indefinido''.
 
{{example|1=<div>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> devuelve  ''true'' , dado que el control numérico es realizado en las actuales coordenadas de los puntos. Utilizando <code><nowiki> Demuestra(EstánAlineados(A, B, C))</nowiki></code>, se obtiene ''false'' como respuesta, dado que los tres puntos no son colineales en general, ''i. e.''  cuando se cambian.</div>}}
 
{{example|1=<div>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> devuelve  ''true'' , dado que el control numérico es realizado en las actuales coordenadas de los puntos. Utilizando <code><nowiki> Demuestra(EstánAlineados(A, B, C))</nowiki></code>, se obtiene ''false'' como respuesta, dado que los tres puntos no son colineales en general, ''i. e.''  cuando se cambian.</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.
+
{{example| 1=<div>Sea un triángulo con vértices ''A'', ''B'' y ''C'' y 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>. Ahora ambos, <code><nowiki>p∥q</nowiki></code> y <code><nowiki> Demuestra(p∥q)</nowiki></code> devuelven ''true'', dado que la línea media de un triángulo será siempre paralela al lado correspondiente.
 
<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"/>
 
<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>}}
 
</div>}}
 
+
{{Note| Ver también el comando [[Comando DemuestraDetalles|DemuestraDetalles]] , [[Valores Lógicos|Valores Lógicos]], [https://github.com/kovzol/gg-art-doc/tree/master/pdf/english.pdf GeoGebra Automated Reasoning Tools: A Tutorial] y [http://dev.geogebra.org/trac/wiki/TheoremProving technical details of the algorithms].}}
{{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].}}
 

Revisión actual del 21:36 2 feb 2021


Demuestra( <Proposición lógica> )
Da por resultado el valor de verdad true (verdadero) o false (falso) de la proposición en general.

Normalmente, GeoGebra decide en forma numérica si la proposición es verdadera o no. Sin embargo, el comando Demuestra utiliza cálculo simbólico para determinar si una proposición es verdadera o falsa en general. Si GeoGebra no puede determinar la respuesta, el resultado es indefinido.

Ejemplo:
Se definen tres puntos libres A = (1, 2), B = (3, 4), C = (5, 6), el comando EstánAlineados(A, B, C) devuelve true , dado que el control numérico es realizado en las actuales coordenadas de los puntos. Utilizando Demuestra(EstánAlineados(A, B, C)), se obtiene false como respuesta, dado que los tres puntos no son colineales en general, i. e. cuando se cambian.
Ejemplo:
Sea un triángulo con vértices A, B y C y se define D=PuntoMedio(B,C), E=PuntoMedio(A,C), p=Recta(A,B), q=Recta(D,E). Ahora ambos, p∥q y Demuestra(p∥q) devuelven true, dado que la línea media de un triángulo será siempre paralela al lado correspondiente.

© 2021 International GeoGebra Institute