Diferencia entre revisiones de «Comando Comprueba»
De GeoGebra Manual
m (Texto reemplazado: «;([a-zA-Z0-9]*)\[(.*)\]» por «;$1($2)») |
|||
Línea 1: | Línea 1: | ||
<noinclude>{{Manual Page|version=5.0}}</noinclude> | <noinclude>{{Manual Page|version=5.0}}</noinclude> | ||
− | + | ||
− | {{command|geometry|Comprueba}} | + | {{command|geometry|Comprueba}} |
− | + | ;Comprueba( <Proposición lógica> ):Da por resultado el valor de verdad ''true'' ('''cierto''') o ''false'' ('''falso''') en general, de la proposición. | |
− | ;Comprueba( < | + | Normalmente, GeoGebra decide en forma numérica si la [[Valores Lógicos|proposición]] es verdadera o no. Sin embargo, el comando Comprueba 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>Comprueba(EstánAlineados(A, B, C))</nowiki></code>, da como resultado falso -''false''- dado que los tres puntos no son co-lineales en general y dejarán de serlo al cambiar sus posiciones.</div>}} | |
− | GeoGebra | + | {{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>Comprueba(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 CompruebaDetalles| CompruebaDetalles]]; el artículo acerca de [[Valores Lógicos|Valores Lógicos o ''Booleanos'']] | |
− | |||
− | |||
− | Si | ||
− | {{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 | ||
− | |||
− | |||
− | |||
− | {{example| 1=<div> | ||
− | |||
− | |||
− | |||
− | |||
− | . | ||
− | |||
− | |||
− | <ggb_applet width=" | ||
− | {{Note|1=Ver también el comando [[Comando CompruebaDetalles| CompruebaDetalles]]; el artículo | ||
y [http://dev.geogebra.org/trac/wiki/TheoremProving los detalles técnicos de los algoritmos].}} | y [http://dev.geogebra.org/trac/wiki/TheoremProving los detalles técnicos de los algoritmos].}} |
Revisión del 16:05 9 feb 2018
Comprueba
Categorías de Comandos (todos)
- Comprueba( <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 proposición es verdadera o no. Sin embargo, el comando Comprueba opera 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.
Ejemplo:
Si se definen tres puntos libres
A = (1, 2)
, B = (3, 4)
, C = (5, 6)
, el comando EstánAlineados(A, B, C)
da un resultado verdadero - true -, dado que el control numérico empleado para tales coordenadas así lo indica. En cambio Comprueba(EstánAlineados(A, B, C))
, da como resultado falso -false- dado que los tres puntos no son co-lineales en general y dejarán de serlo al cambiar sus posiciones.Ejemplo:
Sea un triángulo con vértices A, B y C. Se define
D=PuntoMedio(B,C)
, E=PuntoMedio(A,C)
, p=Recta(A,B)
, q=Recta(D,E)
. En este caso, p∥q
y Comprueba(p∥q)
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.
Nota: Ver también el comando CompruebaDetalles; el artículo acerca de Valores Lógicos o Booleanos
y los detalles técnicos de los algoritmos.