Diferencia entre revisiones de «Comando Demuestra»
De GeoGebra Manual
m (A revisión) |
|||
(No se muestran 12 ediciones intermedias del mismo usuario) | |||
Línea 1: | Línea 1: | ||
− | + | <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'' (''' | + | ;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 | + | 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> | + | {{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'' | + | {{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| | ||
− | y [http://dev.geogebra.org/trac/wiki/TheoremProving |
Revisión actual del 21:36 2 feb 2021
Demuestra
Categorías de Comandos (todos)
- 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.
Nota: Ver también el comando DemuestraDetalles , Valores Lógicos, GeoGebra Automated Reasoning Tools: A Tutorial y technical details of the algorithms.